git.iko.soy/Idris-dev
on master help sign in
Add export list to Idris.Error
bdc6945Niklas Larsson
src/Idris/Error.hs+2−1
compare with master
unifiedsplit
@@ -8,7 +8,8 @@ Maintainer : The Idris Community.
8{-# LANGUAGE DeriveDataTypeable #-}
8{-# LANGUAGE DeriveDataTypeable #-}
9{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
9{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
10
10
11−module Idris.Error where
11+module Idris.Error (getErrSpan, idrisCatch, ierror, ifail, iucheck, report,
12+ setAndReport, showErr, tclift, tcliftAt, tctry, warnDisamb) where
12
13
13import Idris.AbsSyntax
14import Idris.AbsSyntax
14import Idris.Core.Constraints
15import Idris.Core.Constraints
src/Idris/Output.hs+1−1
@@ -12,7 +12,7 @@ Maintainer : The Idris Community.
12module Idris.Output (clearHighlights, idemodePutSExp, iPrintError, iPrintFunTypes,
12module Idris.Output (clearHighlights, idemodePutSExp, iPrintError, iPrintFunTypes,
13 iPrintResult, iPrintTermWithType, iputGoal, iputStr, iputStrLn,
13 iPrintResult, iPrintTermWithType, iputGoal, iputStr, iputStrLn,
14 iRender, iRenderError, iRenderOutput, iRenderResult, iWarn,
14 iRender, iRenderError, iRenderOutput, iRenderResult, iWarn,
15− prettyDocumentedIst, printUndefinedNames, pshow, renderExternal,
15+ prettyDocumentedIst, printUndefinedNames, pshow, renderExternal,
16 sendHighlighting, sendParserHighlighting, warnTotality,
16 sendHighlighting, sendParserHighlighting, warnTotality,
17 writeHighlights) where
17 writeHighlights) where
18
18