-import "JavaBuiltin" as Java\r
-\r
-importJava "java.util.List" where\r
- data List a\r
-\r
- add :: List a -> a -> <Proc> Boolean\r
-\r
-importJava "java.util.ArrayList" where\r
- @JavaName "<init>"\r
- arrayList :: Integer -> <Proc> List a\r
-\r
-singleton :: a -> <Proc> List a\r
-singleton el = result\r
- where\r
- result = arrayList 1\r
- r = add result el\r
-\r
-main :: List Integer\r
-main = runProc (singleton (13 :: Integer))\r
---\r
+import "JavaBuiltin" as Java
+
+importJava "java.util.List" where
+ data List a
+
+ add :: List a -> a -> <Proc> Boolean
+
+importJava "java.util.ArrayList" where
+ @JavaName "<init>"
+ arrayList :: Integer -> <Proc> List a
+
+singleton :: a -> <Proc> List a
+singleton el = result
+ where
+ result = arrayList 1
+ r = add result el
+
+main :: List Integer
+main = runProc (singleton (13 :: Integer))
+--