diff options
| author | sjakie | 2000-01-17 16:40:25 +0000 |
|---|---|---|
| committer | sjakie | 2000-01-17 16:40:25 +0000 |
| commit | 7df70be02dac26f4b4324e091a1f37b833504e96 (patch) | |
| tree | 7cf2de146cd5c8c5b186c1b9bdad8badadb4d481 /frontend/general.icl | |
| parent | removing some abort statements in check (diff) | |
Bug fixes
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@77 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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 { |