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%2FDeriving3.scl;h=6b27f1e71f8f408b2cbec5fecd6e97dc1a9d37cf;hb=b123fe92f27f72b9132ec52c9494fb8d8715d2ed;hp=ec2f5b7bda3b4273a2b2c55555316c3540ec7441;hpb=0580ea8b675c868685993b0780c9ecc31010f681;p=simantics%2Fplatform.git diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Deriving3.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Deriving3.scl index ec2f5b7bd..6b27f1e71 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Deriving3.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Deriving3.scl @@ -1,29 +1,29 @@ -import "Prelude" - -a,b,c,d :: Either Boolean Boolean -a = Left False -b = Left True -c = Right False -d = Right True - -main = a == a - && a < b - && a < c - && a < d - - && b > a - && b == b - && b < c - && b < d - - && c > a - && c > b - && c == c - && c < d - - && d > a - && d > b - && d > c - && d == d --- +import "Prelude" + +a,b,c,d :: Either Boolean Boolean +a = Left False +b = Left True +c = Right False +d = Right True + +main = a == a + && a < b + && a < c + && a < d + + && b > a + && b == b + && b < c + && b < d + + && c > a + && c > b + && c == c + && c < d + + && d > a + && d > b + && d > c + && d == d +-- true \ No newline at end of file