: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED] On Behalf Of S.
| Alexander Jacobson
| Sent: 27 January 2005 17:53
| To: haskell-cafe@haskell.org
| Subject: [Haskell-cafe] wierd type errros with MPTCs
|
| This code gives me a Kind error because IVal isn't
| applied to enough type arguments.
|
Am Donnerstag, 27. Januar 2005 18:53 schrieb S. Alexander Jacobson:
> This code gives me a Kind error because IVal isn't
> applied to enough type arguments.
>
>import qualified Set
>
>class Table table indexVal | indexVal->table where
>--insertIndex::item->indexVal item
On Thu, Jan 27, 2005 at 12:53:24PM -0500, S. Alexander Jacobson wrote:
> This code gives me a Kind error because IVal isn't
> applied to enough type arguments.
>
> import qualified Set
>
> class Table table indexVal | indexVal->table where
> --insertIndex::item->indexVal it
This code gives me a Kind error because IVal isn't
applied to enough type arguments.
import qualified Set
class Table table indexVal | indexVal->table where
--insertIndex::item->indexVal item -> table item ->table item
union::table item -> table item -> table item