Re-insert the missing newlines in :t for metavars
commit95406f157cf3214674650aa3d73221e9335c2ddc
authorDavid Christiansen <david@davidchristiansen.dk>
dateTue 19 Nov 2013, 09:28 (13 years ago)
parent6fb995d
src/Idris/REPL.hs+1−1
@@ -465,7 +465,7 @@ process h fn (Check (PRef _ n))
465465 MN _ _ -> "_"
466466 UN ('_':'_':_) -> "_"
467467 _ -> showName (Just ist) [] False c n) ++
468− " : " ++ showImp (Just ist) imp c t
468+ " : " ++ showImp (Just ist) imp c t ++ "\n"
469469 in
470470 current ++ putTy c imp ist (i-1) sc
471471 putTy c imp ist _ sc = putGoal c imp ist sc