git.iko.soy/Idris-dev
on master help sign in
Fix export lists for CmdOptions and Termination
5ef1dbdNiklas Larsson
src/Idris/CmdOptions.hs+2−5
compare with master
unifiedsplit
@@ -9,11 +9,8 @@ Maintainer : The Idris Community.
9{-# LANGUAGE Arrows #-}
9{-# LANGUAGE Arrows #-}
10
10
11module Idris.CmdOptions
11module Idris.CmdOptions
12− (
13− module Idris.CmdOptions
14− , opt
15− , getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc
12+ ( opt, getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc,
16− , getPkgREPL, getPkgTest, getPort, getIBCSubDir
13+ getPkgREPL, getPkgTest, getPort, getIBCSubDir, pureArgParser, runArgParser
17 ) where
14 ) where
18
15
19import Idris.Info (getIdrisVersion)
16import Idris.Info (getIdrisVersion)
src/Idris/Termination.hs+3−1
@@ -6,7 +6,9 @@ License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
8{-# LANGUAGE PatternGuards #-}
8{-# LANGUAGE PatternGuards #-}
9−module Idris.Termination where
9+module Idris.Termination (buildSCG, checkAllCovering, checkDeclTotality,
10+ checkIfGuarded, checkPositive, checkSizeChange,
11+ verifyTotality) where
10
12
11import Idris.AbsSyntax
13import Idris.AbsSyntax
12import Idris.Core.CaseTree
14import Idris.Core.CaseTree