Mark P Jones wrote:
>
> | For example hugs does not allow the following two examples:
> |
> | type HashFun = (forall el. el -> Int)
> |
> | type Parms el = el -> (forall el. el -> Int)
> |
> | but ghc compiles it just fine.
>
> Nothing in the Hugs manual suggests that you can use forall in a type
> synonym, so I don't regard this as a bug. But I agree that it would
> be useful to allow this kind of behavior, so let's take your message
> as a request for a new extension.
Ok thanks. It would also be nice to allow forall in instance
declarations so that the following would be possible.
import ST
class Run s c where
run :: s c -> c
instance Run (forall s. ST s) c where
run a = runST a
--
Kevin Atkinson
[EMAIL PROTECTED]
http://metalab.unc.edu/kevina/
