Commit 4e5d7871 authored by John van Groningen's avatar John van Groningen
Browse files

use halt instead of abort to prevent strictness in 'a'

parent f4c1d4e4
......@@ -51,14 +51,14 @@ where
(--->) val message
| file_to_true (stderr <<< message <<< '\n')
= val
= abort "Internal error in --->"
= halt
(-?->) infix :: .a !(!Bool, !b) -> .a | <<< b
(-?->) val (cond, message)
| cond
| file_to_true (stderr <<< message <<< '\n')
= val
= abort "Internal error in --->"
= halt
= val
file_to_true :: !File -> Bool
......@@ -69,6 +69,11 @@ file_to_true file = code {
.end
}
halt :: .a
halt = code {
halt
}
instance + {#Char}
where
(+) s t = s +++ t
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment