diff options
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 d93e353..c59a36b 100644 --- a/frontend/checksupport.dcl +++ b/frontend/checksupport.dcl @@ -146,6 +146,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; +checkErrorWithPosition :: !Ident !Position !a !*ErrorAdmin -> .ErrorAdmin | <<< a; checkWarningWithPosition :: !Ident !Position !a !*ErrorAdmin -> .ErrorAdmin | <<< a; class envLookUp a :: !a !(Env Ident .b) -> (!Bool,.b) |