#1633: Now where does this error come from
------------------------------+---------------------------------------------
Reporter: guest | Owner:
Type: proposal | Status: new
Priority: normal | Milestone:
Component: Documentation | Version: 6.6.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
------------------------------+---------------------------------------------
Comment (by [EMAIL PROTECTED]):
A kind is to a type what a type is to a value. The error message is saying
that the type {{{ServerPart (EvPar res st) Request Result}}} is ill-
formed. Since the error message only concerns the type, not the code,
that's why the error message doesn't mention the code. In this case, the
error is saying that you're using a type ({{{Result}}}) in a context where
a type constructor is expected (analogous to applying the constant 1 to an
argument). Looking at the type definition for {{{ServerPart}}} should be
enlightening.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1633>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
