Fix typo in explanation of "What AbsBinds means" just to prove that I'm
not deadweight on the GHC committers list ;-)
(fm,gm) -> fm
..ditto for gp..
(fm,gm) -> fm
..ditto for gp..
- p = /\ [a,b] -> \ [d1,d2] -> letrec DBINDS and BIND
- in (fm,gm)
+ tp = /\ [a,b] -> \ [d1,d2] -> letrec DBINDS and BIND
+ in (fm,gm)
\begin{code}
-- We keep the invariant that a MonoBinds is only empty
\begin{code}
-- We keep the invariant that a MonoBinds is only empty