Reduce default optimisation level
This just has the effect of turning off partial eval by default, for
now. We need to revisit how this works for things like interfaces and
implementations. Fixes #3168
commitf40d2f9aa3969cdf10afee4129ef9834839fe6f8
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 4 Mar 2017, 23:03 (10 years ago)
parent420b465
src/Idris/Main.hs+1−1
@@ -79,7 +79,7 @@ idrisMain opts =
7979 let pkgdirs = opt getPkgDir opts
8080 -- Set default optimisations
8181 let optimise = case opt getOptLevel opts of
82− [] -> 2
82+ [] -> 1
8383 xs -> last xs
8484
8585 setOptLevel optimise