Re: [commit: ghc] master: Refactor tuple constraints (ffc2150)

Hi, This patch broke the ‘Binary’ instance for ‘IfaceType’ in ‘iface/IfaceType.hs’ Specifically, it changed: ``` put_ bh (IfaceLitTy n) = do { putByte bh 30; put_ bh n } ``` to: ``` put_ bh (IfaceLitTy n) = do { putByte bh 7; put_ bh n } ``` However, the ‘get’ definition was left as: ``

RE: [commit: ghc] master: Refactor tuple constraints (ffc2150)

015 14:02 | To: ghc-devs@haskell.org | Subject: Re: [commit: ghc] master: Refactor tuple constraints | (ffc2150) | | Hi, | | This patch broke the ‘Binary’ instance for ‘IfaceType’ in | ‘iface/IfaceType.hs’ | Specifically, it changed: | | ``` | put_ bh (IfaceLitTy n) | = do {

Re: [commit: ghc] master: Refactor tuple constraints (ffc2150)

Hi, This patch causes a regression from GHC 7.10 with regards to constraint kinds. Where previously, constraint tuples could go up to 62, the same as normal tuples, they have now been reduced to 8. I filed a bug report at: https://ghc.haskell.org/trac/ghc/ticket/10451