Happy

日本語版

examples

シンプルなもの

大きいもの

Haskellをhappyで書いている感じ

コマンド

$ happy parser.y

$ happy parser.y -i

code:y

%name calc // parserの名前

%tokentype { Token } // parserの引数になる型

%error { parseError }

%token

%lexer

%monad

code:hs

parseError _ = error "Parse error"

下部ではHaskellの中でのASTのデータ型を定義する

生成規則と似てはいるが、異なるものなので定義する必要がある

%nonassoc

code:y

nonassocは並べられた演算子が同時に使用できないことを示す

code:y

list : {- empty -} { [] }

| Exp ',' list { $1 : $3 }

| Exp { $1 : [] }

Happy内での関数の作り方

構造は同じだけど型が異なるために、var, int, bool分のListのparserルールを別々に書いているのが無駄に見える

そういえばなんでParser側で「読む文字」を指定してるんだ？

Lexerの出力を受け取るわけではないのか

直感的に考えればTokenの指定だけでよいはず

あー、termみたいにツリーで優先度を指定する？

tokenって何のために書いてる？何するために使っている？

エラー報告