mirror of
https://github.com/azur1s/bobbylisp.git
synced 2024-10-16 02:37:40 -05:00
Compare commits
No commits in common. "4b5a61c0609f9b8592e227574e8832272c20a00e" and "c82c3701ba58e35dbc0d7c7da06dfc71975623cf" have entirely different histories.
4b5a61c060
...
c82c3701ba
7
b.hlm
7
b.hlm
|
@ -1,4 +1,5 @@
|
||||||
println((\x: num -> x + 35)(34));
|
let foo : num = 1 in bar(foo) end
|
||||||
16---1*3/-f(16)+8%-2;
|
|
||||||
|
|
||||||
a(b, c(d(e, f), g(h), i), j(k, l), m);
|
lambda (foo : num) -> unknown = bar(foo)
|
||||||
|
|
||||||
|
let x : t = e1 in e2 end
|
88
src/main.rs
88
src/main.rs
|
@ -1,59 +1,55 @@
|
||||||
#![feature(trait_alias)]
|
#![feature(trait_alias)]
|
||||||
pub mod read;
|
pub mod parse;
|
||||||
pub mod trans;
|
pub mod trans;
|
||||||
|
|
||||||
use read::parse::{lex, parse};
|
use parse::parse::lex;
|
||||||
use trans::low::{translate_expr, translate_js};
|
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
let path = std::env::args().nth(1).expect("No file path provided");
|
let input = r#"
|
||||||
let src = std::fs::read_to_string(path).expect("Failed to read file");
|
println((\x: int -> x + 1)(1));
|
||||||
|
"#;
|
||||||
|
|
||||||
let (tokens, lex_errs) = lex(src.to_owned());
|
let tokens = lex(input.to_owned());
|
||||||
|
println!("{:?}", tokens);
|
||||||
|
|
||||||
let parse_errs = if let Some(tokens) = tokens {
|
// use parse::past::*;
|
||||||
let (ast, parse_errs) = parse(tokens, src.len());
|
// use trans::ty::Type;
|
||||||
|
// use trans::low::*;
|
||||||
|
|
||||||
if let Some(ast) = ast {
|
// let exprs = vec![
|
||||||
println!();
|
// PExpr::Call(Box::new(PExpr::Sym("println".to_string())), vec![
|
||||||
println!("\x1b[90m───SOURCE─────────────────────────────────────────\x1b[0m");
|
// PExpr::Str("Hello, world!".to_string()),
|
||||||
println!("{src}");
|
// ]),
|
||||||
println!("\x1b[90m───PARSE TREE─────────────────────────────────────\x1b[0m");
|
// PExpr::Let {
|
||||||
for (e, _) in &ast {
|
// vars: vec![
|
||||||
println!("{}", {
|
// ("x".to_string(), Type::Num, PExpr::Num(1)),
|
||||||
let e = format!("{:?}", e);
|
// ],
|
||||||
if e.len() > 50 {
|
// body: Box::new(PExpr::Sym("x".to_string())),
|
||||||
format!("{}...", &e[..47])
|
// },
|
||||||
} else {
|
// PExpr::Let {
|
||||||
e
|
// vars: vec![
|
||||||
}
|
// ("x".to_string(), Type::Num, PExpr::Num(34)),
|
||||||
});
|
// ("y".to_string(), Type::Num, PExpr::Num(35)),
|
||||||
}
|
// ],
|
||||||
println!("\x1b[90m───INTERNAL AST───────────────────────────────────\x1b[0m");
|
// body: Box::new(PExpr::BinaryOp(
|
||||||
let nexprs = ast.into_iter().map(|(e, _)| translate_expr(e)).collect::<Vec<_>>();
|
// PBinaryOp::Add,
|
||||||
|
// Box::new(PExpr::Sym("x".to_string())),
|
||||||
|
// Box::new(PExpr::Sym("y".to_string())),
|
||||||
|
// )),
|
||||||
|
// },
|
||||||
|
// ];
|
||||||
|
|
||||||
for expr in &nexprs {
|
// let nexprs = exprs.into_iter().map(translate_expr).collect::<Vec<_>>();
|
||||||
println!("{}", expr);
|
|
||||||
}
|
|
||||||
println!("\x1b[90m───JS OUTPUT──────────────────────────────────────\x1b[0m");
|
|
||||||
let jsexprs = nexprs.into_iter().map(translate_js).collect::<Vec<_>>();
|
|
||||||
|
|
||||||
for expr in &jsexprs {
|
// for expr in &nexprs {
|
||||||
println!("{}", expr);
|
// println!("{}", expr);
|
||||||
}
|
// }
|
||||||
println!();
|
|
||||||
}
|
|
||||||
|
|
||||||
parse_errs
|
// println!("──────────────────────────────────────────────────");
|
||||||
} else {
|
|
||||||
Vec::new()
|
|
||||||
};
|
|
||||||
|
|
||||||
if !lex_errs.is_empty() || !parse_errs.is_empty() {
|
// let jsexprs = nexprs.into_iter().map(translate_js).collect::<Vec<_>>();
|
||||||
lex_errs
|
|
||||||
.into_iter()
|
// for expr in &jsexprs {
|
||||||
.map(|e| e.map(|c| c.to_string()))
|
// println!("{}", expr);
|
||||||
.chain(parse_errs.into_iter().map(|e| e.map(|t| t.to_string())))
|
// }
|
||||||
.for_each(|e| println!("{}", e));
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -1,8 +1,6 @@
|
||||||
#![allow(clippy::type_complexity)]
|
#![allow(clippy::type_complexity)]
|
||||||
use chumsky::{prelude::*, Stream};
|
use chumsky::{error, prelude::*, Stream};
|
||||||
use std::fmt::{Display, Formatter, Result as FmtResult};
|
use std::fmt::{Display, Formatter, Result as FmtResult};
|
||||||
use crate::trans::ty::Type;
|
|
||||||
|
|
||||||
use super::past::*;
|
use super::past::*;
|
||||||
|
|
||||||
#[derive(Clone, Copy, Debug, Eq, Hash, PartialEq)]
|
#[derive(Clone, Copy, Debug, Eq, Hash, PartialEq)]
|
||||||
|
@ -176,32 +174,6 @@ pub fn symbol_parser() -> impl P<String> {
|
||||||
.labelled("symbol")
|
.labelled("symbol")
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn type_parser() -> impl P<Type> {
|
|
||||||
recursive(|ty| {
|
|
||||||
let litty = symbol_parser().map(|s| match s.as_str() {
|
|
||||||
"num" => Type::Num,
|
|
||||||
"str" => Type::Str,
|
|
||||||
"bool" => Type::Bool,
|
|
||||||
"?" => Type::Unknown,
|
|
||||||
_ => Type::Sym(s),
|
|
||||||
});
|
|
||||||
|
|
||||||
let fun = just(Token::Open(Delim::Paren))
|
|
||||||
.ignore_then(
|
|
||||||
ty.clone()
|
|
||||||
.separated_by(just(Token::Comma))
|
|
||||||
)
|
|
||||||
.then_ignore(just(Token::Close(Delim::Paren)))
|
|
||||||
.then_ignore(just(Token::Arrow))
|
|
||||||
.then(ty)
|
|
||||||
.map(|(args, ret)| Type::Fun(args, Box::new(ret)));
|
|
||||||
|
|
||||||
litty
|
|
||||||
.or(fun)
|
|
||||||
.labelled("type")
|
|
||||||
})
|
|
||||||
}
|
|
||||||
|
|
||||||
pub fn nested_parser<'a, T: 'a>(
|
pub fn nested_parser<'a, T: 'a>(
|
||||||
parser: impl P<T> + 'a,
|
parser: impl P<T> + 'a,
|
||||||
delim: Delim,
|
delim: Delim,
|
||||||
|
@ -230,181 +202,3 @@ pub fn nested_parser<'a, T: 'a>(
|
||||||
))
|
))
|
||||||
.boxed()
|
.boxed()
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn expr_parser() -> impl P<Spanned<PExpr>> {
|
|
||||||
recursive(|expr: Recursive<Token, Spanned<PExpr>, Simple<Token>>| {
|
|
||||||
let lit = literal_parser().map(PExpr::Lit);
|
|
||||||
let sym = symbol_parser().map(PExpr::Sym);
|
|
||||||
|
|
||||||
let vec = nested_parser(
|
|
||||||
expr.clone()
|
|
||||||
.separated_by(just(Token::Comma))
|
|
||||||
.allow_trailing()
|
|
||||||
.map(Some),
|
|
||||||
Delim::Brack,
|
|
||||||
|_| None,
|
|
||||||
)
|
|
||||||
.map(|xs| match xs {
|
|
||||||
Some(xs) => PExpr::Vec(xs),
|
|
||||||
None => PExpr::Vec(Vec::new()),
|
|
||||||
})
|
|
||||||
.labelled("vector");
|
|
||||||
|
|
||||||
// (e)
|
|
||||||
let paren_expr = just(Token::Open(Delim::Paren))
|
|
||||||
.ignore_then(expr.clone())
|
|
||||||
.then_ignore(just(Token::Close(Delim::Paren)))
|
|
||||||
.map(|e| e.0)
|
|
||||||
.labelled("parenthesized expression");
|
|
||||||
|
|
||||||
// \[sym : type]* -> expr
|
|
||||||
let lam = just(Token::Lambda)
|
|
||||||
.ignore_then(
|
|
||||||
(
|
|
||||||
symbol_parser()
|
|
||||||
.then_ignore(just(Token::Colon))
|
|
||||||
.then(type_parser())
|
|
||||||
)
|
|
||||||
.repeated()
|
|
||||||
)
|
|
||||||
.then_ignore(just(Token::Arrow))
|
|
||||||
.then(expr.clone())
|
|
||||||
.map(|(args, body)| PExpr::Lambda {
|
|
||||||
args,
|
|
||||||
body: Box::new(body),
|
|
||||||
})
|
|
||||||
.labelled("lambda");
|
|
||||||
|
|
||||||
let atom = lit
|
|
||||||
.or(sym)
|
|
||||||
.or(vec)
|
|
||||||
.or(paren_expr)
|
|
||||||
.or(lam)
|
|
||||||
.map_with_span(|e, s| (e, s))
|
|
||||||
.boxed()
|
|
||||||
.labelled("atom");
|
|
||||||
|
|
||||||
// e(e*)
|
|
||||||
let call = atom
|
|
||||||
.then(
|
|
||||||
nested_parser(
|
|
||||||
expr.clone()
|
|
||||||
.separated_by(just(Token::Comma))
|
|
||||||
.allow_trailing()
|
|
||||||
.map(Some),
|
|
||||||
Delim::Paren,
|
|
||||||
|_| None,
|
|
||||||
)
|
|
||||||
.or_not(),
|
|
||||||
)
|
|
||||||
.map_with_span(|(f, args), s| match args {
|
|
||||||
Some(Some(args)) => (PExpr::Call(Box::new(f), args), s),
|
|
||||||
Some(None) => (PExpr::Error, s),
|
|
||||||
None => f,
|
|
||||||
});
|
|
||||||
|
|
||||||
// op e
|
|
||||||
let unary = choice((
|
|
||||||
just(Token::Sub).to(PUnaryOp::Neg),
|
|
||||||
just(Token::Not).to(PUnaryOp::Not),
|
|
||||||
))
|
|
||||||
.map_with_span(|op, s| (op, s))
|
|
||||||
.repeated()
|
|
||||||
.then(call)
|
|
||||||
.foldr(|op, expr| {
|
|
||||||
let s = op.1.start()..expr.1.end();
|
|
||||||
(PExpr::Unary(op, Box::new(expr)), s)
|
|
||||||
})
|
|
||||||
.boxed();
|
|
||||||
|
|
||||||
let product = unary
|
|
||||||
.clone()
|
|
||||||
.then(
|
|
||||||
choice((
|
|
||||||
just(Token::Mul).to(PBinaryOp::Mul),
|
|
||||||
just(Token::Div).to(PBinaryOp::Div),
|
|
||||||
just(Token::Mod).to(PBinaryOp::Mod),
|
|
||||||
))
|
|
||||||
.map_with_span(|op, s| (op, s))
|
|
||||||
.then(unary)
|
|
||||||
.repeated(),
|
|
||||||
)
|
|
||||||
.foldl(|lhs, (op, rhs)| {
|
|
||||||
let s = lhs.1.start()..rhs.1.end();
|
|
||||||
(PExpr::Binary(op, Box::new(lhs), Box::new(rhs)), s)
|
|
||||||
})
|
|
||||||
.boxed();
|
|
||||||
|
|
||||||
let sum = product
|
|
||||||
.clone()
|
|
||||||
.then(
|
|
||||||
choice((
|
|
||||||
just(Token::Add).to(PBinaryOp::Add),
|
|
||||||
just(Token::Sub).to(PBinaryOp::Sub),
|
|
||||||
))
|
|
||||||
.map_with_span(|op, s| (op, s))
|
|
||||||
.then(product)
|
|
||||||
.repeated(),
|
|
||||||
)
|
|
||||||
.foldl(|lhs, (op, rhs)| {
|
|
||||||
let s = lhs.1.start()..rhs.1.end();
|
|
||||||
(PExpr::Binary(op, Box::new(lhs), Box::new(rhs)), s)
|
|
||||||
})
|
|
||||||
.boxed();
|
|
||||||
|
|
||||||
let comparison = sum
|
|
||||||
.clone()
|
|
||||||
.then(
|
|
||||||
choice((
|
|
||||||
just(Token::Eq).to(PBinaryOp::Eq),
|
|
||||||
just(Token::Neq).to(PBinaryOp::Neq),
|
|
||||||
just(Token::Lt).to(PBinaryOp::Lt),
|
|
||||||
just(Token::Lte).to(PBinaryOp::Lte),
|
|
||||||
just(Token::Gt).to(PBinaryOp::Gt),
|
|
||||||
just(Token::Gte).to(PBinaryOp::Gte),
|
|
||||||
))
|
|
||||||
.map_with_span(|op, s| (op, s))
|
|
||||||
.then(sum)
|
|
||||||
.repeated(),
|
|
||||||
)
|
|
||||||
.foldl(|lhs, (op, rhs)| {
|
|
||||||
let s = lhs.1.start()..rhs.1.end();
|
|
||||||
(PExpr::Binary(op, Box::new(lhs), Box::new(rhs)), s)
|
|
||||||
})
|
|
||||||
.boxed();
|
|
||||||
|
|
||||||
comparison
|
|
||||||
.clone()
|
|
||||||
.then(
|
|
||||||
choice((
|
|
||||||
just(Token::And).to(PBinaryOp::And),
|
|
||||||
just(Token::Or).to(PBinaryOp::Or),
|
|
||||||
))
|
|
||||||
.map_with_span(|op, s| (op, s))
|
|
||||||
.then(comparison)
|
|
||||||
.repeated(),
|
|
||||||
)
|
|
||||||
.foldl(|lhs, (op, rhs)| {
|
|
||||||
let s = lhs.1.start()..rhs.1.end();
|
|
||||||
(PExpr::Binary(op, Box::new(lhs), Box::new(rhs)), s)
|
|
||||||
})
|
|
||||||
.boxed()
|
|
||||||
})
|
|
||||||
}
|
|
||||||
|
|
||||||
pub fn exprs_parser() -> impl P<Vec<Spanned<PExpr>>> {
|
|
||||||
expr_parser()
|
|
||||||
.then_ignore(just(Token::Semicolon))
|
|
||||||
.repeated()
|
|
||||||
}
|
|
||||||
|
|
||||||
pub fn parse(
|
|
||||||
tokens: Vec<Spanned<Token>>,
|
|
||||||
len: usize,
|
|
||||||
) -> (Option<Vec<Spanned<PExpr>>>, Vec<Simple<Token>>) {
|
|
||||||
let (ast, parse_error) = exprs_parser()
|
|
||||||
.then_ignore(end())
|
|
||||||
.parse_recovery(Stream::from_iter(len..len + 1, tokens.into_iter()));
|
|
||||||
|
|
||||||
(ast, parse_error)
|
|
||||||
}
|
|
|
@ -1,7 +1,6 @@
|
||||||
|
use std::fmt::{Display, Formatter, Result as FmtResult};
|
||||||
use crate::trans::ty::*;
|
use crate::trans::ty::*;
|
||||||
|
|
||||||
use super::parse::Spanned;
|
|
||||||
|
|
||||||
#[derive(Clone, Debug)]
|
#[derive(Clone, Debug)]
|
||||||
pub enum PUnaryOp {
|
pub enum PUnaryOp {
|
||||||
Neg,
|
Neg,
|
||||||
|
@ -21,22 +20,21 @@ pub enum PLiteral { Num(i64), Str(String), Bool(bool) }
|
||||||
/// Enum to represent a parsed expression
|
/// Enum to represent a parsed expression
|
||||||
#[derive(Clone, Debug)]
|
#[derive(Clone, Debug)]
|
||||||
pub enum PExpr {
|
pub enum PExpr {
|
||||||
Error,
|
|
||||||
|
|
||||||
Lit(PLiteral),
|
Lit(PLiteral),
|
||||||
Sym(String),
|
Sym(String),
|
||||||
Vec(Vec<Spanned<Self>>),
|
|
||||||
|
|
||||||
Unary(Spanned<PUnaryOp>, Box<Spanned<Self>>),
|
Vec(Vec<Self>),
|
||||||
Binary(Spanned<PBinaryOp>, Box<Spanned<Self>>, Box<Spanned<Self>>),
|
|
||||||
|
|
||||||
Call(Box<Spanned<Self>>, Vec<Spanned<Self>>),
|
UnaryOp(PUnaryOp, Box<Self>),
|
||||||
|
BinaryOp(PBinaryOp, Box<Self>, Box<Self>),
|
||||||
|
|
||||||
|
Call(Box<Self>, Vec<Self>),
|
||||||
Lambda {
|
Lambda {
|
||||||
args: Vec<(String, Type)>,
|
args: Vec<(String, Type)>,
|
||||||
body: Box<Spanned<Self>>,
|
body: Box<Self>,
|
||||||
},
|
},
|
||||||
Let {
|
Let {
|
||||||
vars: Vec<(String, Type, Self)>,
|
vars: Vec<(String, Type, Self)>,
|
||||||
body: Box<Self>,
|
body: Box<Self>,
|
||||||
},
|
}
|
||||||
}
|
}
|
|
@ -24,7 +24,6 @@ pub enum Literal {
|
||||||
pub enum Expr {
|
pub enum Expr {
|
||||||
Lit(Literal),
|
Lit(Literal),
|
||||||
Sym(String),
|
Sym(String),
|
||||||
Vec(Vec<Self>),
|
|
||||||
|
|
||||||
UnaryOp(UnaryOp, Box<Self>),
|
UnaryOp(UnaryOp, Box<Self>),
|
||||||
BinaryOp(BinaryOp, Box<Self>, Box<Self>),
|
BinaryOp(BinaryOp, Box<Self>, Box<Self>),
|
||||||
|
@ -45,17 +44,9 @@ impl Display for Expr {
|
||||||
Literal::Bool(b) => write!(f, "{}", b),
|
Literal::Bool(b) => write!(f, "{}", b),
|
||||||
},
|
},
|
||||||
Expr::Sym(s) => write!(f, "{}", s),
|
Expr::Sym(s) => write!(f, "{}", s),
|
||||||
Expr::Vec(v) => {
|
|
||||||
write!(f, "[")?;
|
|
||||||
for (i, e) in v.iter().enumerate() {
|
|
||||||
if i > 0 { write!(f, " ")?; }
|
|
||||||
write!(f, "{}", e)?;
|
|
||||||
}
|
|
||||||
write!(f, "]")
|
|
||||||
},
|
|
||||||
|
|
||||||
Expr::UnaryOp(op, e) => write!(f, "({} {})", format!("{:?}", op).to_lowercase(), e),
|
Expr::UnaryOp(op, e) => write!(f, "({:?} {})", op, e),
|
||||||
Expr::BinaryOp(op, e1, e2) => write!(f, "({} {} {})", format!("{:?}", op).to_lowercase(), e1, e2),
|
Expr::BinaryOp(op, e1, e2) => write!(f, "({:?} {} {})", op, e1, e2),
|
||||||
|
|
||||||
Expr::Call(c, args) => {
|
Expr::Call(c, args) => {
|
||||||
write!(f, "({}", c)?;
|
write!(f, "({}", c)?;
|
||||||
|
|
|
@ -9,7 +9,6 @@ pub enum JSLiteral { Num(i64), Str(String), Bool(bool) }
|
||||||
pub enum JSExpr {
|
pub enum JSExpr {
|
||||||
Lit(JSLiteral),
|
Lit(JSLiteral),
|
||||||
Sym(String),
|
Sym(String),
|
||||||
Array(Vec<Self>),
|
|
||||||
|
|
||||||
Op(&'static str, Box<Self>, Option<Box<Self>>),
|
Op(&'static str, Box<Self>, Option<Box<Self>>),
|
||||||
|
|
||||||
|
@ -30,14 +29,6 @@ impl Display for JSExpr {
|
||||||
JSLiteral::Bool(b) => write!(f, "{}", b),
|
JSLiteral::Bool(b) => write!(f, "{}", b),
|
||||||
},
|
},
|
||||||
JSExpr::Sym(s) => write!(f, "{}", s),
|
JSExpr::Sym(s) => write!(f, "{}", s),
|
||||||
JSExpr::Array(v) => {
|
|
||||||
write!(f, "[")?;
|
|
||||||
for (i, e) in v.iter().enumerate() {
|
|
||||||
if i > 0 { write!(f, ", ")?; }
|
|
||||||
write!(f, "{}", e)?;
|
|
||||||
}
|
|
||||||
write!(f, "]")
|
|
||||||
},
|
|
||||||
|
|
||||||
JSExpr::Op(op, lhs, rhs) => {
|
JSExpr::Op(op, lhs, rhs) => {
|
||||||
match rhs {
|
match rhs {
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
use crate::read::past::{PExpr, PLiteral, PBinaryOp, PUnaryOp};
|
use crate::parse::past::{PExpr, PLiteral, PBinaryOp, PUnaryOp};
|
||||||
use super::{
|
use super::{
|
||||||
ast::{Expr, Literal, BinaryOp, UnaryOp},
|
ast::{Expr, Literal, BinaryOp, UnaryOp},
|
||||||
js::{JSExpr, JSLiteral},
|
js::{JSExpr, JSLiteral},
|
||||||
|
@ -6,21 +6,18 @@ use super::{
|
||||||
|
|
||||||
pub fn translate_expr(expr: PExpr) -> Expr {
|
pub fn translate_expr(expr: PExpr) -> Expr {
|
||||||
match expr {
|
match expr {
|
||||||
PExpr::Error => panic!("Error in expression!"),
|
|
||||||
|
|
||||||
PExpr::Lit(l) => Expr::Lit(match l {
|
PExpr::Lit(l) => Expr::Lit(match l {
|
||||||
PLiteral::Num(n) => Literal::Num(n),
|
PLiteral::Num(n) => Literal::Num(n),
|
||||||
PLiteral::Str(s) => Literal::Str(s),
|
PLiteral::Str(s) => Literal::Str(s),
|
||||||
PLiteral::Bool(b) => Literal::Bool(b),
|
PLiteral::Bool(b) => Literal::Bool(b),
|
||||||
}),
|
}),
|
||||||
PExpr::Sym(s) => Expr::Sym(s),
|
PExpr::Sym(s) => Expr::Sym(s),
|
||||||
PExpr::Vec(v) => Expr::Vec(v.into_iter().map(|e| translate_expr(e.0)).collect()),
|
|
||||||
|
|
||||||
PExpr::Unary(op, e) => Expr::UnaryOp(match op.0 {
|
PExpr::UnaryOp(op, e) => Expr::UnaryOp(match op {
|
||||||
PUnaryOp::Neg => UnaryOp::Neg,
|
PUnaryOp::Neg => UnaryOp::Neg,
|
||||||
PUnaryOp::Not => UnaryOp::Not,
|
PUnaryOp::Not => UnaryOp::Not,
|
||||||
}, Box::new(translate_expr((*e).0))),
|
}, Box::new(translate_expr(*e))),
|
||||||
PExpr::Binary((op, _), e1, e2) => Expr::BinaryOp(
|
PExpr::BinaryOp(op, e1, e2) => Expr::BinaryOp(
|
||||||
match op {
|
match op {
|
||||||
PBinaryOp::Add => BinaryOp::Add,
|
PBinaryOp::Add => BinaryOp::Add,
|
||||||
PBinaryOp::Sub => BinaryOp::Sub,
|
PBinaryOp::Sub => BinaryOp::Sub,
|
||||||
|
@ -39,34 +36,33 @@ pub fn translate_expr(expr: PExpr) -> Expr {
|
||||||
PBinaryOp::And => BinaryOp::And,
|
PBinaryOp::And => BinaryOp::And,
|
||||||
PBinaryOp::Or => BinaryOp::Or,
|
PBinaryOp::Or => BinaryOp::Or,
|
||||||
},
|
},
|
||||||
Box::new(translate_expr((*e1).0)),
|
Box::new(translate_expr(*e1)),
|
||||||
Box::new(translate_expr((*e2).0)),
|
Box::new(translate_expr(*e2)),
|
||||||
),
|
),
|
||||||
|
|
||||||
PExpr::Call(f, args) => Expr::Call(
|
PExpr::Call(f, args) => Expr::Call(
|
||||||
Box::new(translate_expr((*f).0)),
|
Box::new(translate_expr(*f)),
|
||||||
args.into_iter().map(|a| translate_expr(a.0)).collect(),
|
args.into_iter().map(translate_expr).collect(),
|
||||||
),
|
),
|
||||||
PExpr::Lambda { args, body } => Expr::Lambda {
|
PExpr::Lambda { args, body } => Expr::Lambda {
|
||||||
args,
|
args,
|
||||||
body: Box::new(translate_expr((*body).0)),
|
body: Box::new(translate_expr(*body)),
|
||||||
},
|
},
|
||||||
PExpr::Let { vars, body } => {
|
PExpr::Let { vars, body } => {
|
||||||
let mut expr: Expr = translate_expr(*body); // The expression we're building up
|
let mut expr = *body; // The expression we're building up
|
||||||
for (name, ty, val) in vars.into_iter().rev() { // Reverse so we can build up the lambda
|
for (name, ty, val) in vars.into_iter().rev() { // Reverse so we can build up the lambda
|
||||||
// e.g.: let x : t = e1 in e2 end => (lambda (x : t) = e2)(e1)
|
// e.g.: let x : t = e1 in e2 end => (lambda (x : t) = e2)(e1)
|
||||||
|
|
||||||
// Build up the lambda
|
// Build up the lambda
|
||||||
expr = Expr::Lambda {
|
expr = PExpr::Lambda {
|
||||||
args: vec![(name, ty)],
|
args: vec![(name, ty)],
|
||||||
body: Box::new(expr),
|
body: Box::new(expr),
|
||||||
};
|
};
|
||||||
// Call the lambda with the value
|
// Call the lambda with the value
|
||||||
let val = translate_expr(val);
|
expr = PExpr::Call(Box::new(expr), vec![val]);
|
||||||
expr = Expr::Call(Box::new(expr), vec![val]);
|
|
||||||
}
|
}
|
||||||
|
|
||||||
expr
|
translate_expr(expr)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -79,7 +75,6 @@ pub fn translate_js(expr: Expr) -> JSExpr {
|
||||||
Literal::Bool(b) => JSExpr::Lit(JSLiteral::Bool(b)),
|
Literal::Bool(b) => JSExpr::Lit(JSLiteral::Bool(b)),
|
||||||
},
|
},
|
||||||
Expr::Sym(s) => JSExpr::Sym(s),
|
Expr::Sym(s) => JSExpr::Sym(s),
|
||||||
Expr::Vec(v) => JSExpr::Array(v.into_iter().map(translate_js).collect()),
|
|
||||||
|
|
||||||
Expr::UnaryOp(op, e) => JSExpr::Op(match op {
|
Expr::UnaryOp(op, e) => JSExpr::Op(match op {
|
||||||
UnaryOp::Neg => "-",
|
UnaryOp::Neg => "-",
|
||||||
|
|
|
@ -3,7 +3,6 @@ use std::fmt::{Display, Formatter, Result as FmtResult};
|
||||||
#[derive(Clone, Debug)]
|
#[derive(Clone, Debug)]
|
||||||
pub enum Type {
|
pub enum Type {
|
||||||
Num, Str, Bool,
|
Num, Str, Bool,
|
||||||
Sym(String),
|
|
||||||
Fun(Vec<Self>, Box<Self>),
|
Fun(Vec<Self>, Box<Self>),
|
||||||
Unknown,
|
Unknown,
|
||||||
}
|
}
|
||||||
|
@ -14,7 +13,6 @@ impl Display for Type {
|
||||||
Type::Num => write!(f, "num"),
|
Type::Num => write!(f, "num"),
|
||||||
Type::Str => write!(f, "str"),
|
Type::Str => write!(f, "str"),
|
||||||
Type::Bool => write!(f, "bool"),
|
Type::Bool => write!(f, "bool"),
|
||||||
Type::Sym(s) => write!(f, "{}", s),
|
|
||||||
Type::Fun(args, ret) => {
|
Type::Fun(args, ret) => {
|
||||||
write!(f, "(")?;
|
write!(f, "(")?;
|
||||||
for (i, arg) in args.iter().enumerate() {
|
for (i, arg) in args.iter().enumerate() {
|
||||||
|
|
Loading…
Reference in a new issue