git.iko.soy/Idris-dev
on master help sign in
Reduce default optimisation level
f40d2f9Edwin Brady
src/Idris/Main.hs+1−1
compare with master
unifiedsplit
@@ -79,7 +79,7 @@ idrisMain opts =
79 let pkgdirs = opt getPkgDir opts
79 let pkgdirs = opt getPkgDir opts
80 -- Set default optimisations
80 -- Set default optimisations
81 let optimise = case opt getOptLevel opts of
81 let optimise = case opt getOptLevel opts of
82− [] -> 2
82+ [] -> 1
83 xs -> last xs
83 xs -> last xs
84
84
85 setOptLevel optimise
85 setOptLevel optimise