Building dictionary terms in Core?

Simon Peyton Jones simonpj at
Mon Jan 7 09:12:15 UTC 2019

I'm on a train, so unable to dig deep.

The standard thing to do is to build the dictionary in the type checker, and leave it in the syntax tree for the desugarer to use.

The ticket and MR discussion have grown long.  Is there an up-do-date stand-alone description of the currently-proposed design than one can read instead of doing (foldr add-comments empty all-comments)?



| -----Original Message-----
| From: ghc-devs <ghc-devs-bounces at> On Behalf Of Ömer Sinan
| Agacan
| Sent: 07 January 2019 06:57
| To: ghc-devs <ghc-devs at>
| Subject: Building dictionary terms in Core?
| 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

More information about the ghc-devs mailing list