aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
authorronny2001-11-01 14:52:26 +0000
committerronny2001-11-01 14:52:26 +0000
commit1fd73e9ac304a3b20e35f0ad2b11a17820dd3329 (patch)
tree98c3017a0b95aef99361c3ac889819ae7fef98ca /frontend
parentBug fix:attribute environments were not compared correctly (diff)
fixed strictness annotation
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@874 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
-rw-r--r--frontend/generics.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/generics.icl b/frontend/generics.icl
index 95aed23..a5781c1 100644
--- a/frontend/generics.icl
+++ b/frontend/generics.icl
@@ -3341,7 +3341,7 @@ where
build_gen_expr _ heaps
= buildGenericApp generic_module generic_def_sym KindConst [] heaps
-buildKindConstInstance1 :: !DefinedSymbol !Int !Index !DefinedSymbol [!TypeKind] !GenericState
+buildKindConstInstance1 :: !DefinedSymbol !Int !Index !DefinedSymbol ![TypeKind] !GenericState
-> (!FunDef, !*GenericState)
buildKindConstInstance1
def_sym group_index