' the rule so that it doesn't
print variables that look the same but arent.
Simon
| -Original Message-
| From: Josef Svenningsson [mailto:[EMAIL PROTECTED]]
| Sent: 20 February 2002 17:01
| To: [EMAIL PROTECTED]
| Subject: Typing RULES
|
|
| Hi!
|
| Ghc seems to have some problems
Hi!
Ghc seems to have some problems in inferring the most general types of
RULES pragmas. The bug was not present in 5.02.1 but shows up in a cvs
version checked out yesterday.
Here's the problem:
Consider the following example from the user's guide:
{-# RULES
map/map forall f g xs.
