git.iko.soy/elk
on master help sign in
Update tests to be actual programs, not just expressions. Content
433b533Evan Czaplicki
tests/good/Soundness1.elm+1−1
compare with master
unifiedsplit
@@ -1,2 +1,2 @@
1−let test =
1+test =
2 let id x = x in id
2 let id x = x in id
tests/good/Soundness2.elm+1−1
@@ -1 +1 @@
1−let test x = let y = x in y in test
1+test x = let y = x in y
tests/good/Soundness3.elm+2−4
@@ -1,4 +1,2 @@
1−let test f =
2− let g x = f x
1+test f = let g x = f x
3− in g
2+ in g
4− in test
tests/good/SoundnessAnnotated1.elm+3−5
@@ -1,5 +1,3 @@
1−let test =
2− let id : a -> a
1+test = let id : a -> a
3− id x = x
2+ id x = x
4− in id
3+ in id
5− in test
tests/good/SoundnessAnnotated2.elm+2−3
@@ -1,3 +1,2 @@
1−let test : a -> a
1+test : a -> a
2− test x = let y = x in y
2+test x = let y = x in y
3− in test
tests/good/SoundnessAnnotated3.elm+3−5
@@ -1,5 +1,3 @@
1−let test : (a -> b) -> a -> b
1+test : (a -> b) -> a -> b
2− test f =
3− let g x = f x
2+test f = let g x = f x
4− in g
3+ in g
5− in test