ad81ad3 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Use a slightly different pretty printer for PDecls

commitad81ad3da15885a9822f7427609ed2a3b8822693 authorAlyssa Carter <trillionalyssa@gmail.com> dateThu 24 Jul 2014, 15:35 (12 years ago) parent008bf72

2 files changed+4−2

unifiedsplit

src/Idris/REPL.hs+3−1

@@ -669,7 +669,9 @@ process h fn (Eval t)

669669 ihPrintTermWithType h tmDoc tyDoc

670670

671671

672−process h fn (NewDefn decls) = logLvl 3 ("Defining names using these decls: " ++ show namedGroups) >> mapM_ defineName namedGroups where

672+process h fn (NewDefn decls) = do

673+ logLvl 3 ("Defining names using these decls: " ++ show (showDecls verbosePPOption decls))

674+ mapM_ defineName namedGroups where

673675 namedGroups = groupBy (\d1 d2 -> getName d1 == getName d2) decls

674676 getName :: PDecl -> Maybe Name

675677 getName (PTy docs argdocs syn fc opts name ty) = Just name

src/Idris/REPLParser.hs+1−1

@@ -55,7 +55,7 @@ pCmd = do P.whiteSpace; do cmd ["q", "quit"]; eof; return Quit

5555 defn <- concat <$> many (P.decl defaultSyntax)

5656 return (NewDefn defn)

5757 <|> do cmd ["unlet","undefine"]

58− Undefine `fmap` many P.name

58+ Undefine `fmap` many P.name

5959 <|> do cmd ["lto", "loadto"];

6060 toline <- P.natural

6161 f <- many anyChar;