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

src/Idris/ASTUtils.hs+4−1

compare with master

unifiedsplit

@@ -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

2

5

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

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

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

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

src/Idris/DataOpts.hs+1−1

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

1{-# LANGUAGE PatternGuards #-}

2

3−module Idris.DataOpts where

3+module Idris.DataOpts(applyOpts) where

4

5-- Forcing, detagging and collapsing

6

src/Idris/Directives.hs+1−1

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

1

2−module Idris.Directives where

2+module Idris.Directives(directiveAction) where

3

4import Idris.AbsSyntax

5import Idris.ASTUtils

src/Idris/ErrReverse.hs+1−1

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

1{-# LANGUAGE PatternGuards #-}

2

3−module Idris.ErrReverse where

3+module Idris.ErrReverse(errReverse) where

4

5import Idris.AbsSyntax

6import 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

2

3

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

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

4import Data.List (isSuffixOf)

5import Data.List (isSuffixOf)

src/Idris/Inliner.hs+1−1

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

1{-# LANGUAGE PatternGuards #-}

2

3−module Idris.Inliner where

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

4

5import Idris.Core.TT

6import Idris.AbsSyntax

src/Idris/REPL.hs+3−5

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

1{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveFunctor,

2 PatternGuards, CPP #-}

3

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

5

7

6import Idris.AbsSyntax

8import Idris.AbsSyntax

7import Idris.ASTUtils

9import Idris.ASTUtils

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

68

70

69import Text.Trifecta.Result(Result(..))

71import Text.Trifecta.Result(Result(..))

70

72

71−-- import RTS.SC

72−-- import RTS.Bytecode

73−-- import RTS.PreC

74−-- import RTS.CodegenC

75import System.Console.Haskeline as H

73import System.Console.Haskeline as H

76import System.FilePath

74import System.FilePath

77import System.Exit

75import System.Exit