[Agda-dev] Preparation for supporting GHC 8.0.1

[Andrés Sicard-Ramírez]

On 4 February 2016 at 11:41, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> 2. Do we need to wait for GHC 8.0.1?
>
> I don't think so because
>
> A. Agda supports for GHC 8.0.1 depends of some external libraries and programs
>
>   https://github.com/agda/agda/issues/1799
>
> B. If A) is fixed, it shouldn't difficult to release a new version
> supporting GHC 8.0.1.

FYI, Agda compiles with the new GHC 8.0.1 RC 2 but we have the same
problems reported in

  https://github.com/agda/agda/issues/1799

Best,

-- 
Andrés