MyML Grammar

Grammar.txt

// '\'はPEGの分岐，'?'はオプショナル， '*'は0回以上の繰り返し 
Expr := LetRec \ Let \ If \ Literal \ Apply \ Identifier
LetRec := "let rec" Identifier Identifier? "=" Expr "in" Expr
Let := "let" Identifier Identifier? "=" Expr "in" Expr
If := "if" Expr "then" Expr "else" Expr
Literal := ライブラリの整数パースする奴使ってる
Apply := Value Value*
Value := "(" Expr ")" \ Primitive
Primitive := LetRec \ Let \ If \ Literal \ Ident // <- Apply := Expr Expr* ってするとApplyが左再帰するのでこんなんやってる
Identifier := [a-zA-Z] [a-zA-Z0-9!?]* (但し予約語ではない)
予約語 := "if" \ "then" \ "else" \ "let" \ "in"