git.iko.soy/Idris-dev
on master help sign in
Add export list to Idris.Output and Idris.ModeCommon
commitc57370e85c74d4bf76113caa04ccd905c8da5d41 authorNiklas Larsson <niklas@mm.st> dateTue 3 Oct 2017, 00:22 (9 years ago) parent3e3a61f
2 files changed+7−2
compare with master
unifiedsplit
src/Idris/ModeCommon.hs+1−1 src/Idris/Output.hs+6−1
src/Idris/ModeCommon.hs+1−1
@@ -9,7 +9,7 @@ Maintainer : The Idris Community.
99{-# OPTIONS_GHC -fwarn-unused-binds #-}
1010{-# OPTIONS_GHC -fwarn-unused-imports #-}
1111
12−module Idris.ModeCommon where
12+module Idris.ModeCommon (banner, defaultPort, loadInputs, warranty) where
1313
1414import Idris.AbsSyntax
1515import Idris.Chaser
src/Idris/Output.hs+6−1
@@ -9,7 +9,12 @@ Maintainer : The Idris Community.
99{-# LANGUAGE FlexibleInstances #-}
1010{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
1111
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
1318
1419import Idris.AbsSyntax
1520import Idris.Colours (hEndColourise, hStartColourise)