[ghc-steering-committee] Constraint vs Type: I propose acceptance

[Joachim Breitner]

Hi,

nobody responds to this in two months. I assume that we all simply
trust Simon here?

Simon, did you get the clarifications that you wanted? Can we go ahead
and accept this?

Cheers,
Joachim

Am Montag, den 26.02.2018, 11:14 +0000 schrieb Simon Peyton Jones:
> Friends
> I propose that we support the GHC proposal “Declare Constraint is not apart from Type”
> Currently GHC operates an uneasy compromise:
> Constraint and Type are treated as distinct in the type checker (e.g. do not unify)
> But they are treated as the same in Core
> I have spent ages in discussion with Richard and others for how to fix this wart.  Really, they should be either
> completely different (like Int and Bool), or
> completely the same (like [Char] and String).
> But both these stances have problems, and nothing satisfying has emerged.  So this proposal simply fixes the worst aspect (unsoundness) of the current setup.
> So I regard it as a way to stay explicitly non-committal, leaving the main question open.
> There are a couple of clarifications I’d like which I’ve put on the discussion thread.
> Simon
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180423/9d70f76d/attachment.sig>