-data Nat = O | S Nat\r
-\r
-// It is important for this test that even and or are not annotated\r
-even O = True\r
-even (S x) = odd x\r
-\r
-odd O = False\r
-odd (S x) = even x\r
-\r
-main = even (S (S (S (S (S O)))))\r
---\r
+data Nat = O | S Nat
+
+// It is important for this test that even and or are not annotated
+even O = True
+even (S x) = odd x
+
+odd O = False
+odd (S x) = even x
+
+main = even (S (S (S (S (S O)))))
+--
false
\ No newline at end of file