X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FEquality.scl;fp=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FEquality.scl;h=f07fb122fa6b47c3c987e026b84fdb0fae7bf2e9;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=8a66e2eed93922f764b95d6a019ca8a07fde89bf;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Equality.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Equality.scl index 8a66e2eed..f07fb122f 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Equality.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Equality.scl @@ -1,43 +1,43 @@ -import "Prelude" - -newEq = (==) - -main = """ -\(newEq () ()) -\(newEq True True) -\(newEq False False) -\(newEq True False) -\(newEq False True) -\(newEq (1::Integer) (1::Integer)) -\(newEq (1::Integer) (2::Integer)) -\(newEq (1::Long) (1::Long)) -\(newEq (1::Long) (2::Long)) -\(newEq (1::Double) (1::Double)) -\(newEq (1::Double) (2::Double)) -\(newEq "a" "a") -\(newEq "a" "b") -\(newEq (Just "a") (Just "a")) -\(newEq (Just "a") (Just "b")) -\(newEq Nothing Nothing) -\(newEq (Just "a") Nothing) -\(newEq Nothing (Just "a")) -""" --- -True -True -True -False -False -True -False -True -False -True -False -True -False -True -False -True -False +import "Prelude" + +newEq = (==) + +main = """ +\(newEq () ()) +\(newEq True True) +\(newEq False False) +\(newEq True False) +\(newEq False True) +\(newEq (1::Integer) (1::Integer)) +\(newEq (1::Integer) (2::Integer)) +\(newEq (1::Long) (1::Long)) +\(newEq (1::Long) (2::Long)) +\(newEq (1::Double) (1::Double)) +\(newEq (1::Double) (2::Double)) +\(newEq "a" "a") +\(newEq "a" "b") +\(newEq (Just "a") (Just "a")) +\(newEq (Just "a") (Just "b")) +\(newEq Nothing Nothing) +\(newEq (Just "a") Nothing) +\(newEq Nothing (Just "a")) +""" +-- +True +True +True +False +False +True +False +True +False +True +False +True +False +True +False +True +False False \ No newline at end of file