On Fri, 13 Aug 2004 15:32:51 -0700, Lyle Kopnicky [EMAIL PROTECTED] wrote:
Simon,
That makes good sense, as it's hard to read code that contains standard
terms used in a nonstandard way. I was just concerned that the function
name I wanted to use was already in the Prelude! Perhaps the
On Aug 9, 2004, at 5:00 PM, Simon Peyton-Jones wrote:
Closed classes are certainly interesting, but a better way to go in
this case is to allow the programmer to declear new kinds, as well as
new types. This is what Tim Sheard's language Omega lets you do, and
I'm considering adding it to GHC.
I have:
data Reference = Ref [String] String
data ReferenceError = RefError
{ expectedType :: String -- type of element we were
looking for (e.g. type,package)
, pointOfError :: Reference-- path to deepest parent
element not found in path
}
type
Brian Smith wrote:
[...]
instance MonadError (Either ReferenceError)
Kind error: `Either ReferenceError' is not applied to enough type
arguments
When checking kinds in `MonadError (Either ReferenceError)'
In the instance declaration for `MonadError (Either ReferenceError)'
MonadError takes