miloignis/kraken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add "!" syntatic form - a bit like the single quote, but !(a b c) d => !(a b c d). Useful for like !(let a 1) (+ a 3) or w/e. Break out some of the infinate nesting"

Browse Source
This commit is contained in:
Nathan Braswell
2023-02-10 01:01:04 -05:00
parent 3b5cc2c506
commit ba67b8c67b
3 changed files with 18 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
kr/src/ast.rs
View File

@@ -55,5 +55,12 @@ impl Form {
_ => None, _ => None,
} }
} }
pub fn append(&self, x: Rc<Form>) -> Option<Form> {
match self {
Form::Pair(car, cdr) => cdr.append(x).map(|x| Form::Pair(Rc::clone(car), Rc::new(x))),
Form::Nil => Some(Form::Pair(x, Rc::new(Form::Nil))),
_ => None,
}
}
} }

4
kr/src/grammar.lalrpop
View File

@@ -9,6 +9,9 @@ pub Term: Form = {
SYM => Form::Symbol(<>.to_owned()), SYM => Form::Symbol(<>.to_owned()),
"(" <ListInside?> ")" => <>.unwrap_or(Form::Nil), "(" <ListInside?> ")" => <>.unwrap_or(Form::Nil),
"'" <Term> => Form::Pair(Rc::new(Form::Symbol("quote".to_owned())), Rc::new(Form::Pair(Rc::new(<>), Rc::new(Form::Nil)))), "'" <Term> => Form::Pair(Rc::new(Form::Symbol("quote".to_owned())), Rc::new(Form::Pair(Rc::new(<>), Rc::new(Form::Nil)))),
"!" <h: Term> <t: Term> => {
h.append(Rc::new(t)).unwrap()
},
}; };
ListInside: Form = { ListInside: Form = {
<Term> => Form::Pair(Rc::new(<>), Rc::new(Form::Nil)), <Term> => Form::Pair(Rc::new(<>), Rc::new(Form::Nil)),
@@ -20,6 +23,7 @@ match {
")", ")",
".", ".",
"'", "'",
"!",
r"[0-9]+" => NUM, r"[0-9]+" => NUM,
r"[a-zA-Z+*/_=?%&|^-][\w+*/=_?%&|^-]*" => SYM, r"[a-zA-Z+*/_=?%&|^-][\w+*/=_?%&|^-]*" => SYM,
r"(;[^\n]*\n)|\s+" => { } r"(;[^\n]*\n)|\s+" => { }

13
kr/src/main.rs
View File

@@ -62,16 +62,17 @@ fn parse_test() {
eval_test(&g, &e, "(bool? true)", true); eval_test(&g, &e, "(bool? true)", true);
eval_test(&g, &e, "(bool? 1)", false); eval_test(&g, &e, "(bool? 1)", false);
eval_test(&g, &e, "!(bool?) 1", false);
eval_test(&g, &e, "!(bool?) true", true);
eval_test(&g, &e, "((vau root_env _ (eval 'a (cons (cons 'a 2) root_env))))", 2); eval_test(&g, &e, "((vau root_env _ (eval 'a (cons (cons 'a 2) root_env))))", 2);
let LET = " let LET = "
((vau root_env _ (eval '(let1 a 8 (+ a 9)) !((vau root_env p (eval (car p)
(cons (cons 'let1 (cons (cons 'let1
(vau de p (eval (car (cdr (cdr p))) (cons (cons (car p) (eval (car (cdr p)) de)) de)))
) root_env))))";
(vau de p (eval (car (cdr (cdr p))) (cons (cons (car p) (eval (car (cdr p)) de)) de))) eval_test(&g, &e, &format!("{} (let1 x 10 (+ x 7))", LET), 17);
) root_env))))
";
eval_test(&g, &e, LET, 17);
// TODO, finish lambda // TODO, finish lambda
let LAMBDA = " let LAMBDA = "