@@ -20,6 +20,11 @@
2020
2121module Idris.Core.TT where
2222
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)
27+
2328import Control.Applicative (Applicative (..), Alternative)
2429import qualified Control.Applicative as A (Alternative (..))
2530import Control.Monad.State.Strict