Building dictionary terms in Core?

[Simon Peyton Jones]

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)?

Thanks

Simon

| -----Original Message-----
| From: ghc-devs <ghc-devs-bounces at haskell.org> On Behalf Of Ömer Sinan
| Agacan
| Sent: 07 January 2019 06:57
| To: ghc-devs <ghc-devs at haskell.org>
| 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 haskell.org
| http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs