Commit dc487a58 authored by Vincent Zweije's avatar Vincent Zweije
Browse files

Merge strictness bugfix of trace function (--->)

parent 71d84e95
......@@ -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
Markdown is supported
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