git.iko.soy/Idris-dev
on master help sign in
fix GHC 7.10 compilation warning
7dde291Dmitry Bushev
src/Idris/Reflection.hs+4−2
compare with master
unifiedsplit
@@ -1,11 +1,13 @@
1{-| Code related to Idris's reflection system. This module contains
1{-| Code related to Idris's reflection system. This module contains
2quoters and unquoters along with some supporting datatypes.
2quoters and unquoters along with some supporting datatypes.
3-}
3-}
4−{-# LANGUAGE PatternGuards #-}
4+{-# LANGUAGE PatternGuards, CPP #-}
5{-# OPTIONS_GHC -fwarn-incomplete-patterns -fwarn-unused-imports #-}
5{-# OPTIONS_GHC -fwarn-incomplete-patterns -fwarn-unused-imports #-}
6module Idris.Reflection where
6module Idris.Reflection where
7
7
8+#if __GLASGOW_HASKELL__ < 710
8import Control.Applicative ((<$>), (<*>), pure)
9import Control.Applicative ((<$>), (<*>), pure)
10+#endif
9import Control.Monad (liftM, liftM2, liftM4)
11import Control.Monad (liftM, liftM2, liftM4)
10import Control.Monad.State.Strict (lift)
12import Control.Monad.State.Strict (lift)
11import Data.Maybe (catMaybes)
13import Data.Maybe (catMaybes)
@@ -916,7 +918,7 @@ reflectErr (CantResolveAlts ss) =
916 raw_apply (Var $ reflErrName "CantResolveAlts")
918 raw_apply (Var $ reflErrName "CantResolveAlts")
917 [rawList (Var $ reflm "TTName") (map reflectName ss)]
919 [rawList (Var $ reflm "TTName") (map reflectName ss)]
918reflectErr (IncompleteTerm t) = raw_apply (Var $ reflErrName "IncompleteTerm") [reflect t]
920reflectErr (IncompleteTerm t) = raw_apply (Var $ reflErrName "IncompleteTerm") [reflect t]
919−reflectErr (NoEliminator str t)
921+reflectErr (NoEliminator str t)
920 = raw_apply (Var $ reflErrName "NoEliminator") [RConstant (Str str),
922 = raw_apply (Var $ reflErrName "NoEliminator") [RConstant (Str str),
921 reflect t]
923 reflect t]
922reflectErr (UniverseError fc ue old new tys) =
924reflectErr (UniverseError fc ue old new tys) =