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