unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-17 13:27:30 +03:00
Code Issues Projects Releases Wiki Activity

fix pattern coverage in r2

Browse Source
This commit is contained in:
Travis Staton 2023-01-18 09:51:25 -05:00
parent 9724f26c21
commit f1c74c22f3
No known key found for this signature in database
GPG Key ID: 431DD911A00DAE49
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
unison-src/tests/r2.u
View File

@ -3,4 +3,5 @@ r2 : Nat
r2 = match Optional.Some true with
Optional.Some true -> 1
Optional.Some false -> 0
Optional.None -> bug "unexpected"