git.iko.soy/Idris-dev
on master help sign in
Re-insert the missing newlines in :t for metavars
95406f1David Christiansen
src/Idris/REPL.hs+1−1
compare with master
unifiedsplit
@@ -465,7 +465,7 @@ process h fn (Check (PRef _ n))
465 MN _ _ -> "_"
465 MN _ _ -> "_"
466 UN ('_':'_':_) -> "_"
466 UN ('_':'_':_) -> "_"
467 _ -> showName (Just ist) [] False c n) ++
467 _ -> showName (Just ist) [] False c n) ++
468− " : " ++ showImp (Just ist) imp c t
468+ " : " ++ showImp (Just ist) imp c t ++ "\n"
469 in
469 in
470 current ++ putTy c imp ist (i-1) sc
470 current ++ putTy c imp ist (i-1) sc
471 putTy c imp ist _ sc = putGoal c imp ist sc
471 putTy c imp ist _ sc = putGoal c imp ist sc