Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- -- Quoter unfortunately need to be in another file due to GHC staging restrictions
- import Quoter
- foo :: ParsedExpr
- foo =
- [expr| Var "salads" |]
- -- foo =
- ParsedExpr {parsedSource = " Var \"salads\" ", parsedExpr = Var "salads"}
- bar :: ParsedExpr
- bar =
- [expr| Lam "f" (Lam "g" (Lam "x" (App (Var "g") (App (Var "f") (Var "x"))))) |]
- -- bar =
- ParsedExpr
- { parsedSource =
- " Lam \"f\" (Lam \"g\" (Lam \"x\" (App (Var \"g\") (App (Var \"f\") (Var \"x\"))))) "
- , parsedExpr =
- Lam "f" (Lam "g" (Lam "x" (App (Var "g") (App (Var "f") (Var "x")))))
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement