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

[Manuel M T Chakravarty]

Yes, that sounds right to me.

Manuel

> Am 24.04.2018 um 12:45 schrieb Joachim Breitner <mail at joachim-breitner.de>:
> 
> 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/
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 874 bytes
Desc: Message signed with OpenPGP
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180424/f0bbee07/attachment.sig>