Commit 6a7e59e3 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-08-30 12:08:13 by simonpj]

Two type-formation tests (cf Sourceforge 1276246)
parent b52f3a72
module Foo1 where
-- Variant: class used as data
class SClass a where
sFun :: a -> SData a
data SData a = SCon (SClass a)
Class `SClass' used as a type
In the data type declaration for `SData'
module Foo1 where
-- Variant: ill-kinded.
class XClass a where
xFun :: a -> XData
data XData = XCon XClass
`XClass' is not applied to enough type arguments
Expected kind `?', but `XClass' has kind `k -> *'
In the data type declaration for `XData'
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment