Lines Matching defs:is
18 fun parseSpec filename is = let
19 val lexer = SMLParser.makeLexer (fn n => TextIO.inputN (is, n)) 0
26 fun processSpec is str (((pos1, pos2), spec), res) =
56 | LOCALspec (spec1, spec2) => processSpec is str (spec2, res)
62 processSpec is str (spec2, processSpec is str (spec1, res))
71 val is = TextIO.openIn filename
72 val specs = case parseSpec filename is
76 val res = foldl (processSpec is str) initialbase specs
80 TextIO.closeIn is; res