[ghc-steering-committee] Please review #682: Explicit Level Imports

Adam Gundry adam at well-typed.com
Mon Dec 2 13:25:27 UTC 2024


Dear Committee,

Matthew Pickering, Rodrigo Mesquita and I propose to introduce Explicit 
Level Imports as a mechanism for TH code to be more precise about its 
dependencies:

https://github.com/ghc-proposals/ghc-proposals/pull/682
https://github.com/well-typed/ghc-proposals/blob/wip/level-imports-2024/proposals/0000-splice-imports.rst

I'd like to nominate Arnaud Spiwack as the shepherd.

Please guide us to a conclusion as outlined in
https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam


-- 
Adam Gundry, Haskell Consultant
Well-Typed LLP, https://www.well-typed.com/

Registered in England & Wales, OC335890
27 Old Gloucester Street, London WC1N 3AX, England


More information about the ghc-steering-committee mailing list