match statement with
| `Raw text ->
if Pcre.pmatch ~rex:only_dust_RE text then raise Margin;
- let strm = Ulexing.from_utf8_string text in
+ let strm =
+ GrafiteParser.parsable_statement grafite_status
+ (Ulexing.from_utf8_string text) in
let ast = MatitaEngine.get_ast grafite_status include_paths strm in
ast, text
| `Ast (st, text) -> st, text
method eos =
let rec is_there_only_comments lexicon_status s =
if Pcre.pmatch ~rex:only_dust_RE s then raise Margin;
- match
- GrafiteParser.parse_statement lexicon_status (Ulexing.from_utf8_string s)
- with
+ let strm =
+ GrafiteParser.parsable_statement lexicon_status
+ (Ulexing.from_utf8_string s)in
+ match GrafiteParser.parse_statement lexicon_status strm with
| GrafiteAst.Comment (loc,_) ->
let _,parsed_text_length = MatitaGtkMisc.utf8_parsed_text s loc in
(* CSC: why +1 in the following lines ???? *)