Merge pull request #666 from jstolarek/fast-parser-compilation
Turn off optimisations when compiling parser
commita1d811f58750e40b0c408252106f89f4583c0d4f
authorEdwin Brady <edwin.brady@gmail.com>
dateMon 25 Nov 2013, 06:38 (13 years ago)
parent0246f666625b24
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,