Commit 9e9abc95 authored by André Pacak's avatar André Pacak

reordering of haskell test cases for better grouping

parent d2ea61a8
......@@ -26,6 +26,8 @@ tOkRecSimple = root $ (anno (Record $ fromList [("a", Nat), ("b", (Fun Nat Nat))
tSelectionOf :: Name -> Term
tSelectionOf n = root $ (sel n (anno (Record $ fromList [("a", Nat), ("b", (Fun Nat Nat)), ("c", (Prod Nat (Fun Nat Nat)))]) (rec3 ("a", zero) ("b", (lam "a" $ zero)) ("c", (pair zero (lam "x" $ var "x"))))))
tOkRecOtherOrder = root $ (anno (Record $ fromList [("a", Nat), ("b", (Fun Nat Nat))]) (rec2 ("b", (lam "x" zero)) ("a", zero)))
tFailArithmetic = root $ (add (succ $ succ zero) (mult (anno (Fun Nat Nat) (lam "f" (var "f"))) (succ $ succ $ succ $ succ zero)))
tFailLambdaNoAnno = root $ (anno Nat (app (lam "b" (add (var "b") zero)) (succ $ succ zero)))
tFailProdInAdd = root $ (anno Nat (add (anno (Prod Nat Nat) (pair zero zero)) zero))
......@@ -37,7 +39,6 @@ tFailLetInPairFst = root $ (anno (Prod (Fun Nat Nat) (Fun Nat Nat)) (pair (let'
tFailLetInPairSnd = root $ (anno (Prod Nat (Fun Nat Nat)) (pair (lam "n" $ var "n") (let' "e" zero $ succ $ succ $ var "e")))
tFailRecSingleWrongName = root $ (anno (Record $ fromList [("a", Nat)]) (rec1 ("b", zero)))
tOkRecOtherOrder = root $ (anno (Record $ fromList [("a", Nat), ("b", (Fun Nat Nat))]) (rec2 ("b", (lam "x" zero)) ("a", zero)))
tFailRecIlltypedWithin = root $ (anno (Record $ fromList [("a", (Fun Nat Nat)), ("b", Nat)]) (rec2 ("b", lam "x" zero) ("a", add zero (pair zero zero))))
tFailUnequalNumberOfLabels = root $ (anno (Record $ fromList [("a", Nat), ("b", (Fun Nat Nat))]) (rec3 ("a", zero) ("b", (lam "x" zero)) ("c", zero)))
tFailWrongSelection = root $ (sel "x" (anno (Record $ fromList [("a", Nat), ("b", (Fun Nat Nat))]) (rec2 ("a", zero) ("b", (lam "x" zero)))))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment