[Agda-dev] Mysterious instance: GHC 7.10.1 RC1 bug? GHC <= 7.8.4 bug?

[Andrés Sicard-Ramírez]

On 11 January 2015 at 18:03, Andreas Abel <abela at chalmers.se> wrote:

> Frankly, I do not see immediately why the instance for TCErr is in scope
> in module InstanceArguments.
>
> Maybe fix this by adding the import
>
>   import Agda.TypeChecking.Errors ()
>
> to InstanceArguments (hoping this does not create a cycle).
>

​Yes, it fix the problem, but before importing the new module, I want to
understand what is happening.
​
-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150111/9db1c5fe/attachment.html