Luke Palmer wrote:
Well, it's probably not what you're looking for, but to remain true to
the domain-theoretical roots of "fix", the "least fixed point above" can
be implemented as:
fixAbove f x = fix f `lub` x
How can this be right if f is never applied to x? Or maybe you're trying
to do something other than I think you are, in which case: sorry for the
confusion. :-)
Martijn.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
