On 12 July 2012 12:33, Andres Löh <andres at well-typed.com> wrote: > Your example compiles for me with HEAD (but fails with 7.4.1 and > 7.4.2, yes). I've not tested if it also "works". Great, I will wait for a new release then. Bas