main.icl

   1 module main
   2
   3 import StdEnv
   4 import System.CommandLine
   5 import Data.Func
   6
   7 import ast
   8 import parse
   9 import infer
  10
  11 readFile :: *File -> ([Char], *File)
  12 readFile f
  13 # (ok, c, f) = freadc f
  14 | not ok = ([], f)
  15 # (rest, f) = readFile f
  16 = ([c:rest], f)
  17
  18 Start w
  19 # (io, w) = stdio w
  20 # ([argv0:argv], w) = getCommandLine w
  21 # (chars, io) = readFile io
  22 = parse zero
  23         $ lex chars