regression/exhaustive.sml

   1 (* exhaustive.sml *)
   2
   3 (* Checks for correct treatment of exhaustiveness for basic types
   4  * (compiler should NOT warn here). *)
   5
   6 fun ord #"\000" = 0
   7   | ord #"\001" = 1
   8   | ord #"\002" = 2
   9   | ord #"\003" = 3
  10   | ord #"\004" = 4
  11   | ord #"\005" = 5
  12   | ord #"\006" = 6
  13   | ord #"\007" = 7
  14   | ord #"\008" = 8
  15   | ord #"\009" = 9
  16   | ord #"\010" = 10
  17   | ord #"\011" = 11
  18   | ord #"\012" = 12
  19   | ord #"\013" = 13
  20   | ord #"\014" = 14
  21   | ord #"\015" = 15
  22   | ord #"\016" = 16
  23   | ord #"\017" = 17
  24   | ord #"\018" = 18
  25   | ord #"\019" = 19
  26   | ord #"\020" = 20
  27   | ord #"\021" = 21
  28   | ord #"\022" = 22
  29   | ord #"\023" = 23
  30   | ord #"\024" = 24
  31   | ord #"\025" = 25
  32   | ord #"\026" = 26
  33   | ord #"\027" = 27
  34   | ord #"\028" = 28
  35   | ord #"\029" = 29
  36   | ord #"\030" = 30
  37   | ord #"\031" = 31
  38   | ord #"\032" = 32
  39   | ord #"\033" = 33
  40   | ord #"\034" = 34
  41   | ord #"\035" = 35
  42   | ord #"\036" = 36
  43   | ord #"\037" = 37
  44   | ord #"\038" = 38
  45   | ord #"\039" = 39
  46   | ord #"\040" = 40
  47   | ord #"\041" = 41
  48   | ord #"\042" = 42
  49   | ord #"\043" = 43
  50   | ord #"\044" = 44
  51   | ord #"\045" = 45
  52   | ord #"\046" = 46
  53   | ord #"\047" = 47
  54   | ord #"\048" = 48
  55   | ord #"\049" = 49
  56   | ord #"\050" = 50
  57   | ord #"\051" = 51
  58   | ord #"\052" = 52
  59   | ord #"\053" = 53
  60   | ord #"\054" = 54
  61   | ord #"\055" = 55
  62   | ord #"\056" = 56
  63   | ord #"\057" = 57
  64   | ord #"\058" = 58
  65   | ord #"\059" = 59
  66   | ord #"\060" = 60
  67   | ord #"\061" = 61
  68   | ord #"\062" = 62
  69   | ord #"\063" = 63
  70   | ord #"\064" = 64
  71   | ord #"\065" = 65
  72   | ord #"\066" = 66
  73   | ord #"\067" = 67
  74   | ord #"\068" = 68
  75   | ord #"\069" = 69
  76   | ord #"\070" = 70
  77   | ord #"\071" = 71
  78   | ord #"\072" = 72
  79   | ord #"\073" = 73
  80   | ord #"\074" = 74
  81   | ord #"\075" = 75
  82   | ord #"\076" = 76
  83   | ord #"\077" = 77
  84   | ord #"\078" = 78
  85   | ord #"\079" = 79
  86   | ord #"\080" = 80
  87   | ord #"\081" = 81
  88   | ord #"\082" = 82
  89   | ord #"\083" = 83
  90   | ord #"\084" = 84
  91   | ord #"\085" = 85
  92   | ord #"\086" = 86
  93   | ord #"\087" = 87
  94   | ord #"\088" = 88
  95   | ord #"\089" = 89
  96   | ord #"\090" = 90
  97   | ord #"\091" = 91
  98   | ord #"\092" = 92
  99   | ord #"\093" = 93
 100   | ord #"\094" = 94
 101   | ord #"\095" = 95
 102   | ord #"\096" = 96
 103   | ord #"\097" = 97
 104   | ord #"\098" = 98
 105   | ord #"\099" = 99
 106   | ord #"\100" = 100
 107   | ord #"\101" = 101
 108   | ord #"\102" = 102
 109   | ord #"\103" = 103
 110   | ord #"\104" = 104
 111   | ord #"\105" = 105
 112   | ord #"\106" = 106
 113   | ord #"\107" = 107
 114   | ord #"\108" = 108
 115   | ord #"\109" = 109
 116   | ord #"\110" = 110
 117   | ord #"\111" = 111
 118   | ord #"\112" = 112
 119   | ord #"\113" = 113
 120   | ord #"\114" = 114
 121   | ord #"\115" = 115
 122   | ord #"\116" = 116
 123   | ord #"\117" = 117
 124   | ord #"\118" = 118
 125   | ord #"\119" = 119
 126   | ord #"\120" = 120
 127   | ord #"\121" = 121
 128   | ord #"\122" = 122
 129   | ord #"\123" = 123
 130   | ord #"\124" = 124
 131   | ord #"\125" = 125
 132   | ord #"\126" = 126
 133   | ord #"\127" = 127
 134   | ord #"\128" = 128
 135   | ord #"\129" = 129
 136   | ord #"\130" = 130
 137   | ord #"\131" = 131
 138   | ord #"\132" = 132
 139   | ord #"\133" = 133
 140   | ord #"\134" = 134
 141   | ord #"\135" = 135
 142   | ord #"\136" = 136
 143   | ord #"\137" = 137
 144   | ord #"\138" = 138
 145   | ord #"\139" = 139
 146   | ord #"\140" = 140
 147   | ord #"\141" = 141
 148   | ord #"\142" = 142
 149   | ord #"\143" = 143
 150   | ord #"\144" = 144
 151   | ord #"\145" = 145
 152   | ord #"\146" = 146
 153   | ord #"\147" = 147
 154   | ord #"\148" = 148
 155   | ord #"\149" = 149
 156   | ord #"\150" = 150
 157   | ord #"\151" = 151
 158   | ord #"\152" = 152
 159   | ord #"\153" = 153
 160   | ord #"\154" = 154
 161   | ord #"\155" = 155
 162   | ord #"\156" = 156
 163   | ord #"\157" = 157
 164   | ord #"\158" = 158
 165   | ord #"\159" = 159
 166   | ord #"\160" = 160
 167   | ord #"\161" = 161
 168   | ord #"\162" = 162
 169   | ord #"\163" = 163
 170   | ord #"\164" = 164
 171   | ord #"\165" = 165
 172   | ord #"\166" = 166
 173   | ord #"\167" = 167
 174   | ord #"\168" = 168
 175   | ord #"\169" = 169
 176   | ord #"\170" = 170
 177   | ord #"\171" = 171
 178   | ord #"\172" = 172
 179   | ord #"\173" = 173
 180   | ord #"\174" = 174
 181   | ord #"\175" = 175
 182   | ord #"\176" = 176
 183   | ord #"\177" = 177
 184   | ord #"\178" = 178
 185   | ord #"\179" = 179
 186   | ord #"\180" = 180
 187   | ord #"\181" = 181
 188   | ord #"\182" = 182
 189   | ord #"\183" = 183
 190   | ord #"\184" = 184
 191   | ord #"\185" = 185
 192   | ord #"\186" = 186
 193   | ord #"\187" = 187
 194   | ord #"\188" = 188
 195   | ord #"\189" = 189
 196   | ord #"\190" = 190
 197   | ord #"\191" = 191
 198   | ord #"\192" = 192
 199   | ord #"\193" = 193
 200   | ord #"\194" = 194
 201   | ord #"\195" = 195
 202   | ord #"\196" = 196
 203   | ord #"\197" = 197
 204   | ord #"\198" = 198
 205   | ord #"\199" = 199
 206   | ord #"\200" = 200
 207   | ord #"\201" = 201
 208   | ord #"\202" = 202
 209   | ord #"\203" = 203
 210   | ord #"\204" = 204
 211   | ord #"\205" = 205
 212   | ord #"\206" = 206
 213   | ord #"\207" = 207
 214   | ord #"\208" = 208
 215   | ord #"\209" = 209
 216   | ord #"\210" = 210
 217   | ord #"\211" = 211
 218   | ord #"\212" = 212
 219   | ord #"\213" = 213
 220   | ord #"\214" = 214
 221   | ord #"\215" = 215
 222   | ord #"\216" = 216
 223   | ord #"\217" = 217
 224   | ord #"\218" = 218
 225   | ord #"\219" = 219
 226   | ord #"\220" = 220
 227   | ord #"\221" = 221
 228   | ord #"\222" = 222
 229   | ord #"\223" = 223
 230   | ord #"\224" = 224
 231   | ord #"\225" = 225
 232   | ord #"\226" = 226
 233   | ord #"\227" = 227
 234   | ord #"\228" = 228
 235   | ord #"\229" = 229
 236   | ord #"\230" = 230
 237   | ord #"\231" = 231
 238   | ord #"\232" = 232
 239   | ord #"\233" = 233
 240   | ord #"\234" = 234
 241   | ord #"\235" = 235
 242   | ord #"\236" = 236
 243   | ord #"\237" = 237
 244   | ord #"\238" = 238
 245   | ord #"\239" = 239
 246   | ord #"\240" = 240
 247   | ord #"\241" = 241
 248   | ord #"\242" = 242
 249   | ord #"\243" = 243
 250   | ord #"\244" = 244
 251   | ord #"\245" = 245
 252   | ord #"\246" = 246
 253   | ord #"\247" = 247
 254   | ord #"\248" = 248
 255   | ord #"\249" = 249
 256   | ord #"\250" = 250
 257   | ord #"\251" = 251
 258   | ord #"\252" = 252
 259   | ord #"\253" = 253
 260   | ord #"\254" = 254
 261   | ord #"\255" = 255;