@@ -78,7 +78,7 @@ ideSlaveReturnAnnotated n h out = do ist <- getIState
79ihPrintTermWithType :: Handle -> Doc OutputAnnotation -> Doc OutputAnnotation -> Idris ()
79ihPrintTermWithType :: Handle -> Doc OutputAnnotation -> Doc OutputAnnotation -> Idris ()
80ihPrintTermWithType h tm ty = do ist <- getIState
80ihPrintTermWithType h tm ty = do ist <- getIState
81− let output = tm <+> colon <+> ty
81+ let output = tm <+> colon <+> align ty
82 case idris_outputmode ist of
82 case idris_outputmode ist of
83 RawOutput -> consoleDisplayAnnotated h output
83 RawOutput -> consoleDisplayAnnotated h output
84 IdeSlave n -> ideSlaveReturnAnnotated n h output
84 IdeSlave n -> ideSlaveReturnAnnotated n h output