Fix line breaks in display of :t at REPL
commit7273f3bcbe2567b8cb1e20ec97b6d38d61dd95d0
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateFri 2 May 2014, 12:09 (12 years ago)
parent4c76d56
src/Idris/Output.hs+1−1
@@ -78,7 +78,7 @@ ideSlaveReturnAnnotated n h out = do ist <- getIState
7878
7979ihPrintTermWithType :: Handle -> Doc OutputAnnotation -> Doc OutputAnnotation -> Idris ()
8080ihPrintTermWithType h tm ty = do ist <- getIState
81− let output = tm <+> colon <+> ty
81+ let output = tm <+> colon <+> align ty
8282 case idris_outputmode ist of
8383 RawOutput -> consoleDisplayAnnotated h output
8484 IdeSlave n -> ideSlaveReturnAnnotated n h output