diff options
Diffstat (limited to 'frontend/general.icl')
| -rw-r--r-- | frontend/general.icl | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/frontend/general.icl b/frontend/general.icl index 83f854e..4db7f96 100644 --- a/frontend/general.icl +++ b/frontend/general.icl @@ -49,15 +49,17 @@ where (--->) infix :: .a !b -> .a | <<< b (--->) val message - | file_to_true (stderr <<< message <<< '\n') - = val - = abort "Internal error in --->" + | file_to_true (stderr <<< message <<< '\n') + = val + = abort "Internal error in --->" (-?->) infix :: .a !(!Bool, !b) -> .a | <<< b (-?->) val (cond, message) - | cond && file_to_true (stderr <<< message <<< '\n') - = val - = abort "Internal error in --->" + | cond + | file_to_true (stderr <<< message <<< '\n') + = val + = abort "Internal error in --->" + = val file_to_true :: !File -> Bool file_to_true file = code { |