daydreamcatcher

Ok, but wouldn't it be nice to hint the user with an error message, that the generated code is potentially faulty? -- Or determine the kind of operator used from...

Yeah, but only, if and only if there is exactly one condition in the loop, where the when-condition is true. Then, I would suggest to add some kind of check...

Just as an example, I use the code from above and insert some code & comments (sorry for the bad indent, i quickly wrote a mockup ;)): ``` module MyTopLevel...

Yes, I think that would at least help a newcommer like me to get the thing right