[Agda] possible unifier bug / explain error messages?

[Nils Anders Danielsson]

On 2017-05-18 09:24, Andreas Abel wrote:
> One question here is of course when we should freeze the module
> telescope. Alternatively, it could be frozen only after the module has
> been checked entirely.

If I understand things correctly the caching machinery caches things in
connection with freezing of metas. Your suggestion would make caching in
the current form much less useful.

-- 
/NAD