diff options
Diffstat (limited to 'frontend/general.icl')
| -rw-r--r-- | frontend/general.icl | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/frontend/general.icl b/frontend/general.icl index d5669db..5b3bb1a 100644 --- a/frontend/general.icl +++ b/frontend/general.icl @@ -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 |