diff options
Diffstat (limited to 'frontend/checksupport.dcl')
| -rw-r--r-- | frontend/checksupport.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl index b9ae928..acf6362 100644 --- a/frontend/checksupport.dcl +++ b/frontend/checksupport.dcl @@ -74,6 +74,7 @@ where instance Erroradmin ErrorAdmin, CheckState newPosition :: !Ident !Position -> IdentPos +stringPosition :: !String !Position -> StringPos checkError :: !a !b !*ErrorAdmin -> *ErrorAdmin | <<< a & <<< b checkWarning :: !a !b !*ErrorAdmin -> *ErrorAdmin | <<< a & <<< b @@ -91,7 +92,7 @@ instance toIdent ConsDef, (TypeDef a), ClassDef, MemberDef, FunDef, SelectorDef instance toIdent SymbIdent, TypeSymbIdent, BoundVar, TypeVar, ATypeVar, Ident instance toInt STE_Kind -instance <<< IdentPos, ExplImpInfo, DeclarationInfo +instance <<< IdentPos, StringPos, ExplImpInfo, DeclarationInfo :: ExpressionInfo = { ef_type_defs :: !.{# CheckedTypeDef} |