git.iko.soy/elk
on master help sign in
Add some basic test files for the type checker.
a6bfa5fEvan Czaplicki
tests/good/Apply.elmnew file+3
compare with master
unifiedsplit
@@ -0,0 +1,3 @@
1+let apply f x = f x
2+ id x = x
3+ in apply id (apply id (apply id (apply id (apply id (apply id 4)))))
tests/good/Soundness1.elmnew file+2
@@ -0,0 +1,2 @@
1+let test =
2+ let id x = x in id
tests/good/Soundness2.elmnew file+1
@@ -0,0 +1 @@
1+let test x = let y = x in y in test
tests/good/Soundness3.elmnew file+4
@@ -0,0 +1,4 @@
1+let test f =
2+ let g x = f x
3+ in g
4+ in test
tests/good/SoundnessAnnotated1.elmnew file+5
@@ -0,0 +1,5 @@
1+let test =
2+ let id : a -> a
3+ id x = x
4+ in id
5+ in test
tests/good/SoundnessAnnotated2.elmnew file+3
@@ -0,0 +1,3 @@
1+let test : a -> a
2+ test x = let y = x in y
3+ in test
tests/good/SoundnessAnnotated3.elmnew file+5
@@ -0,0 +1,5 @@
1+let test : (a -> b) -> a -> b
2+ test f =
3+ let g x = f x
4+ in g
5+ in test