Commit 2d11beb6 authored by simonmar's avatar simonmar
Browse files

[project @ 2001-07-26 10:06:22 by simonmar]

Fix from Simon P.J. (committing over the phone :-)

Add missing case in lub:

	lub Eval (Seq k Defer ds) = Lazy

previously lub of Eval and Defer would have defaulted to Eval, which
was overoptimistic.
parent d8f55050
......@@ -627,10 +627,11 @@ lub Abs Abs = Abs
lub Abs (Seq k _ ds) = Seq k Defer ds -- Very important ('radicals' example)
lub Abs d = Lazy
lub Eval Abs = Lazy
lub Eval Lazy = Lazy
lub Eval (Seq k Now ds) = Seq Keep Now ds
lub Eval d = Eval
lub Eval Abs = Lazy
lub Eval Lazy = Lazy
lub Eval (Seq k Now ds) = Seq Keep Now ds
lub Eval (Seq k Defer ds) = Lazy
lub Eval d = Eval
lub (Call d1) (Call d2) = Call (lub d1 d2)
......
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