X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FBinaryOperators1.scl;h=ab8dcba794ae01efb9bb7e2ddf33d956f8188407;hp=86263c9aaea89825feb8fc28b50773c85040fba3;hb=172abed5dbf73c1304a7a95bb8504ea293556948;hpb=28418dc0f3cc153ba631c201c900b99e45fa03d1 diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/BinaryOperators1.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/BinaryOperators1.scl index 86263c9aa..ab8dcba79 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/BinaryOperators1.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/BinaryOperators1.scl @@ -1,25 +1,25 @@ -import "Prelude" - -data E = E String - -instance Additive E where - zero = E "0" - E a + E b = E ("(" + a + "+" + b + ")") - -instance Ring E where - one = E "1" - neg (E a) = E ("(-" + a + ")") - E a - E b = E ("(" + a + "-" + b + ")") - E a * E b = E ("(" + a + "*" + b + ")") - fromInteger x = E (show x) - -eToString (E a) = a - -a = E "a" -b = E "b" -c = E "c" -d = E "d" - -main = eToString (-a + b + (-c*d)) --- +import "Prelude" + +data E = E String + +instance Additive E where + zero = E "0" + E a + E b = E ("(" + a + "+" + b + ")") + +instance Ring E where + one = E "1" + neg (E a) = E ("(-" + a + ")") + E a - E b = E ("(" + a + "-" + b + ")") + E a * E b = E ("(" + a + "*" + b + ")") + fromInteger x = E (show x) + +eToString (E a) = a + +a = E "a" +b = E "b" +c = E "c" +d = E "d" + +main = eToString (-a + b + (-c*d)) +-- (((-a)+b)+(-(c*d))) \ No newline at end of file