5 commits

Author	SHA1	Message	Date
Simon Cruanes	2ff632af11	more combinators in Sexpr; ... bugfix in parsing, Return parsers must be poped off the stack as soon as possible; ^|| combinator for choosing parsers depending on a string	2013-02-08 23:20:42 +01:00
Simon Cruanes	6322884f2f	ability to parse a sequence of values from a Sexpr	2013-02-08 20:41:52 +01:00
Simon Cruanes	cce20838c4	parser combinators for deserializing token sequences directly into ... any type, without building the intermediate Sexpr.t. GADT are now necessary, to keep the Sexpr.parse function type-safe	2013-02-08 20:26:06 +01:00
Simon Cruanes	8c8b09c94a	better pretty printing of S-exprs	2013-02-05 09:57:27 +01:00
Simon Cruanes	14d651b836	S-expression module, with a strong accent on ... sequences (o'rly?). S-exprs can be converted to and from streams of 'tokens'	2013-02-04 23:30:31 +01:00