Properly show superclass constraints in :i
Before:
(a : Type) -> (Monoid a) -> (Eq a) -> Cast a (Maybe a)
Now:
Monoid a => Eq a => Cast a (Maybe a)
Fixes #1029.
commitf6b036c4ad4977e0cb24fc8e15ed909e97d1ccd9
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateMon 7 Apr 2014, 12:14 (13 years ago)
parentf927e7f
src/Idris/REPL.hs+1−1
@@ -1009,7 +1009,7 @@ classInfo ci = do ist <- getIState
10091009 dumpDefaultInstance :: IState -> PDecl -> Doc OutputAnnotation
10101010 dumpDefaultInstance ist (PInstance _ _ _ _ _ t _ _) = pp ist t
10111011 dumpInstance :: IState -> Context -> Name -> Doc OutputAnnotation
1012− dumpInstance ist ctxt n = vsep . map (\t -> pp ist (delab ist t)) $ lookupTy n ctxt
1012+ dumpInstance ist ctxt n = pp ist $ delabTy ist n
10131013 pp ist = prettyImp (opt_showimp (idris_options ist))
10141014
10151015showTotal :: Totality -> IState -> String