git.iko.soy/Idris-dev
on master help sign in
dead code: renderWidth nowhere used
b989e36Andreas Reuleaux
src/Idris/AbsSyntax.hs−6
compare with master
unifiedsplit
@@ -606,12 +606,6 @@ setWidth :: ConsoleWidth -> Idris ()
606setWidth w = do ist <- getIState
606setWidth w = do ist <- getIState
607 put ist { idris_consolewidth = w }
607 put ist { idris_consolewidth = w }
608
608
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
615
609
616
610
617
611
test/docs001/expected+1−2
@@ -1,5 +1,5 @@
1Type checking ./docs001.idr
1Type checking ./docs001.idr
2−*docs001> Type class C
2+[?1049h(B[?7h[?1049l >Type class C
3 class
3 class
4
4
5Parameters:
5Parameters:
@@ -15,4 +15,3 @@ Instances:
15 C (D a b)
15 C (D a b)
16 another instance of class
16 another instance of class
17 a -- parameter type
17 a -- parameter type
18−*docs001> Bye bye