1 import "JavaBuiltin" as Java
\r
3 importJava "java.util.List" where
\r
6 add :: List a -> a -> <Proc> Boolean
\r
8 importJava "java.util.ArrayList" where
\r
10 arrayList :: Integer -> <Proc> List a
\r
12 singleton :: a -> <Proc> List a
\r
13 singleton el = result
\r
15 result = arrayList 1
\r
18 main :: List Integer
\r
19 main = runProc (singleton (13 :: Integer))
\r