336d80b · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Merge pull request #2434 from melted/exports

Add an export list to Idris.REPL

commit336d80b529b6a03ea22401e2a182b7009c88c9c0 authorNiklas Larsson <metaniklas@gmail.com> dateMon 13 Jul 2015, 10:27 (11 years ago) parentc864837 d8de21f

7 files changed+13−11

compare with master

unifiedsplit

src/Idris/ASTUtils.hs+4−1 src/Idris/DataOpts.hs+1−1 src/Idris/Directives.hs+1−1 src/Idris/ErrReverse.hs+1−1 src/Idris/Imports.hs+2−1 src/Idris/Inliner.hs+1−1 src/Idris/REPL.hs+3−5

src/Idris/ASTUtils.hs+4−1

@@ -1,4 +1,7 @@

1−module Idris.ASTUtils where

1+module Idris.ASTUtils(Field(), cg_usedpos, ctxt_lookup, fgetState, fmodifyState,

2+ fputState, idris_fixities, ist_callgraph, ist_optimisation,

3+ known_classes, known_terms, opt_detaggable, opt_inaccessible,

4+ opts_idrisCmdline, repl_definitions) where

36-- This implements just a few basic lens-like concepts to ease state updates.

47-- Similar to fclabels in approach, just without the extra dependency.

src/Idris/DataOpts.hs+1−1

@@ -1,6 +1,6 @@

11{-# LANGUAGE PatternGuards #-}

3−module Idris.DataOpts where

3+module Idris.DataOpts(applyOpts) where

55-- Forcing, detagging and collapsing

src/Idris/Directives.hs+1−1

@@ -1,5 +1,5 @@

2−module Idris.Directives where

2+module Idris.Directives(directiveAction) where

44import Idris.AbsSyntax

55import Idris.ASTUtils

src/Idris/ErrReverse.hs+1−1

@@ -1,6 +1,6 @@

11{-# LANGUAGE PatternGuards #-}

3−module Idris.ErrReverse where

3+module Idris.ErrReverse(errReverse) where

55import Idris.AbsSyntax

66import Idris.Core.TT

src/Idris/Imports.hs+2−1

@@ -1,4 +1,5 @@

1−module Idris.Imports where

1+module Idris.Imports(IFileType(..), findImport, findInPath, findPkgIndex,

2+ ibcPathNoFallback, installedPackages, pkgIndex) where

34import Control.Applicative ((<$>))

45import Data.List (isSuffixOf)

src/Idris/Inliner.hs+1−1

@@ -1,6 +1,6 @@

11{-# LANGUAGE PatternGuards #-}

3−module Idris.Inliner where

3+module Idris.Inliner(inlineDef, inlineTerm) where

55import Idris.Core.TT

66import Idris.AbsSyntax

src/Idris/REPL.hs+3−5

@@ -1,7 +1,9 @@

11{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveFunctor,

22 PatternGuards, CPP #-}

4−module Idris.REPL where

4+module Idris.REPL(getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc,

5+ getPkgREPL, getPkgTest, getPort, idris, idrisMain, loadInputs,

6+ opt, runClient, runMain, ver) where

68import Idris.AbsSyntax

79import Idris.ASTUtils

@@ -68,10 +70,6 @@ import qualified Data.Text as T

6870

6971import Text.Trifecta.Result(Result(..))

7072

71−-- import RTS.SC

72−-- import RTS.Bytecode

73−-- import RTS.PreC

74−-- import RTS.CodegenC

7573import System.Console.Haskeline as H

7674import System.FilePath

7775import System.Exit