gerrit.simantics Code Review - simantics/platform.git/blob

   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