syntax-example

Example application using syntax, a library for abstract syntax descriptions.

Example application using syntax, a library for abstract syntax descriptions.

The code:

• Main.hs

Example input:

(\f->
(\x
     -> f     ((x) x)) (\x
-> f  (x x)
)
(\x -> "test")
(\y -> y +2.0e13))

Example output:

Abs "f" (App (App (App (Abs "x" (App (Var "f") (App (Var "x") (Var "x")))) (Abs "x" (App (Var "f") (App (Var "x") (Var "x"))))) (Abs "x" (Lit (LitStr "test")))) (Abs "y" (App (Var "y") (Lit (LitNum 2.0e13)))))
\f -> (\x -> f (x x)) (\x -> f (x x)) (\x -> "test") (\y -> y 2.0e13)