git.iko.soy/Idris-dev
on master help sign in
Add export list to Idris.Error
commitbdc69456e096306cc3e4327468bd72c95e45247b authorNiklas Larsson <niklas@mm.st> dateTue 3 Oct 2017, 00:43 (9 years ago) parentc57370e
2 files changed+3−2
compare with master
unifiedsplit
src/Idris/Error.hs+2−1 src/Idris/Output.hs+1−1
src/Idris/Error.hs+2−1
@@ -8,7 +8,8 @@ Maintainer : The Idris Community.
88{-# LANGUAGE DeriveDataTypeable #-}
99{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
1010
11−module Idris.Error where
11+module Idris.Error (getErrSpan, idrisCatch, ierror, ifail, iucheck, report,
12+ setAndReport, showErr, tclift, tcliftAt, tctry, warnDisamb) where
1213
1314import Idris.AbsSyntax
1415import Idris.Core.Constraints
src/Idris/Output.hs+1−1
@@ -12,7 +12,7 @@ Maintainer : The Idris Community.
1212module Idris.Output (clearHighlights, idemodePutSExp, iPrintError, iPrintFunTypes,
1313 iPrintResult, iPrintTermWithType, iputGoal, iputStr, iputStrLn,
1414 iRender, iRenderError, iRenderOutput, iRenderResult, iWarn,
15− prettyDocumentedIst, printUndefinedNames, pshow, renderExternal,
15+ prettyDocumentedIst, printUndefinedNames, pshow, renderExternal,
1616 sendHighlighting, sendParserHighlighting, warnTotality,
1717 writeHighlights) where
1818