aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
authorjohnvg2002-02-07 12:32:08 +0000
committerjohnvg2002-02-07 12:32:08 +0000
commit57402203bae68faea01adead7d485641408e68f0 (patch)
tree84bfb7b3ec04061d447a94057c49506cfe01b005 /frontend
parentfix bug when using type definition: (diff)
initialise st_args_strictness in unused function for Clean 2.0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1004 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
-rw-r--r--frontend/generics.icl1
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 = [],