unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-23 16:28:02 +03:00
Code Issues Projects Releases Wiki Activity

Add test case for bad variable indexing behavior

Browse Source
This commit is contained in:
Dan Doel 2020-09-22 17:43:44 -04:00
parent 0b2b416acb
commit 04d0bed56c
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
parser-typechecker/tests/Unison/Test/MCode.hs
View File

@ -90,6 +90,20 @@ nested
\ m@n -> n\n\
\ ##todo (##Nat.== x 2)"
matching'arguments :: String
matching'arguments
= "let\n\
\ f x y z = y\n\
\ g x = f x\n\
\ blorf = let\n\
\ a = 0\n\
\ b = 1\n\
\ d = 2\n\
\ h = g a b\n\
\ c = 2\n\
\ h c\n\
\ ##todo (##Nat.== blorf 1)"
test :: Test ()
test = scope "mcode" . tests $
[ scope "2=2" $ testEval "##todo (##Nat.== 2 2)"
@ -102,4 +116,6 @@ test = scope "mcode" . tests $
, scope "5*1000=5000 rec" $ testEval multRec
, scope "nested"
$ testEval nested
, scope "matching arguments"
$ testEval matching'arguments
]