diff options
Diffstat (limited to 'frontend/checksupport.icl')
| -rw-r--r-- | frontend/checksupport.icl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl index 0c856f4..dc7d917 100644 --- a/frontend/checksupport.icl +++ b/frontend/checksupport.icl @@ -71,6 +71,11 @@ checkErrorWithIdentPos :: !IdentPos !a !*ErrorAdmin -> .ErrorAdmin | <<< a; checkErrorWithIdentPos ident_pos mess error=:{ea_file} = { error & ea_file = ea_file <<< "Error " <<< ident_pos <<< ": " <<< mess <<< '\n', ea_ok = False } +checkErrorWithPosition :: !Ident !Position !a !*ErrorAdmin -> .ErrorAdmin | <<< a; +checkErrorWithPosition ident pos mess error=:{ea_file} + # ident_pos = newPosition ident pos + = { error & ea_file = ea_file <<< "Error " <<< ident_pos <<< ": " <<< mess <<< '\n', ea_ok = False } + checkWarningWithPosition :: !Ident !Position !a !*ErrorAdmin -> .ErrorAdmin | <<< a; checkWarningWithPosition ident pos mess error=:{ea_file} # ident_pos = newPosition ident pos |