Ah, yes... I can never remember which is reify and which is reflect. I'm fine either way. Maybe reifyDict is better.
S | -----Original Message----- | From: Krzysztof Gogolewski <krz.gogolew...@gmail.com> | Sent: 22 April 2021 20:18 | To: Spiwack, Arnaud <arnaud.spiw...@tweag.io> | Cc: Simon Peyton Jones <simo...@microsoft.com>; GHC developers <ghc- | d...@haskell.org> | Subject: Re: magicDict | | How about 'reifyDict'? The reflection library uses 'reify' to create a | dictionary and 'reflect' to extract a value out of it. | | https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fhack | age.haskell.org%2Fpackage%2Freflection-2.1.6%2Fdocs%2FData- | Reflection.html%23v%3Areify&data=04%7C01%7Csimonpj%40microsoft.com | %7C4c3a0fe8f1b2459d746308d905c34ed0%7C72f988bf86f141af91ab2d7cd011db47 | %7C1%7C0%7C637547159883839881%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAw | MDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=bQ | RNfsZPQQ%2FxqVcJvVpRJSkBIEZojqmKyqhpv7gr9XU%3D&reserved=0 | | On Thu, Apr 22, 2021 at 3:27 PM Spiwack, Arnaud | <arnaud.spiw...@tweag.io> wrote: | > | > Let me upvote `reflectDict`. | > | > On Thu, Apr 22, 2021 at 12:41 PM Simon Peyton Jones via ghc-devs | <ghc-devs@haskell.org> wrote: | >> | >> Ed, and other ghc-devs | >> | >> We are busy tidying up magicDict, and making it much more type- | safe: | >> see | >> | >> | https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgit | >> lab.haskell.org%2Fghc%2Fghc%2F- | %2Fissues%2F16646&data=04%7C01%7Cs | >> | imonpj%40microsoft.com%7C4c3a0fe8f1b2459d746308d905c34ed0%7C72f988bf8 | >> | 6f141af91ab2d7cd011db47%7C1%7C0%7C637547159883839881%7CUnknown%7CTWFp | >> | bGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6M | >> | n0%3D%7C3000&sdata=6OX7dPWC2sVUeMKNaqZVGwH%2FJ9mGSWQRUEWuvUWq8uE% | >> 3D&reserved=0 | >> | https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgit | >> lab.haskell.org%2Fghc%2Fghc%2F- | %2Fmerge_requests%2F5573&data=04%7 | >> | C01%7Csimonpj%40microsoft.com%7C4c3a0fe8f1b2459d746308d905c34ed0%7C72 | >> | f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637547159883839881%7CUnknown | >> | %7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLC | >> | JXVCI6Mn0%3D%7C3000&sdata=D2Q3wq74Y4RVnaAOjXQX6R9EuxuDplwmJ0zdk%2 | >> BAhN64%3D&reserved=0 | >> | >> As part of that change we're think of changing its currently- | rather-obscure name. I rather favour "reflectDict". Any other views? | >> | >> Simon | >> | >> _______________________________________________ | >> ghc-devs mailing list | >> ghc-devs@haskell.org | >> | https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail | >> .haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc- | devs&data=04%7C | >> | 01%7Csimonpj%40microsoft.com%7C4c3a0fe8f1b2459d746308d905c34ed0%7C72f | >> | 988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637547159883839881%7CUnknown% | >> | 7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJ | >> | XVCI6Mn0%3D%7C3000&sdata=%2BQHuwK50UdRQR0AQOuNGstDM%2BtDEv%2F75fs | >> Ia3mfqvIw%3D&reserved=0 | > | > _______________________________________________ | > ghc-devs mailing list | > ghc-devs@haskell.org | > | https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail. | > haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc- | devs&data=04%7C01 | > | %7Csimonpj%40microsoft.com%7C4c3a0fe8f1b2459d746308d905c34ed0%7C72f988 | > | bf86f141af91ab2d7cd011db47%7C1%7C0%7C637547159883839881%7CUnknown%7CTW | > | FpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6 | > | Mn0%3D%7C3000&sdata=%2BQHuwK50UdRQR0AQOuNGstDM%2BtDEv%2F75fsIa3mfq | > vIw%3D&reserved=0 _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs