RE: Panic from rewritableTyVarsOfType

--- | From: Ben Gamari [mailto:b...@smart-cactus.org] | Sent: 03 February 2017 16:01 | To: Simon Peyton Jones <simo...@microsoft.com>; Richard Eisenberg | <r...@cs.brynmawr.edu> | Cc: ghc-devs@haskell.org | Subject: RE: Panic from rewritableTyVarsOfType | | Ben Gamari <b...

RE: Panic from rewritableTyVarsOfType

Ben Gamari writes: > Simon Peyton Jones writes: > >> Meanwhile to get you rolling, you can replace rewritableTyVars with >> tyCoVarsOfType and it'll all work, just a bit less efficiently. >> > Thanks Simon! Indeed that allows things to proceed and

RE: Panic from rewritableTyVarsOfType

Simon Peyton Jones writes: > Ben, Richard > > rewritableTyVarsOfType is used when deciding whether to split a [WD] > constraint into [W] and [D]. For example, if we are adding >[WD] C a > and there is an inert >[WD] a ~ Int > then we want to split the [WD] into >