d8de21f · 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