equal
deleted
inserted
replaced
109 |
109 |
110 |
110 |
111 (** parsing.ML **) |
111 (** parsing.ML **) |
112 local |
112 local |
113 open PgipMarkup |
113 open PgipMarkup |
114 open PgipParser |
114 open OldPgipParser |
115 open PgipIsabelle |
115 open PgipIsabelle |
116 |
116 |
117 fun asseqp a b = |
117 fun asseqp a b = |
118 if pgip_parser a = b then () |
118 if pgip_parser a = b then () |
119 else error("PGIP test: expected two parses to be equal, for input:\n" ^ a) |
119 else error("PGIP test: expected two parses to be equal, for input:\n" ^ a) |