-let load_notation fname =
- let ic = open_in fname in
- let lexbuf = Ulexing.from_utf8_channel ic in
- try
- while true do
- match GrafiteParser.parse_statement lexbuf with
- | Executable (_, Command (_, cmd)) -> ignore (process_notation cmd)
- | _ -> ()
- done
- with End_of_file -> close_in ic
-