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

   1 import "JavaBuiltin" as Java
   2
   3 infixl 6 (+)
   4
   5 class Additive a where
   6     (+)  :: a -> a -> a
   7
   8 instance Additive Double where
   9     (+) = Java.dadd
  10
  11 instance Additive Double where
  12     (+) = Java.dadd
  13 --
  14 11:1-12:20: Duplicate definition of the instance Additive Double.