Radu Mereuta

I tried it this way: ``` c:\work\k\k-distribution\tutorial\2_languages\1_simple\2_typed\1_static>krun ..\programs\diverse\factorial.simple --pattern " .Bag Search results: Solution 1: Empty substitution ``` Clearly there is a misunderstanding between parsing and pretty printing, but I'm...

Try it on this: ``` module TEST endmodule ``` Just a simple empty module. Also, I've tested this on windows 10, 64 bits, if that helps.

I'm not sure what should happen. I added this issue because I needed to create a parsing module in which nothing was included automatically. @cos suggested using this option, but...

I just tried it on windows with the latest version, and it works correctly. Try to see if you have a clean installation and all paths set up correctly.

If the problem is still there I can have a look. I tested it on my windows computer and it works as expected.

You get the stack overflow because the parser gets into a loop. `MBElem` and `MBElems` can be nullable. I changed your example into: ``` syntax MBElems ::= List{MBElem, ""} syntax...

Do you have more details about the error message? A simple test and version of K could suffice in this case.

The relation between `K` and the user defined sorts in the definition has changed. So now at the top there is `K`, and at the bottom there is `KBot`. Changing...

`=>` is a reserved keyword for K. It is used in rules to specify rewriting rules. K3.4 is quite old and had some issues regarding modularity but in K4 you...