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%2FAmbiguousType.scl;h=8dca54366db2c739f662138bb6029527d54f887f;hb=6573b29e111ea03c3fa88bf1565d47d0fc4faabd;hp=f4871d7d5613be51f414ae421f7a5df025620dcc;hpb=f8576d4d2b3b30d76db552d624fc9f087b8940bd;p=simantics%2Fplatform.git diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/AmbiguousType.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/AmbiguousType.scl index f4871d7d5..8dca54366 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/AmbiguousType.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/AmbiguousType.scl @@ -1,12 +1,12 @@ - - -class Show a where - show :: a -> String - -class Read a where - read :: String -> a - -combine x = show (read x) --- -9:13-9:17: Constrain Show a contains free variables not mentioned in the type of the value. + + +class Show a where + show :: a -> String + +class Read a where + read :: String -> a + +combine x = show (read x) +-- +9:13-9:17: Constrain Show a contains free variables not mentioned in the type of the value. 9:19-9:23: Constrain Read a contains free variables not mentioned in the type of the value. \ No newline at end of file