git.iko.soy/Idris-dev
on master help sign in
Add export list to Idris.Output and Idris.ModeCommon
c57370eNiklas Larsson
src/Idris/ModeCommon.hs+1−1
compare with master
unifiedsplit
@@ -9,7 +9,7 @@ Maintainer : The Idris Community.
9{-# OPTIONS_GHC -fwarn-unused-binds #-}
9{-# OPTIONS_GHC -fwarn-unused-binds #-}
10{-# OPTIONS_GHC -fwarn-unused-imports #-}
10{-# OPTIONS_GHC -fwarn-unused-imports #-}
11
11
12−module Idris.ModeCommon where
12+module Idris.ModeCommon (banner, defaultPort, loadInputs, warranty) where
13
13
14import Idris.AbsSyntax
14import Idris.AbsSyntax
15import Idris.Chaser
15import Idris.Chaser
src/Idris/Output.hs+6−1
@@ -9,7 +9,12 @@ Maintainer : The Idris Community.
9{-# LANGUAGE FlexibleInstances #-}
9{-# LANGUAGE FlexibleInstances #-}
10{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
10{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
11
11
12−module Idris.Output where
12+module Idris.Output (clearHighlights, idemodePutSExp, iPrintError, iPrintFunTypes,
13+ iPrintResult, iPrintTermWithType, iputGoal, iputStr, iputStrLn,
14+ iRender, iRenderError, iRenderOutput, iRenderResult, iWarn,
15+ prettyDocumentedIst, printUndefinedNames, pshow, renderExternal,
16+ sendHighlighting, sendParserHighlighting, warnTotality,
17+ writeHighlights) where
13
18
14import Idris.AbsSyntax
19import Idris.AbsSyntax
15import Idris.Colours (hEndColourise, hStartColourise)
20import Idris.Colours (hEndColourise, hStartColourise)