gistfile1.txt

module SIMPLE-SYNTAX

endmodule

module SIMPLE
  
  imports BOOL
  imports INT

  syntax Bitfield ::= Bitfield Bit
                    | Bit

  syntax Bit ::= "l" | "h"

  syntax IntExp ::= "bToI" "(" Bit ")"
                  | "bfToI" "(" Bitfield ")"
                  | "expToI" "(" IntExp "*" IntExp ")"
                  | "expToI" "(" IntExp "+" IntExp ")"
                  | "expToI" "(" Int ")"

  rule bToI(l:Bit) => 0
  rule bToI(h:Bit) => 1

  rule bfToI(XS:Bitfield X:Bit) => expToI(expToI(bfToI(XS) * expToI(2)) + bToI(X))
  rule bfToI(X:Bit) => bToI(X)

  rule expToI(A:IntExp * B:IntExp) => expToI(A) *Int expToI(B)
  rule expToI(A:IntExp + B:IntExp) => expToI(A) +Int expToI(B)
  rule expToI(A:Int) => A

endmodule

----------------------------------

# kompile --backend haskell simple.k
[WARNING] Running as root is not recommended
[Error] Compiler: Had 2 parsing errors.
[Error] Inner Parser: Parse error: unexpected token '*Int'.
        Source(/mnt/c/Users/Bryan/Documents/kframework/frist/./simple.k)
        Location(27,49,27,53)
[Error] Inner Parser: Parse error: unexpected token '+Int'.
        Source(/mnt/c/Users/Bryan/Documents/kframework/frist/./simple.k)
        Location(28,49,28,53)