@@ -1,6 +1,14 @@
11{-# LANGUAGE PatternGuards #-}
22module Idris.Prover (prover, showProof, showRunElab) where
33
4+-- Hack for GHC 7.10 and earlier compat without CPP or warnings
5+-- This exludes (<$>) as fmap, because wl-pprint uses it for newline
6+import Prelude (Eq(..), Show(..),
7+ Bool(..), Either(..), Maybe(..), String,
8+ (.), ($), (++),
9+ concatMap, id, elem, error, fst, flip, foldl, foldr, init,
10+ length, lines, map, not, null, repeat, reverse, tail, zip)
11+
412import Idris.Core.Elaborate hiding (Tactic(..))
513import Idris.Core.TT
614import Idris.Core.Evaluate