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

   1 import "JavaBuiltin" as Java\r
   2 \r
   3 infixl 6 (+)\r
   4 \r
   5 class Additive a where \r
   6     (+)  :: a -> a -> a    \r
   7     \r
   8 instance Additive Double where\r
   9     x + y = Java.dadd x y\r
  10 \r
  11 instance Additive Integer where\r
  12     x + y = Java.iadd x y\r
  13     \r
  14 main = ((1.0 :: Double)+(2.0 :: Double),(3::Integer)+(4::Integer))\r
  15 --\r
  16 (3.0,7)\r
  17 \r