-
Simon Peyton Jones authored
getCtLoc -> getCtLocM setCtLoc -> setCtLocM These operations are monadic, and I want to introduce a pure version of setCtLoc :: Ct -> CtLoc -> Ct
4a7a6c3a
getCtLoc -> getCtLocM setCtLoc -> setCtLocM These operations are monadic, and I want to introduce a pure version of setCtLoc :: Ct -> CtLoc -> Ct