diff options
Diffstat (limited to 'java/TermTest.java')
| -rw-r--r-- | java/TermTest.java | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/java/TermTest.java b/java/TermTest.java deleted file mode 100644 index f11ca77..0000000 --- a/java/TermTest.java +++ /dev/null @@ -1,38 +0,0 @@ -package org.lambdanantes.lcgoji.ast; - -import org.junit.Test; - -import static org.hamcrest.CoreMatchers.is; -import static org.hamcrest.CoreMatchers.not; -import static org.junit.Assert.assertThat; -import static org.lambdanantes.lcgoji.ast.Abs.λ; -import static org.lambdanantes.lcgoji.ast.App.apply; -import static org.lambdanantes.lcgoji.ast.Var.var; - -public class TermTest { - - @Test - public void les_equals_des_termes_sont_corrects() { - // x == x - assertThat(var("x"), is(var("x"))); - // x != y - assertThat(var("x"), is(not(var("y")))); - // λx.x == λx.x - assertThat(λ("x", var("x")), is(λ("x", var("x")))); - // λx.x != λy.x - assertThat(λ("x", var("x")), is(not(λ("y", var("x"))))); - // x y == x y - assertThat(apply(var("x"), var("y")), is(apply(var("x"), var("y")))); - // x x != x y - assertThat(apply(var("x"), var("x")), is(not(apply(var("x"), var("y"))))); - } - - @Test - public void les_toString_des_termes_utilisent_la_notation_consacree() { - assertThat(var("x").toString(), is("x")); - assertThat(λ("x", var("x")).toString(), is("λx.x")); - assertThat(apply(λ("x", var("x")), var("x")).toString(), is("(λx.x) x")); - assertThat(apply(λ("x", λ("x", var("x"))), var("y")).toString(), is("(λx.λx.x) y")); - } - -}
\ No newline at end of file |