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 sequence-literal-argument-parsing.u

Browse Source
This commit is contained in:
Travis Staton 2023-01-18 09:53:53 -05:00
parent 1488d7fc0d
commit 60482576b6
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/sequence-literal-argument-parsing.u
View File

@ -3,3 +3,4 @@ structural type X a = X [a]
f : X a -> a
f = cases
X.X [b] -> b
X.X _ -> bug "unexpected"