tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/FunctionalDependencies2.scl

   1 import "Prelude"\r
   2 \r
   3 class Mul a b c | a b -> c where\r
   4     mul :: a -> b -> c\r
   5 \r
   6 instance Mul Integer Integer Integer where\r
   7     mul = (*)\r
   8 \r
   9 main :: Integer\r
  10 main = mul (mul (1 :: Integer) (2 :: Integer)) (3 :: Integer)\r
  11 --\r
  12 6