dead code: renderWidth nowhere used
commitb989e3661f4cd4adf3ecdcf68622214b8409edc3
authorAndreas Reuleaux <arx@a-rx.info>
dateWed 18 Mar 2015, 19:03 (12 years ago)
parentaa33865
src/Idris/AbsSyntax.hs−6
@@ -606,12 +606,6 @@ setWidth :: ConsoleWidth -> Idris ()
606606setWidth w = do ist <- getIState
607607 put ist { idris_consolewidth = w }
608608
609−renderWidth :: Idris Int
610−renderWidth = do iw <- getWidth
611− case iw of
612− InfinitelyWide -> return 100000000
613− ColsWide n -> return (max n 1)
614− AutomaticWidth -> runIO getScreenWidth
615609
616610
617611
test/docs001/expected+1−2
@@ -1,5 +1,5 @@
11Type checking ./docs001.idr
2−*docs001> Type class C
2+[?1049h[1;29r[m(B[4l[?7h[H[2J[29;1H[r[?1049l
>Type class C
33 class
44
55Parameters:
@@ -15,4 +15,3 @@ Instances:
1515 C (D a b)
1616 another instance of class
1717 a -- parameter type
18−*docs001> Bye bye