5ef1dbd · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix export lists for CmdOptions and Termination

commit5ef1dbd71f7a94d2bb7c2462e565fb4b61e8a945 authorNiklas Larsson <niklas@mm.st> dateMon 2 Oct 2017, 22:44 (9 years ago) parent9bcb637

2 files changed+5−6

unifiedsplit

src/Idris/CmdOptions.hs+2−5

@@ -9,11 +9,8 @@ Maintainer : The Idris Community.

99{-# LANGUAGE Arrows #-}

1010

1111module Idris.CmdOptions

12− (

13− module Idris.CmdOptions

14− , opt

15− , getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc

16− , getPkgREPL, getPkgTest, getPort, getIBCSubDir

12+ ( opt, getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc,

13+ getPkgREPL, getPkgTest, getPort, getIBCSubDir, pureArgParser, runArgParser

1714 ) where

1815

1916import Idris.Info (getIdrisVersion)

src/Idris/Termination.hs+3−1

@@ -6,7 +6,9 @@ License : BSD3

66Maintainer : The Idris Community.

77-}

88{-# LANGUAGE PatternGuards #-}

9−module Idris.Termination where

9+module Idris.Termination (buildSCG, checkAllCovering, checkDeclTotality,

10+ checkIfGuarded, checkPositive, checkSizeChange,

11+ verifyTotality) where

1012

1113import Idris.AbsSyntax

1214import Idris.Core.CaseTree