Hi Ömer, I cannot answer you precisely, but when I was working on my type-checker plugin, I used functions `classTyCon` and `tyConSingleDataCon`, https://github.com/phadej/kleene-type/blob/cb7332b98ae229e162c12186fd4d7fccb06ab62f/plugin/KleenePlugin/TcPlugin.hs#L331-L336; 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 > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
