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%2FExpressionParsing.scl;fp=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FExpressionParsing.scl;h=ede200844ca35d21231e027d303b9093ff4f471a;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=6719bf935fab62cf14daf1716984e530fb219436;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/ExpressionParsing.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/ExpressionParsing.scl index 6719bf935..ede200844 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/ExpressionParsing.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/ExpressionParsing.scl @@ -1,27 +1,27 @@ -import "Prelude" - -data Exp = Exp String - -expToString :: Exp -> String -expToString (Exp s) = s - -instance Additive Exp where - zero = Exp "0" - Exp a + Exp b = Exp ("(" + a + " + " + b + ")") - -instance Ring Exp where - one = Exp "1" - neg (Exp a) = Exp ("(-" + a + ")") - Exp a * Exp b = Exp ("(" + a + " * " + b + ")") - Exp a - Exp b = Exp ("(" + a + " - " + b + ")") - fromInteger x = Exp (show x) - -a = Exp "a" -b = Exp "b" -c = Exp "c" -d = Exp "d" -e = Exp "e" - -main = expToString (a + b*c + d*e) --- +import "Prelude" + +data Exp = Exp String + +expToString :: Exp -> String +expToString (Exp s) = s + +instance Additive Exp where + zero = Exp "0" + Exp a + Exp b = Exp ("(" + a + " + " + b + ")") + +instance Ring Exp where + one = Exp "1" + neg (Exp a) = Exp ("(-" + a + ")") + Exp a * Exp b = Exp ("(" + a + " * " + b + ")") + Exp a - Exp b = Exp ("(" + a + " - " + b + ")") + fromInteger x = Exp (show x) + +a = Exp "a" +b = Exp "b" +c = Exp "c" +d = Exp "d" +e = Exp "e" + +main = expToString (a + b*c + d*e) +-- ((a + (b * c)) + (d * e)) \ No newline at end of file