Re: Question about types

[Marcin 'Qrczak' Kowalczyk]

Wed, 2 Aug 2000 17:01:09 +0200 (CEST), Wojciech Moczydlowski, Jr 
<[EMAIL PROTECTED]> pisze:

> The follow piece of code is accepted by hugs and ghc, rejected by
> nhc and (I haven't seen it) by hbc. Is this code correct or not?
> 
> type A = Either Int
> 
> f:: (a -> b) -> A a -> A b
> f _ _ = Left 0

Correct in Haskell 98. Type synonyms can have arbitrary kinds.

-- 
 __("<  Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK