Browse Source

handle empty applications

pull/1/head
nisstyre56 11 years ago
parent
commit
58f08f2578
  1. 12
      parse.js

12
parse.js

@ -454,8 +454,9 @@ function computeApp(tokens, charnum, linenum) {
var lhs = parse(tokens); var lhs = parse(tokens);
var next; var next;
var result; var result;
if (fst(tokens)) if (fst(tokens)) {
next = fst(tokens); next = fst(tokens);
}
else { else {
throw error.JSyntaxError(linenum, throw error.JSyntaxError(linenum,
charnum, charnum,
@ -476,13 +477,18 @@ function computeApp(tokens, charnum, linenum) {
} }
else { else {
/* it's a prefix application */ /* it's a prefix application */
var parameters;
var parameters = parseMany(parse, if (fst(tokens)[0] !== "right_paren") {
parameters = parseMany(parse,
validArgTypes, validArgTypes,
validArgument, validArgument,
tokens, tokens,
charnum, charnum,
linenum); linenum);
}
else {
parameters = [];
}
if ((!fst(tokens)) || fst(tokens)[0] !== "right_paren") { if ((!fst(tokens)) || fst(tokens)[0] !== "right_paren") {
throw error.JSyntaxError(linenum, throw error.JSyntaxError(linenum,
charnum, charnum,

Loading…
Cancel
Save