ebf9367 · Idris-dev · git.iko.soy

libs/base/base.ipkg+1−1

compare with master

unifiedsplit

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

1package base

2

3−opts = "--nobasepkgs --total --no-elim-deprecation-warnings -i ../prelude"

3+opts = "--nobasepkgs --total --no-elim-deprecation-warnings --partial-eval -i ../prelude"

4modules = System,

5

6 Debug.Error, Debug.Trace,

libs/contrib/contrib.ipkg+1−1

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

1package contrib

2

3−opts = "--nobasepkgs --total -i ../prelude -i ../base"

3+opts = "--nobasepkgs --partial-eval --total -i ../prelude -i ../base"

4modules = CFFI, CFFI.Types, CFFI.Memory,

5

6 Control.Algebra,

libs/effects/effects.ipkg+1−1

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

1package effects

2

3−opts = "--nobasepkgs --typeintype -i ../prelude -i ../base"

3+opts = "--nobasepkgs --partial-eval --typeintype -i ../prelude -i ../base"

4

5modules = Effects

6 , Effect.Default

libs/prelude/prelude.ipkg+1−1

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

1package prelude

2

3−opts = "--nobuiltins --total --no-elim-deprecation-warnings"

3+opts = "--nobuiltins --total --no-elim-deprecation-warnings --partial-eval"

4modules = Builtins, Prelude, IO,

5

6 Prelude.Algebra, Prelude.Basics, Prelude.Bool, Prelude.Cast,

libs/pruviloj/pruviloj.ipkg+1−1

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

1package pruviloj

2

3−opts = "--nobasepkgs -i ../prelude -i ../base"

3+opts = "--nobasepkgs --partial-eval -i ../prelude -i ../base"

4modules = Pruviloj

5 , Pruviloj.Core

6 , Pruviloj.Derive.DecEq

src/Idris/AbsSyntaxTree.hs+1−1

@@ -150,7 +150,7 @@ data Optimisation = PETransform -- ^ partial eval and associated transforms

150 deriving (Show, Eq, Generic)

151

152defaultOptimise :: [Optimisation]

153−defaultOptimise = [PETransform]

153+defaultOptimise = []

154

155-- | Pretty printing options with default verbosity.

156defaultPPOption :: PPOption