Building dictionary terms in Core?
oleg.grenrus at iki.fi
Mon Jan 7 08:00:27 UTC 2019
I cannot answer you precisely, but when I was working on my type-checker
plugin, I used functions `classTyCon` and `tyConSingleDataCon`,
i.e. shouldn't be much different than constructing a record.
Hopefully those help you find out the right functions.
On 7.1.2019 8.56, Ömer Sinan Ağacan wrote:
> In #15646 (recent discussion in Gitlab MR 55) we need dictionary arguments in
> Core (in desugarer) to apply to functions like `fromRational :: Fractional a =>
> Rational -> a`, but we don't know how to build the dictionary term (`Fractional
> a`) in Core. Can anyone who know help us in the MR?
> ghc-devs mailing list
> ghc-devs at haskell.org
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 833 bytes
Desc: OpenPGP digital signature
More information about the ghc-devs