Building dictionary terms in Core?

Oleg Grenrus oleg.grenrus at
Mon Jan 7 08:00:27 UTC 2019

Hi Ömer,

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.

- Oleg

On 7.1.2019 8.56, Ömer Sinan Ağacan wrote:
> Hi,
> 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?
> Thanks,
> Ömer
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <>

More information about the ghc-devs mailing list