Turn off optimisations when compiling parser
Disabling optimisations in Parser and ParserExpr allows to compile
these modules in a matter of seconds. It also doesn't seem to
affect compilation times of Idris programs.
commit6625b246893f00ee550c9b71b57a473bbadf93d1
authorJan Stolarek <jan.stolarek@p.lodz.pl>
dateMon 25 Nov 2013, 14:19 (13 years ago)
parentc459480
src/Idris/ParseExpr.hs+1
@@ -1,4 +1,5 @@
11{-# LANGUAGE GeneralizedNewtypeDeriving, ConstraintKinds, PatternGuards #-}
2+{-# OPTIONS_GHC -O0 #-}
23module Idris.ParseExpr where
34
45import Prelude hiding (pi)
src/Idris/Parser.hs+1
@@ -1,4 +1,5 @@
11{-# LANGUAGE GeneralizedNewtypeDeriving, ConstraintKinds, PatternGuards #-}
2+{-# OPTIONS_GHC -O0 #-}
23module Idris.Parser(module Idris.Parser,
34 module Idris.ParseExpr,
45 module Idris.ParseData,