diff options
author | ronny | 2001-11-01 14:52:26 +0000 |
---|---|---|
committer | ronny | 2001-11-01 14:52:26 +0000 |
commit | 1fd73e9ac304a3b20e35f0ad2b11a17820dd3329 (patch) | |
tree | 98c3017a0b95aef99361c3ac889819ae7fef98ca /frontend | |
parent | Bug 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.icl | 2 |
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 |