[ghc-steering-committee] What should we start with?

[Christopher Allen]

No objections with the understanding that I'll still file a bug if
something like the 8.0 RC comes up again.

On Thu, Jan 26, 2017 at 10:16 AM, Ben Gamari <ben at well-typed.com> wrote:
> Simon Peyton Jones <simonpj at microsoft.com> writes:
>
>> I'd like to suggest that we ADOPT
>>
>> - Update levity polymorphism
>> - Constraint vs type
>>
>> for 8.2. They are very well advanced (the former is in HEAD); they
>> tidy up a swamp of bugs; and they are a clear step forward from where
>> we are today.
>>
> For the record I agree here; both proposals are well-considered and
> patch up issues which actively impede some legitimate uses of
> TypeInType.
>
> Do we have objections to adoption?
>
> Cheers,
>
> - Ben
>
>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>



-- 
Chris Allen
Currently working on http://haskellbook.com