kframework first try

gistfile1.txt

module FRIST-SYNTAX

  syntax Expr ::= Expr "+" Expr [left, strict]
                | "(" Expr ")" [bracket]
                | Ident
  
  syntax Ident ::= "x" | "y" | "z"

endmodule

module FRIST

  imports FRIST-SYNTAX

  rule X + Y => Y + X [structural]

  rule X + (Y + Z) => (X + Y) + Z [structural]

  rule (X + Y) + Z => X + (Y + Z) [structural]

endmodule




# kompile frist.k
[WARNING] Running as root is not recommended
File "realdef.ml", line 218, characters 90-97:
Error: This variant expression is expected to have type bool
       The constructor KApply2 does not belong to type bool
[Error] Critical: ocamlopt returned nonzero exit code: 2
Examine output to see errors.