From fcb72f5c5448a7d2105cb16a4e7d67a4f7299633 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 4 Apr 2013 13:08:37 +0000
Subject: add type StringPos (from iTask branch)

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2223 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/checksupport.dcl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'frontend/checksupport.dcl')

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}
-- 
cgit v1.2.3