[ghc-steering-committee] #195 recommendation: accept

[Simon Peyton Jones]

I'm basically supportive, but would like to see answers to my recent questions incorporated in the proposal before it is accepted.
https://github.com/ghc-proposals/ghc-proposals/pull/195#issuecomment-547522510

Simon


|  -----Original Message-----
|  From: ghc-steering-committee <ghc-steering-committee-bounces at haskell.org>
|  On Behalf Of Iavor Diatchki
|  Sent: 05 November 2019 16:44
|  To: ghc-steering-committee <ghc-steering-committee at haskell.org>
|  Subject: [ghc-steering-committee] #195 recommendation: accept
|  
|  Hello everyone,
|  
|  I am the shepherd for pull request #195 to wrap `Q (TExtp a)` into a
|  newtype synonym `Code a`.  The main change to the language is that the
|  special Template Haskell notation for typed splices will will work
|  with `Code a` rather than `Q (TExtp a)`.
|  
|  The benefit of having the newtype is that it makes it possible to
|  abstract over `Code`.  For example, you can work with typed name
|  environments like `MapF Name Code`, where `MapF` is an "indexed"
|  variant of `Map` which maps `Name a` to `Code a` (`MapF` is defined in
|  package `parameterized-utils` on hackage).
|  
|  Making typed TH work with `Code` directly avoids the need to
|  constantly switch between `Code` and `Q (TExp a)` and with the new
|  system users of typed TH are not likely to deal with the latter much
|  at all.
|  
|  For these reasons I recommend that we accept this proposal.  Please
|  let me know if you think otherwise.
|  
|  -Iavor
|  _______________________________________________
|  ghc-steering-committee mailing list
|  ghc-steering-committee at haskell.org
|  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.has
|  kell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-
|  committee&data=02%7C01%7Csimonpj%40microsoft.com%7Ce2fd3cfd09334b865fb
|  308d7620f5a8c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637085690437517
|  136&sdata=Qug9nwlVpQIY2U6jw%2FXKOnPpNPfiG6EAfWgv%2BTOJ4e0%3D&reser
|  ved=0