Skip to content

Instantly share code, notes, and snippets.

@sinelaw
Last active August 29, 2015 14:06
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save sinelaw/c20466ee14332836d4cc to your computer and use it in GitHub Desktop.
Save sinelaw/c20466ee14332836d4cc to your computer and use it in GitHub Desktop.
Expr (Call (Expr (LitFunc ["x"]
(Expr (Var "x")
(Right Context {parent = Context {parent = Context {parent = Global,
vars = [],
curType = Top},
vars = [("x",
TVar "x")],
curType = Top},
vars = [],
curType = TVar "x"})))
(Right Context {parent = Context {parent = Global,
vars = [],
curType = Top},
vars = [("x", TVar "x")],
curType = JFunc [TVar "x"] (TVar "x")}))
[Expr (LitString "3")
(Right Context {parent = Context {parent = Global,
vars = [],
curType = Top},
vars = [],
curType = JString})])
(Right Context {parent = Context {parent = Global,
vars = [],
curType = Top},
vars = [],
curType = JString})
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment