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