Skip to main content

module demo::lang::Func::Func

rascal-0.34.0

Usage​

import demo::lang::Func::Func;

syntax Ident​

lexical Ident =  [a-zA-Z][a-zA-Z0-9]* !>> [a-zA-Z0-9];

syntax Natural​

lexical Natural = [0-9]+ !>> [0-9];

syntax LAYOUT​

lexical LAYOUT = [\t-\n\r\ ];

syntax LAYOUTLIST​

layout LAYOUTLIST = LAYOUT*  !>> [\t-\n\r\ ] ;

syntax Prog​

start syntax Prog = prog: Func* ;

syntax Func​

syntax Func = func: Ident name "(" {Ident ","}* ")" "=" Exp;

syntax Exp​

syntax Exp 
    = let: "let" {Binding ","}* "in" Exp "end"
    | cond: "if" Exp "then" Exp "else" Exp "end"
    | bracket "(" Exp ")"
    | var: Ident
    | nat: Natural 
    | call: Ident "(" {Exp ","}* ")"
    | address: "&" Ident
    > deref: "*" Exp 
    > non-assoc (
        left mul: Exp "*" Exp 
      | non-assoc div: Exp "/" Exp
    ) 
    > left (
        left add: Exp "+" Exp 
      | left sub: Exp "-" Exp
    )
    >
    non-assoc (
        non-assoc gt: Exp "\>" Exp
      | non-assoc lt:  Exp "\<" Exp
      | non-assoc geq:  Exp "\>=" Exp
      | non-assoc leq:  Exp "\<=" Exp
    )
    >
    right assign: Exp ":=" Exp
    >
    right seq: Exp ";" Exp
    ;

syntax Binding​

syntax Binding = binding: Ident "=" Exp;