projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add comments to untyped_evals again
[lambda.git]
/
code
/
parse.js
diff --git
a/code/parse.js
b/code/parse.js
index
08ac5f0
..
ddc6199
100644
(file)
--- a/
code/parse.js
+++ b/
code/parse.js
@@
-140,6
+140,9
@@
var make_parse = function () {
symbol("(");
symbol("\\").handler = lambda_handler;
symbol("lambda").handler = lambda_handler;
symbol("(");
symbol("\\").handler = lambda_handler;
symbol("lambda").handler = lambda_handler;
+ symbol("\u03bb").handler = lambda_handler;
+ // symbol("\u2203").handler = exists_handler;
+ // symbol("\u2200").handler = forall_handler;
symbol(".");
function make_constants() {
symbol(".");
function make_constants() {
@@
-303,7
+306,7
@@
var make_parse = function () {
tokens = source.tokens();
token_nr = 0;
advance();
tokens = source.tokens();
token_nr = 0;
advance();
-
+
// let n = c in b
// (\n. b) c
// let n = c in b
// (\n. b) c
@@
-333,7
+336,7
@@
var make_parse = function () {
target = t;
advance("in");
}
target = t;
advance("in");
}
-
+
target.second = expression(false);
advance("(end)");
target.second = expression(false);
advance("(end)");