aboutsummaryrefslogtreecommitdiff
path: root/frontend/genericsupport.dcl
diff options
context:
space:
mode:
authorjohnvg2002-06-17 11:53:07 +0000
committerjohnvg2002-06-17 11:53:07 +0000
commitb9d3c2066f3cd10cf0fcda8fb2a6148b6a93ad88 (patch)
treeb518ce7cc52adbb04939e00ac74fd6068238c93b /frontend/genericsupport.dcl
parentremoved double alternative for TVI_TypeKind in <<< (diff)
removed ignored !'s
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1099 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/genericsupport.dcl')
-rw-r--r--frontend/genericsupport.dcl14
1 files changed, 7 insertions, 7 deletions
diff --git a/frontend/genericsupport.dcl b/frontend/genericsupport.dcl
index 193afb2..95aa35c 100644
--- a/frontend/genericsupport.dcl
+++ b/frontend/genericsupport.dcl
@@ -5,12 +5,12 @@ import syntax, checksupport
lookupGenericClassInfo ::
!TypeKind
!GenericClassInfos
- -> !(Optional GenericClassInfo)
+ -> (Optional GenericClassInfo)
addGenericClassInfo ::
!GenericClassInfo
!GenericClassInfos
- -> !GenericClassInfos
+ -> GenericClassInfos
getGenericClassInfo ::
!(Global Index)
@@ -45,8 +45,8 @@ getGenericClass ::
//****************************************************************************************
// Ident Helpers
//****************************************************************************************
-makeIdent :: !String -> !Ident
-postfixIdent :: !Ident !String -> !Ident
-genericIdentToClassIdent :: !Ident !TypeKind -> !Ident
-genericIdentToMemberIdent :: !Ident !TypeKind -> !Ident
-genericIdentToFunIdent :: !Ident !TypeCons -> !Ident
+makeIdent :: !String -> Ident
+postfixIdent :: !Ident !String -> Ident
+genericIdentToClassIdent :: !Ident !TypeKind -> Ident
+genericIdentToMemberIdent :: !Ident !TypeKind -> Ident
+genericIdentToFunIdent :: !Ident !TypeCons -> Ident