This patch improves the string_of_* functions in Bitmatch_persistent
authorRichard W.M. Jones <rich@annexia.org>
Tue, 26 Aug 2008 08:21:43 +0000 (08:21 +0000)
committerRichard W.M. Jones <rich@annexia.org>
Tue, 26 Aug 2008 08:21:43 +0000 (08:21 +0000)
commitb906c8c1d14c56f5598dc234ee961701b0a60d97
tree34e092b462629d838fc77f764139a811f6e35cfd
parent42545798e1ada7e47d7ba56e1c9c2e32bc0e7129
This patch improves the string_of_* functions in Bitmatch_persistent
so that they can print (many) expressions.  At the moment they can
only print stuff like "bind ([expr])" for most expressions.
bitstring_persistent.ml