Update tests to be actual programs, not just expressions. Content
stays the same.
commit433b533f4d198947febca7c441b6f73f5652b48d
authorEvan Czaplicki <evan@Evans-MacBook-Air.local>
dateFri 12 Jul 2013, 16:32 (13 years ago)
parenta6bfa5f
tests/good/Soundness1.elm+1−1
@@ -1,2 +1,2 @@
1−let test =
1+test =
22 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
3− in g
4− in test
1+test f = let g x = f x
2+ in g
tests/good/SoundnessAnnotated1.elm+3−5
@@ -1,5 +1,3 @@
1−let test =
2− let id : a -> a
3− id x = x
4− in id
5− in test
1+test = let id : a -> a
2+ id x = x
3+ in id
tests/good/SoundnessAnnotated2.elm+2−3
@@ -1,3 +1,2 @@
1−let test : a -> a
2− test x = let y = x in y
3− in test
1+test : a -> a
2+test x = let y = x in y
tests/good/SoundnessAnnotated3.elm+3−5
@@ -1,5 +1,3 @@
1−let test : (a -> b) -> a -> b
2− test f =
3− let g x = f x
4− in g
5− in test
1+test : (a -> b) -> a -> b
2+test f = let g x = f x
3+ in g