@@ -20,6 +20,11 @@
21module Idris.Core.TT where
21module Idris.Core.TT where
23+-- Work around AMP without CPP
24+import Prelude (Eq(..), Show(..), Ord(..), Functor(..), Monad(..), String, Int, Integer, Ordering(..),
25+ Maybe(..), Num(..), Bool(..), Enum(..), Read(..), FilePath, Double,
26+ (&&), (||), ($), (.), div, error, fst, snd, not, mod, read, otherwise)
23import Control.Applicative (Applicative (..), Alternative)
28import Control.Applicative (Applicative (..), Alternative)
24import qualified Control.Applicative as A (Alternative (..))
29import qualified Control.Applicative as A (Alternative (..))
25import Control.Monad.State.Strict
30import Control.Monad.State.Strict