diff options
author | johnvg | 2002-06-17 11:53:07 +0000 |
---|---|---|
committer | johnvg | 2002-06-17 11:53:07 +0000 |
commit | b9d3c2066f3cd10cf0fcda8fb2a6148b6a93ad88 (patch) | |
tree | b518ce7cc52adbb04939e00ac74fd6068238c93b /frontend/genericsupport.dcl | |
parent | removed 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.dcl | 14 |
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 |