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

   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     (+) = Java.dadd\r
  10 \r
  11 instance Additive Double where\r
  12     (+) = Java.dadd\r
  13 --\r
  14 11:1-12:20: Duplicate definition of the instance Additive Double.