Commit 32eebc97 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-10-23 08:58:30 by simonpj]

-------------------------------
	Correct a nasty lub bug
	-------------------------------

	MERGE WITH STABLE BRANCH

Peter Sestoft discovered that lub wasn't commutative.
We certainly want that

	Err `lub` Abs = Lazy

This is a Real Bug.
parent f8a58611
...@@ -791,6 +791,7 @@ lub :: Demand -> Demand -> Demand ...@@ -791,6 +791,7 @@ lub :: Demand -> Demand -> Demand
lub Bot d = d lub Bot d = d
lub Err Bot = Err lub Err Bot = Err
lub Err Abs = Lazy -- E.g. f x = if ... then True else error x
lub Err d = d lub Err d = d
lub Lazy d = Lazy lub Lazy d = Lazy
......
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