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