comparison parse.ur @ 9:8eaaca74a64c

Import HTML parser
author Adam Chlipala <adam@chlipala.net>
date Wed, 15 Dec 2010 09:27:46 -0500
parents
children
comparison
equal deleted inserted replaced
8:ec4de8f848f8 9:8eaaca74a64c
1 (** Datatypes for describing parse results *)
2
3 datatype parse a =
4 Success of a
5 | Failure of string