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 <[email protected]> On Behalf Of Ömer Sinan | Agacan | Sent: 07 January 2019 06:57 | To: ghc-devs <[email protected]> | 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 | [email protected] | http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
