aha, so that's what happened to iRREFUT_PAT_ERROR_ID
aha, so that's what happened to iRREFUT_PAT_ERROR_ID

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