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

2 Nov 2015

      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 
...
:
...
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.