[Agda-dev] agda: <<loop>>

[Andrés Sicard-Ramírez]

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