module main

import StdFile
import StdBool

import parse
import lex

//Start :: *World -> (ParserOutput, *World)
Start = ""
//Start w
//# (out, w) = stdio w
//# (toparse, out) = readEntireFile out
//# (_, w) = fclose out w
//= (lexer toparse, w)
/*
Start :: *World -> (ParserOutput, *World)
Start w
# (out, w) = stdio w
# (toparse, out) = readEntireFile out
# (_, w) = fclose out w
= (parse (lexer toparse), w)
*/

readEntireFile :: *File -> *([Char], *File)
readEntireFile f
# (b, c, f) = freadc f
| not b = ([], f)
# (cs, f) = readEntireFile f
= ([c:cs], f)