At 2001-02-19 06:34, Fergus Henderson wrote:
>As the Haskell Report section 4.2.2 says:
>
> | Type constructor symbols T introduced by type synonym declarations
> | cannot be partially applied; it is a static error to use T without the
> | full number of arguments.
Thanks, I missed that. How ann
On 19-Feb-2001, Ashley Yakeley <[EMAIL PROTECTED]> wrote:
> I don't know if this is a bug in Hugs 98, or whether it's a
> misunderstanding of mine.
>
> The Haskell 98 Report Sec. 4.2.2 claims that 'type' introduces a new type
> constructor.
Right. So by definition, it does.
> Yet it doesn't
Ashley Yakeley wrote:
>
> I don't know if this is a bug in Hugs 98, or whether it's a
> misunderstanding of mine.
>
> The Haskell 98 Report Sec. 4.2.2 claims that 'type' introduces a new type
> constructor. Yet it doesn't seem possible to declare the type constructor
> an instance of a class:
>
