From d940187fd8720e0ab3c00e5a6a7ae8f181c7752d Mon Sep 17 00:00:00 2001 From: Rose Hogenson Date: Sun, 12 Feb 2023 15:37:25 -0800 Subject: Add lambda functions. --- elab.sml | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) (limited to 'elab.sml') diff --git a/elab.sml b/elab.sml index 0838f38..6a80715 100644 --- a/elab.sml +++ b/elab.sml @@ -7,16 +7,25 @@ struct 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.EIdent [i] => raise Fail "only primitive operations for now, no variables" + | Syntax.EIdent _ => raise Fail "long identifiers are not supported" + | Syntax.EBuiltin builtin => Syntax.LPrim (primop builtin) | Syntax.EInt i => Syntax.LInt i | Syntax.EStr s => Syntax.LString s | Syntax.ETuple exprs => Syntax.LRecord (map elaborate exprs) + | Syntax.EList exprs => + foldr + (fn (x, acc) => + Syntax.LRecord [elaborate x, acc]) + (Syntax.LInt 0) + exprs | Syntax.EApp (f, x) => Syntax.LApp (elaborate f, elaborate x) | Syntax.ETyped (e, _) => elaborate e + | Syntax.EAndAlso (_, _) => raise Fail "unimplemented" + | Syntax.EOrElse (_, _) => raise Fail "unimplemented" | Syntax.ELet (decls, body) => Syntax.LRecord (map elaborate (map (fn (Syntax.DVal e) => e) decls @ [body])) - | _ => raise Fail "elaborate: operation not supported" + | Syntax.ELambda e => Syntax.LFn (Gensym.new (), elaborate e) end -- cgit v1.3.1