|
@ -1,5 +1,6 @@ |
|
|
#! /usr/bin/node |
|
|
#! /usr/bin/node |
|
|
|
|
|
|
|
|
|
|
|
var fs = require("fs"); |
|
|
var rep = require("./representation.js"); |
|
|
var rep = require("./representation.js"); |
|
|
var $ = require("./tools.js"); |
|
|
var $ = require("./tools.js"); |
|
|
var error = require("./errors.js"); |
|
|
var error = require("./errors.js"); |
|
@ -408,8 +409,11 @@ function checkPattern(x, i) { |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
function tokenizeFull(input) { |
|
|
function tokenizeFull(input) { |
|
|
|
|
|
var preludeSrc = fs.readFileSync("./prelude.jl"); |
|
|
var matchop; |
|
|
var matchop; |
|
|
var initialPass = tokenizeHelp(input, _.constant(false), true).reverse(); |
|
|
var initialPass = tokenizeHelp(input, _.constant(false), true).reverse(); |
|
|
|
|
|
|
|
|
|
|
|
input = [preludeSrc, input].join(""); |
|
|
for (var i = 0; i < initialPass.length; i++) { |
|
|
for (var i = 0; i < initialPass.length; i++) { |
|
|
if (initialPass.slice(i, i+8). |
|
|
if (initialPass.slice(i, i+8). |
|
|
map(_.first). |
|
|
map(_.first). |
|
|