[Agda] Info about instance resolution in macro

Joris Ceulemans joris.ceulemans at vub.be
Tue Sep 15 19:15:24 CEST 2020


Hello,


When defining a macro, is it possible to get information on whether 
instance resolution for a specific instance metavariable succeeds or not 
and based on that do different things?

Attached is a small example of what I have in mind. I tried working with 
"noConstraints" but that doesn't work (or at least not the way that I 
use it).


Best,

Joris

-------------- next part --------------
A non-text attachment was scrubbed...
Name: InstanceInMacro.agda
Type: text/x-agda
Size: 1163 bytes
Desc: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200915/ee7efec5/attachment.bin>


More information about the Agda mailing list