diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/generics.icl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/generics.icl b/frontend/generics.icl index 428588d..28c927a 100644 --- a/frontend/generics.icl +++ b/frontend/generics.icl @@ -2915,6 +2915,7 @@ where [tv \\ {at_type=(TV tv)} <- tvs1] ++ [tv \\ {at_type=(TV tv)} <- tvs2], st_args = iso_args ++ [arg_type], + st_args_strictness = NotStrict, st_arity = td_arity + 1, st_result = res_type, st_context = [], |