--- /dev/null
+import "JavaBuiltin" as Java\r
+\r
+infixl 6 (+)\r
+\r
+class Additive a where \r
+ (+) :: a -> a -> a \r
+ \r
+instance Additive Double where\r
+ (+) = Java.dadd\r
+\r
+instance Additive Double where\r
+ (+) = Java.dadd\r
+--\r
+11:1-12:20: Duplicate definition of the instance Additive Double.
\ No newline at end of file