Haskellで処理系のテストを書く

言語処理系って幾層になっているが各入力と出力を一つのテストケースで書きたい、みたいな欲求がある

引数に欲しい物

テスト名

input ~ evaledの6項目

難点

これは、lexer, parser, evalもろもろがすべて揃っている状況が想定されている

単体のテストが出来ない

すべてのテストにlexerのtoken書くのダルいな

順番がわかりにくい

例えばTokenの並び順を間違えたときに、parserがエラーした感じに表示される

新しい文法などを作ったときに、コンパイラやtypeInferなどを全て実装しないとテストに落ち続ける

参考

却下

却下

code:hs

main = do

it "add"

$ "1*3;"

|>> C.CInt

|>> 3

it "add"

$ "1*3;"

|>> C.CInt

|>> 3

it :: String -> (String -> [Token] -> Program -> C.Constriant -> Integer -> Test)

たぶんちがうけどこんな感じ

無駄に冗長に書いている感じになっている

却下

code:hs

"x = 1 * 2;"

p> Assign "x" (Add (Nat 1) (Nat 2))

t> CInt

e> 3