Make parameter parsing a tad more reliable in liquid-platform:liquidhaskell
Make parameter parsing a tad more reliable in liquid-platform:liquidhaskell

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell