Skip to content
Snippets Groups Projects
Commit 6a61ff24 authored by Simon Marlow's avatar Simon Marlow
Browse files

[project @ 1999-04-27 15:23:29 by simonm]

Mark PrimOp arguments as lazy.  This stops the simplifier throwing
away cases, and is consistent with the way applications work.  We
could probably do better by using the information from
primOpStrictness.
parent b9bef8d6
No related merge requests found
......@@ -606,6 +606,7 @@ occAnal env (Con con args)
-- arguments are just variables, or trivial expressions.
final_arg_uds = case con of
DataCon _ -> mapVarEnv markMany arg_uds
PrimOp _ -> mapVarEnv markLazy arg_uds
other -> arg_uds
in
(final_arg_uds, Con con args')
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment