Simon's Prelude changes
~~~~~~~~~~~~~~~~~~~~~~~
[The real commit preceded this, but had the stupid message "msg_prel"
because I used "cvs commit -m" instead of "cvs commit -F"]
Prelude is split into more modules
new are: PrelEnum, PrelShow, PrelNum
removed: PrelBounded (all in PrelEnum now)
PrelEither (all in PrelMaybe now)
There are also a lot of RULES, of course.
----------------------------------------------
-- foldr/build/augment
----------------------------------------------
-
+
\begin{code}
foldr :: (a -> b -> b) -> b -> [a] -> b
foldr _ z [] = z