-@macro\r
-(||) :: Boolean -> Boolean -> Boolean \r
-a || b = if a then True else b\r
-\r
-main :: Boolean\r
-main = True || (fail "This should not be executed")\r
---\r
+@macro
+(||) :: Boolean -> Boolean -> Boolean
+a || b = if a then True else b
+
+main :: Boolean
+main = True || (fail "This should not be executed")
+--