Skip to content

Commit

Permalink
Added test for Exhaustive pattern matches on numeric values yield com…
Browse files Browse the repository at this point in the history 
…piler warning dotnet#6928
  • Loading branch information
@gdziadkiewicz
gdziadkiewicz committed Aug 21, 2019
1 parent 6ab0c50 commit 6558b7d
Showing 1 changed file with 276 additions and 0 deletions.
276 changes: 276 additions & 0 deletions tests/fsharp/Compiler/Language/AnonRecordTests.fs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -47,3 +47,279 @@ let sAnon = StructClass<{| S: int |}>()
1
(3, 13, 3, 38)
"A generic construct requires that the type '{| S: int |}' is a CLI or F# struct type"

[<Test>]
let piesek() =
CompilerAssert.CompileExe
"""
let f x =
match x with
| 0uy -> 0
| 1uy -> 1
| 2uy -> 2
| 3uy -> 3
| 4uy -> 4
| 5uy -> 5
| 6uy -> 6
| 7uy -> 7
| 8uy -> 8
| 9uy -> 9
| 10uy -> 10
| 11uy -> 11
| 12uy -> 12
| 13uy -> 13
| 14uy -> 14
| 15uy -> 15
| 16uy -> 16
| 17uy -> 17
| 18uy -> 18
| 19uy -> 19
| 20uy -> 20
| 21uy -> 21
| 22uy -> 22
| 23uy -> 23
| 24uy -> 24
| 25uy -> 25
| 26uy -> 26
| 27uy -> 27
| 28uy -> 28
| 29uy -> 29
| 30uy -> 30
| 31uy -> 31
| 32uy -> 32
| 33uy -> 33
| 34uy -> 34
| 35uy -> 35
| 36uy -> 36
| 37uy -> 37
| 38uy -> 38
| 39uy -> 39
| 40uy -> 40
| 41uy -> 41
| 42uy -> 42
| 43uy -> 43
| 44uy -> 44
| 45uy -> 45
| 46uy -> 46
| 47uy -> 47
| 48uy -> 48
| 49uy -> 49
| 50uy -> 50
| 51uy -> 51
| 52uy -> 52
| 53uy -> 53
| 54uy -> 54
| 55uy -> 55
| 56uy -> 56
| 57uy -> 57
| 58uy -> 58
| 59uy -> 59
| 60uy -> 60
| 61uy -> 61
| 62uy -> 62
| 63uy -> 63
| 64uy -> 64
| 65uy -> 65
| 66uy -> 66
| 67uy -> 67
| 68uy -> 68
| 69uy -> 69
| 70uy -> 70
| 71uy -> 71
| 72uy -> 72
| 73uy -> 73
| 74uy -> 74
| 75uy -> 75
| 76uy -> 76
| 77uy -> 77
| 78uy -> 78
| 79uy -> 79
| 80uy -> 80
| 81uy -> 81
| 82uy -> 82
| 83uy -> 83
| 84uy -> 84
| 85uy -> 85
| 86uy -> 86
| 87uy -> 87
| 88uy -> 88
| 89uy -> 89
| 90uy -> 90
| 91uy -> 91
| 92uy -> 92
| 93uy -> 93
| 94uy -> 94
| 95uy -> 95
| 96uy -> 96
| 97uy -> 97
| 98uy -> 98
| 99uy -> 99
| 100uy -> 100
| 101uy -> 101
| 102uy -> 102
| 103uy -> 103
| 104uy -> 104
| 105uy -> 105
| 106uy -> 106
| 107uy -> 107
| 108uy -> 108
| 109uy -> 109
| 110uy -> 110
| 111uy -> 111
| 112uy -> 112
| 113uy -> 113
| 114uy -> 114
| 115uy -> 115
| 116uy -> 116
| 117uy -> 117
| 118uy -> 118
| 119uy -> 119
| 120uy -> 120
| 121uy -> 121
| 122uy -> 122
| 123uy -> 123
| 124uy -> 124
| 125uy -> 125
| 126uy -> 126
| 127uy -> 127
| 128uy -> 128
| 129uy -> 129
| 130uy -> 130
| 131uy -> 131
| 132uy -> 132
| 133uy -> 133
| 134uy -> 134
| 135uy -> 135
| 136uy -> 136
| 137uy -> 137
| 138uy -> 138
| 139uy -> 139
| 140uy -> 140
| 141uy -> 141
| 142uy -> 142
| 143uy -> 143
| 144uy -> 144
| 145uy -> 145
| 146uy -> 146
| 147uy -> 147
| 148uy -> 148
| 149uy -> 149
| 150uy -> 150
| 151uy -> 151
| 152uy -> 152
| 153uy -> 153
| 154uy -> 154
| 155uy -> 155
| 156uy -> 156
| 157uy -> 157
| 158uy -> 158
| 159uy -> 159
| 160uy -> 160
| 161uy -> 161
| 162uy -> 162
| 163uy -> 163
| 164uy -> 164
| 165uy -> 165
| 166uy -> 166
| 167uy -> 167
| 168uy -> 168
| 169uy -> 169
| 170uy -> 170
| 171uy -> 171
| 172uy -> 172
| 173uy -> 173
| 174uy -> 174
| 175uy -> 175
| 176uy -> 176
| 177uy -> 177
| 178uy -> 178
| 179uy -> 179
| 180uy -> 180
| 181uy -> 181
| 182uy -> 182
| 183uy -> 183
| 184uy -> 184
| 185uy -> 185
| 186uy -> 186
| 187uy -> 187
| 188uy -> 188
| 189uy -> 189
| 190uy -> 190
| 191uy -> 191
| 192uy -> 192
| 193uy -> 193
| 194uy -> 194
| 195uy -> 195
| 196uy -> 196
| 197uy -> 197
| 198uy -> 198
| 199uy -> 199
| 200uy -> 200
| 201uy -> 201
| 202uy -> 202
| 203uy -> 203
| 204uy -> 204
| 205uy -> 205
| 206uy -> 206
| 207uy -> 207
| 208uy -> 208
| 209uy -> 209
| 210uy -> 210
| 211uy -> 211
| 212uy -> 212
| 213uy -> 213
| 214uy -> 214
| 215uy -> 215
| 216uy -> 216
| 217uy -> 217
| 218uy -> 218
| 219uy -> 219
| 220uy -> 220
| 221uy -> 221
| 222uy -> 222
| 223uy -> 223
| 224uy -> 224
| 225uy -> 225
| 226uy -> 226
| 227uy -> 227
| 228uy -> 228
| 229uy -> 229
| 230uy -> 230
| 231uy -> 231
| 232uy -> 232
| 233uy -> 233
| 234uy -> 234
| 235uy -> 235
| 236uy -> 236
| 237uy -> 237
| 238uy -> 238
| 239uy -> 239
| 240uy -> 240
| 241uy -> 241
| 242uy -> 242
| 243uy -> 243
| 244uy -> 244
| 245uy -> 245
| 246uy -> 246
| 247uy -> 247
| 248uy -> 248
| 249uy -> 249
| 250uy -> 250
| 251uy -> 251
| 252uy -> 252
| 253uy -> 253
| 254uy -> 254
| 255uy -> 255
printfn ""
"""
[<Test>]
let piesek2() =
CompilerAssert.CompileExe
"""
let f x =
match x with
| true -> 0
| false -> 1
printfn ""
"""

0 comments on commit 6558b7d

Please sign in to comment.