Here is an apparent bug in ghc's specialisation rules. The rewrite rule
generated by a SPECIALISE pragma seems to want to pattern-match on exact
dictionaries (as well as types). But the compiler is not necessarily
able to fully resolve dictionaries before the rules are supposed to
fire.
First,
-
| boun...@haskell.org] On Behalf Of Malcolm Wallace
| Sent: 11 February 2009 16:58
| To: glasgow-haskell-users@haskell.org
| Subject: bug in ghc specialiser?
|
| Here is an apparent bug in ghc's specialisation rules. The rewrite rule
| generated by a SPECIALISE pragma seems to want to pattern-match