[Haskell-cafe] Why does disambiguation in RebindableSyntax sometimes requires type signatures?
jan.bracker at googlemail.com
Mon Nov 2 18:23:14 UTC 2015
but with type signatures the errors do not occure.
My best guess for that one is that inferring the correct kinds for lifted
data types is not done properly.
2015-11-02 18:20 GMT+00:00 Henning Thielemann <lemming at henning-thielemann.de
> On Mon, 2 Nov 2015, Jan Bracker wrote:
> If I add arguments to my local definitions I get the following errors:
>> Couldn't match kind ‘*’ with ‘[*]’
>> When matching types
>> m0 :: * -> * -> *
>> State :: [*] -> * -> *
> That sounds like a serious type mismatch that cannot simply be avoided by
> adding type signatures or type extensions.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe