Preserve bound var info across implicitness changes
commit144dfcfa6bf086db6e286f0b95e0c0b826372764
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSun 15 Jun 2014, 23:44 (12 years ago)
parente245d48
src/Idris/REPL.hs+1−1
@@ -447,7 +447,7 @@ runIdeSlaveCommand id orig fn modes (IdeSlave.TermNoImplicits bnd tm) =
447447ideSlaveForceTermImplicits :: Integer -> [(Name, Bool)] -> Bool -> Term -> Idris ()
448448ideSlaveForceTermImplicits id bnd impl tm =
449449 do ist <- getIState
450− let expl = annotate (AnnTerm [] tm)
450+ let expl = annotate (AnnTerm bnd tm)
451451 (pprintPTerm ((ppOptionIst ist) { ppopt_impl = impl })
452452 bnd [] (idris_infixes ist)
453453 (delab ist tm))