--- /dev/null
+import "JavaBuiltin" as Java\r
+\r
+infixl 7 (%)\r
+infixl 6 (+)\r
+infix 4 (==), (<)\r
+\r
+(+) = Java.iadd\r
+(%) = Java.irem\r
+(<) = Java.icmplt\r
+(==) = Java.icmpeq\r
+\r
+isPrime p = isPrimeAux (2 :: Integer) p\r
+ where\r
+ isPrimeAux d p = if d == p then True\r
+ else if p % d == 0 then False\r
+ else isPrimeAux (d+1) p\r
+ \r
+nextPrime p = if isPrime p \r
+ then p\r
+ else nextPrime (p+(1 :: Integer)) \r
+ \r
+main = nextPrime 32\r
+--\r
+37
\ No newline at end of file