@@ -1,11 +1,13 @@
11{-| Code related to Idris's reflection system. This module contains
22quoters and unquoters along with some supporting datatypes.
33-}
4−{-# LANGUAGE PatternGuards #-}
4+{-# LANGUAGE PatternGuards, CPP #-}
55{-# OPTIONS_GHC -fwarn-incomplete-patterns -fwarn-unused-imports #-}
66module Idris.Reflection where
77
8+#if __GLASGOW_HASKELL__ < 710
89import Control.Applicative ((<$>), (<*>), pure)
10+#endif
911import Control.Monad (liftM, liftM2, liftM4)
1012import Control.Monad.State.Strict (lift)
1113import Data.Maybe (catMaybes)
@@ -916,7 +918,7 @@ reflectErr (CantResolveAlts ss) =
916918 raw_apply (Var $ reflErrName "CantResolveAlts")
917919 [rawList (Var $ reflm "TTName") (map reflectName ss)]
918920reflectErr (IncompleteTerm t) = raw_apply (Var $ reflErrName "IncompleteTerm") [reflect t]
919−reflectErr (NoEliminator str t)
921+reflectErr (NoEliminator str t)
920922 = raw_apply (Var $ reflErrName "NoEliminator") [RConstant (Str str),
921923 reflect t]
922924reflectErr (UniverseError fc ue old new tys) =