Commit 0b20ae91 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Make SizeIs strict in the bag, which improves performance a bit

parent 887e7c48
......@@ -752,7 +752,7 @@ Code for manipulating sizes
\begin{code}
data ExprSize = TooBig
| SizeIs FastInt -- Size found
(Bag (Id,Int)) -- Arguments cased herein, and discount for each such
!(Bag (Id,Int)) -- Arguments cased herein, and discount for each such
FastInt -- Size to subtract if result is scrutinised
-- by a case expression
......
Markdown is supported
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