-import "JavaBuiltin" as Java\r
-\r
-(+) = Java.iadd\r
-\r
-data Foo = Foo Integer\r
-\r
-escapeFoo (Foo x) = x\r
-\r
-id x = x\r
-\r
-main = id (3 :: Integer) + escapeFoo (id (Foo (4 :: Integer)))\r
---\r
+import "JavaBuiltin" as Java
+
+(+) = Java.iadd
+
+data Foo = Foo Integer
+
+escapeFoo (Foo x) = x
+
+id x = x
+
+main = id (3 :: Integer) + escapeFoo (id (Foo (4 :: Integer)))
+--
7
\ No newline at end of file