[Agda] expanding solved wildcards

[Nils Anders Danielsson]

On 2012-06-16 18:15, Ramana Kumar wrote:
> Finding out which metas are unsolved in an Agda program
> http://stackoverflow.com/q/10255895/1431768?sem=2
>
> Does anyone know the answer?

Question: "What's the best way to find out what's causing unsolved
metas?"

One approach (not necessarily the best) is to replace all implicit
arguments with explicit underscores:

   f {_} {_} {_} (x {_} {_} {_})

-- 
/NAD