Commit d6fa5476 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur

fixed strictness annotation

parent 7394a44c
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment