23 Mar
2014
23 Mar
'14
2:46 p.m.
On Sun, Mar 23, 2014 at 07:30:07PM +0100, Henning Thielemann wrote:
Am 23.03.2014 19:16, schrieb Tom Ellis:
Unless there's some way I'm unaware of to statically verify that the string indeed represents a valid hex encoding, then this is still not a complete solution.
Since the original complaint was about parsing, there must be a way to fail. The first line ("7b" ^? hex) seems to allow failure.
For literal hex input we have 0x7b.
Oh, I wasn't reading carefully enough!