[ghc-steering-committee] Proposal #79 "Add a :kind!! command to ghci" — propose yes

[Simon Peyton Jones]

Like Richard

* I like the goal
* I hate the proposed command :kind!

I suppose we could add
   :eval <expression>
as a way to evaluate <expression>; a long-form of
   <expression>
and then
   :eval type <type>
for this proposal.

Simon

|  -----Original Message-----
|  From: ghc-steering-committee <ghc-steering-committee-
|  bounces at haskell.org> On Behalf Of Manuel M T Chakravarty
|  Sent: 21 March 2018 02:43
|  To: ghc-steering-committee at haskell.org
|  Subject: [ghc-steering-committee] Proposal #79 "Add a :kind!! command
|  to ghci" — propose yes
|  
|  We need to decide on the Proposal #79 ”Add a :kind!! command to ghci,
|  to expand type families and type synonyms”:
|  
|    (rendered)
|  https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithu
|  b.com%2Falpmestan%2Fghc-proposals%2Fblob%2Fmaster%2Fproposals%2F0000-
|  kind-bang-
|  bang.rst&data=04%7C01%7Csimonpj%40microsoft.com%7Cc5767d25630244346d5a
|  08d58ed5770e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636571969830
|  865127%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJ
|  BTiI6Ik1haWwifQ%3D%3D%7C-
|  1&sdata=TiBF9Hg1BxieAB2B6Naez9FWiX53Hhfg0BP%2B%2F3MKjHs%3D&reserved=0
|    (discussion)
|  https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithu
|  b.com%2Fghc-proposals%2Fghc-
|  proposals%2Fpull%2F79&data=04%7C01%7Csimonpj%40microsoft.com%7Cc5767d2
|  5630244346d5a08d58ed5770e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7
|  C636571969830865127%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIj
|  oiV2luMzIiLCJBTiI6Ik1haWwifQ%3D%3D%7C-
|  1&sdata=VhEDSDfQQM19L3sY1yyuT5cHJ24jroBSdVg19DVWZiE%3D&reserved=0
|  
|  I agree that this is useful functionality and it is a simple change to
|  GHCi. There has been some discussion about the naming of this command,
|  but TBH I didn’t find any of the alternatives more convincing than
|  ”:kind!!”, so I’d suggest to stick with that.
|  
|  I favour accepting this proposal. Are there any dissenting opinions?
|  
|  Cheers,
|  Manuel
|  
|  _______________________________________________
|  ghc-steering-committee mailing list
|  ghc-steering-committee at haskell.org
|  https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-
|  committee