broken ByteString into 2 parts, each is quick-ish, whole thing takes 20mins on goto
aha think i've found the hassle dratted poly-qualif issue. sigh.
restoring split
tweak hs sig for memchr qualif
bytestring.hs is DONE
bytestring.hs done on goto. temp commit prior to pull
yes yes.
Merge branch 'rj-bytestring' of github.com:ucsd-progsys/liquidhaskell into rj-bytestring
Merge branch 'rj-bytestring' of github.com:ucsd-progsys/liquidhaskell into text