Use injected js, trampolines for curried functions

demo/real.dee

@@ -2,7 +2,7 @@
 fizzbuzz <- x ->
   if x % 15 = 0 print("fizzbuzz")
   elif x % 3 = 0 print("fizz")
-  # elif x % 5 = 0 print("buzz")
+  elif x % 5 = 0 print("buzz")
   else print(x)
   if x < 100 fizzbuzz(x + 1) ## TODO add looping construct(s)
   

src/emitter.rs

@@ -37,6 +37,13 @@ impl <'a> LexicalContext<'a> {
     }
 }
 
+/// Embeds the pre-written js
+pub fn emit_injector(w: &mut dyn Write) -> std::io::Result<()>{
+    let bytes = include_bytes!("./js/deeinject.js");
+    write!(w, "{}", String::from_utf8_lossy(bytes))?;
+    Ok(())
+}
+
 pub fn emit_all(w: &mut dyn Write, ast: &Vec<parser::Stmt>, ctx: &mut LexicalContext) -> std::io::Result<()> {
     let is_tail = ctx.is_tail;
     ctx.is_tail = false;
@@ -113,14 +120,17 @@ pub fn emit_expr(w: &mut dyn Write, expr: &parser::Expr, ctx: &mut LexicalContex
 	    write!(w, "{}", atom)?;
 	}
 	parser::Expr::Funcall(id, args) => {
-	    write!(w, "{}", munge(id))?;
+	    if let Some((last, butlast)) = args.split_last() {
-	    if args.is_empty() {
+		write!(w, "T({}, ", munge(id))?;
-		write!(w, "()")?;
+		for expr in butlast {
+		    emit_expr(w, expr, ctx)?;
+		    write!(w, ", ")?;
 		}
-	    for arg in args {
+		emit_expr(w, last, ctx)?;
-		write!(w, "(")?;
-		emit_expr(w, arg, ctx)?;
 		write!(w, ")")?;
+	    } else {
+		write!(w, "{}", munge(id))?;
+		write!(w, "()")?;
 	    }
 	}
 	parser::Expr::Funcdef(arg, body) => {

src/js/deeinject.js

@@ -0,0 +1,10 @@
+const print = console.log
+
+function T(f, ...args) {
+  let res = f;
+  for (arg of args) {
+    res = res(arg);
+  }
+  return res;
+}
+  

src/main.rs

@@ -53,8 +53,7 @@ fn script(cli: &Cli) {
         println!("{:#?}", tree);
     } else if cli.ecmascript {
 	let mut out = io::stdout();
-	// TODO remove this hack
+	emitter::emit_injector(&mut out).ok();
-	writeln!(out, "const print = console.log;").ok();
 	let mut toplevel = emitter::LexicalContext::toplevel();
 	emitter::emit_all(&mut out, &tree, &mut toplevel).ok();
     } else {