Skip to content
Snippets Groups Projects
Commit 96acca9a authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

[project @ 2000-07-18 14:47:52 by simonpj]

Add comment
parent 6a173f81
No related merge requests found
......@@ -29,6 +29,11 @@
This means that a sub-expression involving x is not "trapped" inside the RHS.
And it's not inconvenient because we already have a substitution.
Note that this is EXACTLY BACKWARDS from the what the simplifier does.
The simplifier tries to get rid of occurrences of x, in favour of wild,
in the hope that there will only be one remaining occurrence of x, namely
the scrutinee of the case, and we can inline it.
\begin{code}
module SetLevels (
setLevels,
......
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