Hallo Hartmut, thanks for observing and analyzing this problem.
It'd be great if you could create a patch. Regards, Ingo -- You received this message because you are subscribed to the Google Groups "Frege Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to frege-programming-language+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
