diff options
| author | johnvg | 2013-04-04 13:08:37 +0000 |
|---|---|---|
| committer | johnvg | 2013-04-04 13:08:37 +0000 |
| commit | fcb72f5c5448a7d2105cb16a4e7d67a4f7299633 (patch) | |
| tree | e5f6ef9d1ad525f55630c54cadf3e604c3b44f56 /frontend/checksupport.dcl | |
| parent | renumber functions after checking imported modules (from iTask branch) (diff) | |
add type StringPos (from iTask branch)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2223 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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} |