@@ -798,7 +798,9 @@ lookupDefAcc :: Name -> Bool -> Context ->
798798 [(Def, Accessibility)]
799799lookupDefAcc n mkpublic ctxt
800800 = map mkp $ lookupCtxt n (definitions ctxt)
801− where mkp (d, a, _) = if mkpublic then (d, Public) else (d, a)
801+ -- io_bind a special case for REPL prettiness
802+ where mkp (d, a, _) = if mkpublic && (not (n == UN "io_bind"))
803+ then (d, Public) else (d, a)
802804
803805lookupTotal :: Name -> Context -> [Totality]
804806lookupTotal n ctxt = map mkt $ lookupCtxt n (definitions ctxt)