Browse Source

remove extra parameter

pull/22/head
nisstyre56 10 years ago
parent
commit
c29edfa7e1
  1. 2
      desugar.js
  2. 4
      parse.js

2
desugar.js

@ -70,7 +70,7 @@ function desugarDefType(stx, typeEnv) {
}
function desugar(stx, typeAliases, typeEnv) {
function desugar(stx, typeEnv) {
var typeExpTest;
switch (stx.exprType) {

4
parse.js

@ -811,7 +811,9 @@ function parseFull(tokenized) {
try {
while (tokenized.length > 0) {
ast.push(desugarer.desugar(parse(tokenized), typeBindings));
console.log(ast);
}
console.log(ast);
return [ast, typeBindings];
} catch (e) {
if (e.stxerror !== undefined) {
@ -830,9 +832,7 @@ module.exports = { parse : function(str) {
},
tokenize : tokenizer.tokenize
};
/*
var istr = fs.readFileSync('/dev/stdin').toString();
var testParse = parseFull(tokenizer.tokenize(istr));
console.log(testParse[1]);
console.log(testParse[0].map(pprint.pprint));
*/

Loading…
Cancel
Save