[Agda-dev] agda: <<loop>>
Andrés Sicard-Ramírez
asr at eafit.edu.co
Fri Mar 13 01:58:30 CET 2015
On 12 March 2015 at 17:41, Wolfram Kahl <kahl at cas.mcmaster.ca> wrote:
> With Agda compiled with -feager-blackholing,
> while checking the standard library with -N1, I get:
>
> Finished Data.Bool.Base.
> 50374120 8877328 9098816 0.03 0.03 0.75 1.08 0 0 (Gen: 1)
> agda: <<loop>>
>
>
> Now this makes me really curious what is going on there!
Just out of curiosity, I tried to reproduce the issue. These are my results:
GHC 7.8.4: I could reproduce the issue
GHC 7.6.3 and GHC 7.10.RC2: I *couldn't* reproduce the issue
Please report this regression/progression to GHC using this small test case :-)
--
Andrés
More information about the Agda-dev
mailing list