From b3f2fd686bc781996687deaadbe721b3300e4aba Mon Sep 17 00:00:00 2001 From: Rose Hogenson Date: Fri, 10 Feb 2023 15:06:47 -0800 Subject: Write a first draft of the compiler. Sorry I haven't been better about these commit messages. You're not my mom. --- elab.sml | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 elab.sml (limited to 'elab.sml') diff --git a/elab.sml b/elab.sml new file mode 100644 index 0000000..0838f38 --- /dev/null +++ b/elab.sml @@ -0,0 +1,22 @@ +structure Elab = +struct + fun primop (s : string) : Syntax.primop = + case s of + "exit" => Syntax.PExit + | _ => raise Fail ("invalid op: " ^ s) + + fun elaborate (p : Syntax.expr) : Syntax.lexp = + case p of + Syntax.EBuiltin builtin => Syntax.LPrim (primop builtin) + | Syntax.EIdent [i] => raise Fail "only primitive operations for now, no variables" + | Syntax.EInt i => Syntax.LInt i + | Syntax.EStr s => Syntax.LString s + | Syntax.ETuple exprs => Syntax.LRecord (map elaborate exprs) + | Syntax.EApp (f, x) => Syntax.LApp (elaborate f, elaborate x) + | Syntax.ETyped (e, _) => elaborate e + | Syntax.ELet (decls, body) => + Syntax.LRecord + (map elaborate + (map (fn (Syntax.DVal e) => e) decls @ [body])) + | _ => raise Fail "elaborate: operation not supported" +end -- cgit v1.3.1