git.iko.soy/elk

on master help sign in

tests/good/Apply.elmnew file+3

@@ -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