diff options
| author | johnvg | 2003-12-16 16:19:53 +0000 |
|---|---|---|
| committer | johnvg | 2003-12-16 16:19:53 +0000 |
| commit | 0f12d287c6e16925e49ccc576ae7ae7defa5ea94 (patch) | |
| tree | 6afbbb477781a28d0c5b2c7ca407df2bb70b5295 /frontend/checksupport.dcl | |
| parent | remove VoidTypeToken (diff) | |
add CheckWarningWithPosition
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1439 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.dcl')
| -rw-r--r-- | frontend/checksupport.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl index aac7976..924df80 100644 --- a/frontend/checksupport.dcl +++ b/frontend/checksupport.dcl @@ -137,6 +137,7 @@ newPosition :: !Ident !Position -> IdentPos checkError :: !a !b !*ErrorAdmin -> *ErrorAdmin | <<< a & <<< b checkWarning :: !a !b !*ErrorAdmin -> *ErrorAdmin | <<< a & <<< b checkErrorWithIdentPos :: !IdentPos !a !*ErrorAdmin -> .ErrorAdmin | <<< a; +checkWarningWithPosition :: !Ident !Position !a !*ErrorAdmin -> .ErrorAdmin | <<< a; class envLookUp a :: !a !(Env Ident .b) -> (!Bool,.b) |