On Wed, Jun 23, 2010 at 07:52:55PM +0200, Guido Trotter wrote: > Turns out with the current implementation of the type system a variable > can both be required and not required. Interesting (but perhaps worth a > further look).
I'm not sure I understand what you mean (what is worth a further look?)… but the patch looks good, LGTM. iustin
