Make partial evaluator off by default
It can get very slow with deep type classes and large functions, for
example, so best to turn it on when you need it. The library is still
built with it so there are partially evaluated versions of methods with
prelude types, and associated transforms available.
commitebf9367cfdba104351fc0f82790a18e16cf77e15
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 1 Mar 2017, 14:55 (10 years ago)
parent0ceaa30
libs/base/base.ipkg+1−1
@@ -1,6 +1,6 @@
11package base
22
3−opts = "--nobasepkgs --total --no-elim-deprecation-warnings -i ../prelude"
3+opts = "--nobasepkgs --total --no-elim-deprecation-warnings --partial-eval -i ../prelude"
44modules = System,
55
66 Debug.Error, Debug.Trace,
libs/contrib/contrib.ipkg+1−1
@@ -1,6 +1,6 @@
11package contrib
22
3−opts = "--nobasepkgs --total -i ../prelude -i ../base"
3+opts = "--nobasepkgs --partial-eval --total -i ../prelude -i ../base"
44modules = CFFI, CFFI.Types, CFFI.Memory,
55
66 Control.Algebra,
libs/effects/effects.ipkg+1−1
@@ -1,6 +1,6 @@
11package effects
22
3−opts = "--nobasepkgs --typeintype -i ../prelude -i ../base"
3+opts = "--nobasepkgs --partial-eval --typeintype -i ../prelude -i ../base"
44
55modules = Effects
66 , Effect.Default
libs/prelude/prelude.ipkg+1−1
@@ -1,6 +1,6 @@
11package prelude
22
3−opts = "--nobuiltins --total --no-elim-deprecation-warnings"
3+opts = "--nobuiltins --total --no-elim-deprecation-warnings --partial-eval"
44modules = Builtins, Prelude, IO,
55
66 Prelude.Algebra, Prelude.Basics, Prelude.Bool, Prelude.Cast,
libs/pruviloj/pruviloj.ipkg+1−1
@@ -1,6 +1,6 @@
11package pruviloj
22
3−opts = "--nobasepkgs -i ../prelude -i ../base"
3+opts = "--nobasepkgs --partial-eval -i ../prelude -i ../base"
44modules = Pruviloj
55 , Pruviloj.Core
66 , Pruviloj.Derive.DecEq
src/Idris/AbsSyntaxTree.hs+1−1
@@ -150,7 +150,7 @@ data Optimisation = PETransform -- ^ partial eval and associated transforms
150150 deriving (Show, Eq, Generic)
151151
152152defaultOptimise :: [Optimisation]
153−defaultOptimise = [PETransform]
153+defaultOptimise = []
154154
155155-- | Pretty printing options with default verbosity.
156156defaultPPOption :: PPOption