suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added a helper function to RainTypesTest to make the unification tests shorter

Browse Source
This commit is contained in:
Neil Brown 2008-05-14 10:09:42 +00:00
parent 9f1d65f4a0
commit ed9c92878a
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
frontends/RainTypesTest.hs
View File

@ -486,10 +486,8 @@ testUnify = TestList
[pass [] [] [] [pass [] [] []
,pass' [("a",A.Int)] [] ,pass' [("a",A.Int)] []
,pass' [("a",A.Int)] [("a","a")] ,pass' [("a",A.Int)] [("a","a")]
,pass [("a", A.Int), ("b", A.Infer)] [("a","b")] ,pass2 [A.Int, A.Infer] [A.Int, A.Int]
[("a", A.Int), ("b", A.Int)] ,pass2 [A.List A.Int, A.List A.Infer] [A.List A.Int, A.List A.Int]
,pass [("a", A.List A.Int), ("b", A.List A.Infer)] [("a","b")]
[("a", A.List A.Int), ("b", A.List A.Int)]
,fail [("a", A.Int), ("b", A.List A.Infer)] [("a","b")] ,fail [("a", A.Int), ("b", A.List A.Infer)] [("a","b")]
,fail [("a", A.Infer)] [] ,fail [("a", A.Infer)] []
,fail [("a", A.Infer), ("b", A.Infer)] [("a","b")] ,fail [("a", A.Infer), ("b", A.Infer)] [("a","b")]
@ -508,6 +506,10 @@ testUnify = TestList
pass' :: [(String, A.Type)] -> [(String, String)] -> Test pass' :: [(String, A.Type)] -> [(String, String)] -> Test
pass' x y = pass x y x pass' x y = pass x y x
pass2 :: [A.Type] -> [A.Type] -> Test
pass2 xs ys = pass (zip names xs) (allPairs names) (zip names ys)
where
names = take (min (length xs) (length ys)) $ map (:[]) ['a'..]
tests :: Test tests :: Test
tests = TestLabel "RainTypesTest" $ TestList tests = TestLabel "RainTypesTest" $ TestList