[Agda-dev] Instance resolution design question

[Ulf Norell]

I posted a question on the issue tracker (
https://github.com/agda/agda/issues/1716) about instance search and context
variables:

Can we restrict instance search to only consider instance arguments from
the context or are there good reasons to allow anything from the context to
be used?

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20151110/f969baef/attachment.html