[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