<div dir="ltr">Someone pointed out on the git-hub discussion that `Type` is just a type synonym for `TYPE LiftedRep` and it is odd to use a keyword for a non-primitive.  I agree.  Also, if we are going to have a special case, I'd much rather have the special case be for * or ★, rather than for `type`.<div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Thu, Feb 1, 2018 at 5:58 PM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
Am Freitag, den 02.02.2018, 12:40 +1100 schrieb Manuel M T Chakravarty:<br>
> However, I have to say, I am very intrigued with the alternative to<br>
> the proposal that Richard mentioned in this thread, namely to use<br>
> ”type”, not ”Type”. The more I think about it, the more I like this<br>
> idea.<br>
<br>
This is somewhat analogous to (->). We could treat that as a normal<br>
binary operator that his exported by the Prelude, one that could be<br>
hidden or shadowed… but we don’t. “type” would be another thing that<br>
“Could be a normal name but isn’t”.<br>
<br>
But I am not convinced yet.<br>
<br>
In particular in light of our use of “type” as a explicit namespace<br>
token – so far in export and import lists and fixity declarations – I<br>
worry that we will prevent ourselves from using more such explicit<br>
namespace things in the future.<br>
<br>
Also, the last point:<br>
<br>
    Finally, it means that<br>
<br>
        type T = Bool<br>
<br>
      adds another equality to ”type”, which is really nice.<br>
<br>
doesn’t really work for me. If “type” is now just another (albeit)<br>
special object, then this looks rather like a functoin definition for<br>
this thing called “type”.<br>
<br>
Cheers,<br>
Joachim<br>
<br>
--<br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>