Omar Duhaiby

When you say always, do you mean you tried it on the provided examples and you still got the error? Can you show the file you're running `krun` on?

OK. Give me a few minutes.

Here: ``` module TEST imports TEST-SYNTAX syntax MathFunction ::= "Round" rule Round(V:Float, I1:Int, I2:Int) => roundFloat(V,I1,I2) endmodule module TEST-SYNTAX syntax Pgm ::= MathFunction "(" Vals ")" [strict(2)] syntax MathFunction syntax...

Look at this. It's simpler. ``` module TEST syntax Pgm ::= MathFunction "(" Vals ")" syntax MathFunction ::= "Round" | "Root" rule Round(F:Float, I1:Int, I2:Int) => roundFloat(F,I1,I2) rule Root(F:Float, I:Int)...

OK. Avoiding the custom list `Vals` will solve the problem: ``` module TEST syntax Pgm ::= MathFunction "(" Float "," Int "," Int ")" syntax MathFunction ::= "Round" rule Round(F:Float,...

OK. how about K3.5? can I hook it from the Maude back-end? On Apr 29, 2016 9:03 PM, "Radu Mereuta" [email protected] wrote: > Not in K4. If you ever need...

@traiansf, can you please help me hook Maude's `Rat` properly in K3.5?

Are you saying that your example should be `true` but is evaluating to `false`? I recommend that you try this with simpler syntax. We need a minimal example.

I tried compiling the current implementation but I couldn't generate the lexer. The instructions say I have to use Idea 12 to do that. But such a small inconvenience made...

OK I decided I will start from scratch and use as much as I can from the current implementation, without sacrificing convenience for future development.