diff options
| author | martinw | 2000-05-31 12:26:44 +0000 |
|---|---|---|
| committer | martinw | 2000-05-31 12:26:44 +0000 |
| commit | e8bc12b2bf2bad2c62f9f19bd7ef5278fea8005f (patch) | |
| tree | 68fe92ecb6550f7ee76a9a1619b56be1d32f3a07 /frontend/checksupport.icl | |
| parent | setting defaultPrio to 9 according to bug report from Ronny (diff) | |
readableizing error messages
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@147 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.icl')
| -rw-r--r-- | frontend/checksupport.icl | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl index f693445..98ebe58 100644 --- a/frontend/checksupport.icl +++ b/frontend/checksupport.icl @@ -159,10 +159,8 @@ checkWarning id mess error=:{ea_file,ea_loc} = { error & ea_file = ea_file <<< "Check Warning " <<< hd ea_loc <<< ":\"" <<< id <<< "\" " <<< mess <<< '\n' } checkErrorWithIdentPos :: !IdentPos !a !*ErrorAdmin -> .ErrorAdmin | <<< a; -checkErrorWithIdentPos ident_pos mess error_admin - # error_admin = pushErrorAdmin ident_pos error_admin - error_admin = checkError ident_pos.ip_ident mess error_admin - = popErrorAdmin error_admin +checkErrorWithIdentPos ident_pos mess error=:{ea_file} + = { error & ea_file = ea_file <<< "Check Error " <<< ident_pos <<< ":" <<< mess <<< '\n', ea_ok = False } class envLookUp a :: !a !(Env Ident .b) -> (!Bool,.b) |