[Agda] Fixing inferExpr panic

[David Haguenauer]

* Nicolas Pouillard <nicolas.pouillard at gmail.com>, 2011-04-11 14:08:54 Mon:
> We (with Simon Foster and Karim Kanso) had a code sprint at the Agda
> meeting this week. One of the goals was to lay the path for better
> reflection and meta-programming in Agda. We actually made such an
> unquote construct today. While this is still work in progress we
> have a working basic version by now. I hope you will it tomorrow in
> the main Agda repository.

Oh, that's excellent news, I'm eager to see this. I hope your changes
will be at least a little bit documented.

-- 
Cheers,
David Haguenauer
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 254 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20110411/ec064018/attachment.bin