List
| Subject: Re: Contexts in Existential Types
|
|
| At 2001-03-13 19:36, I wrote:
|
| Would it be appropriate for Haskell to be able to remember
| contexts in
| existential types? For instance, currently this does not
| work in Hugs:
|
| --
| class Charable a where
| obtainChar
At 2001-03-13 19:36, I wrote:
Would it be appropriate for Haskell to be able to remember contexts in
existential types? For instance, currently this does not work in Hugs:
--
class Charable a where
obtainChar :: a - Char
instance Charable Char where
obtainChar c = c
data
