[Haskell-cafe] Why does disambiguation in RebindableSyntax sometimes requires type signatures?

[Jan Bracker]

Hi Henning,

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.

Best,
Jan

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:
>>
>> Main.hs:27:3:
>>     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...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151102/67fc73ef/attachment.html>