Hi,
I discovered some mistakes in Chapter 7.17, "Generics", in
the GHC documentation on the web.
In 7.17.2, it says:
"{|" and "{|"
This should be "{|" and "|}" of course.
In 7.12.3, there is a little code fragment, that looks like
this:
class Foo a where
op1 :: a -> Bool
op {| a :*: b |} (Inl x) = True
op2 :: a -> Bool
op {| p :*: q |} (Inr y) = False
This does not make any sense to me! ("op" is defined, but
not declared; in both cases the type is ":*:", but the
argument is "Inl" and "Inr").
/Koen.
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
