Commit ced87f40 authored by John van Groningen's avatar John van Groningen
Browse files

initialise st_args_strictness in unused function for Clean 2.0

parent 517bca0d
......@@ -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 = [],
......
Supports Markdown
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