equal
deleted
inserted
replaced
19 open Nitpick |
19 open Nitpick |
20 open Nitpick_Isar |
20 open Nitpick_Isar |
21 |
21 |
22 exception SYNTAX of string |
22 exception SYNTAX of string |
23 |
23 |
24 fun is_ident_char c = Char.isAlphaNum c orelse c = #"_" |
24 val tptp_explode = raw_explode o strip_spaces_except_between_idents |
25 val tptp_explode = raw_explode o strip_spaces true is_ident_char |
|
26 |
25 |
27 fun parse_file_path (c :: ss) = |
26 fun parse_file_path (c :: ss) = |
28 if c = "'" orelse c = "\"" then |
27 if c = "'" orelse c = "\"" then |
29 ss |> chop_while (curry (op <>) c) |>> implode ||> tl |
28 ss |> chop_while (curry (op <>) c) |>> implode ||> tl |
30 else |
29 else |