- var f = new IFStream.open(a)
- var lexer = new Lexer(new SourceFile(a, f))
+ var source
+ if no_file then
+ source = new SourceFile.from_string("", a)
+ else
+ var f = new IFStream.open(a)
+ source = new SourceFile(a, f)
+ f.close
+ end
+ var lexer = new Lexer(source)