typecheck-plugin-nat-simple 0.1.0.2 → 0.1.0.3

raw patch · 7 files changed

+28/−27 lines, 7 filesdep ~ghc

Dependency ranges changed: ghc

Files

• src/Data/Derivation/Expression/Internal.hs +1/−1
• src/Data/Log.hs +2/−2
• src/Plugin/TypeCheck/Nat/Simple.hs +1/−1
• src/Plugin/TypeCheck/Nat/Simple/Decode.hs +7/−6
• src/Plugin/TypeCheck/Nat/Simple/TypeCheckWith.hs +6/−6
• src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs +4/−4
• typecheck-plugin-nat-simple.cabal +7/−7

@@ -10,7 +10,7 @@  import Prelude hiding ((<>), log) -import Outputable (Outputable(..), SDoc, (<>), (<+>), text)+import GHC.Utils.Outputable (Outputable(..), SDoc, (<>), (<+>), text) import Control.Arrow (first, second) import Control.Monad.Try (Try, throw, tell, partial) import Data.Map.Strict (Map, (!?), empty, singleton, insert)

@@ -14,10 +14,10 @@  import Prelude hiding (unwords, log) -import Outputable (Outputable, SDoc, empty, ppr, text, ($$))+import GHC.Utils.Outputable (Outputable, SDoc, empty, ppr, text, ($$)) import Data.String (IsString(..)) -import qualified Outputable as O ((<>))+import qualified GHC.Utils.Outputable as O ((<>))  --------------------------------------------------------------------------- 

@@ -8,7 +8,7 @@  import Prelude hiding (log) -import GhcPlugins (Plugin, Var, ppr)+import GHC.Plugins (Plugin, Var, ppr) import Control.Monad.Try (tell) import Data.Log (Log, (.+.), fromSDoc, SDocStr) import Data.Derivation.CanDerive (canDerive, givens, wanted)

@@ -6,12 +6,13 @@ 	-- * DECODE CT 	decodeAll, decode ) where -import Constraint (Ct)-import TcTypeNats (typeNatAddTyCon, typeNatSubTyCon, typeNatLeqTyCon)-import TysWiredIn (promotedFalseDataCon, promotedTrueDataCon)-import TyCoRep (Type(..), TyLit(..))-import Var (Var)-import Outputable (ppr, text, (<+>))+import GHC.Tc.Types.Constraint (Ct)+import GHC.Builtin.Types.Literals (+	typeNatAddTyCon, typeNatSubTyCon, typeNatLeqTyCon )+import GHC.Builtin.Types (promotedFalseDataCon, promotedTrueDataCon)+import GHC.Core.TyCo.Rep (Type(..), TyLit(..))+import GHC.Types.Var (Var)+import GHC.Utils.Outputable (ppr, text, (<+>)) import Control.Applicative ((<|>)) import Control.Monad ((<=<)) import Control.Monad.Try (Try, throw, rights, Set)

@@ -5,14 +5,14 @@ 	-- * TYPE CHECK WITH 	typeCheckWith ) where -import GhcPlugins (+import GHC.Plugins ( 	Plugin(..), defaultPlugin, Expr(..), mkUnivCo, Role(..), 	Outputable, ppr, text )-import TcPluginM (TcPluginM, tcPluginTrace)-import TcRnTypes (TcPlugin(..), TcPluginResult(..))-import Constraint (Ct)-import TcEvidence (EvTerm(..))-import TyCoRep (UnivCoProvenance(..))+import GHC.Tc.Plugin (TcPluginM, tcPluginTrace)+import GHC.Tc.Types (TcPlugin(..), TcPluginResult(..))+import GHC.Tc.Types.Constraint (Ct)+import GHC.Tc.Types.Evidence (EvTerm(..))+import GHC.Core.TyCo.Rep (UnivCoProvenance(..)) import Control.Monad.Try (Try, gatherSuccess, throw, Set) import Data.Bool (bool) import Data.Log (IsSDoc, fromSDoc)

@@ -3,10 +3,10 @@  module Plugin.TypeCheck.Nat.Simple.UnNomEq (unNomEq) where -import Constraint (Ct, ctEvidence, ctEvPred)-import Type (Type)-import Predicate(Pred(..), EqRel(..), classifyPredType)-import Outputable (ppr, text, (<+>))+import GHC.Tc.Types.Constraint (Ct, ctEvidence, ctEvPred)+import GHC.Core.Type (Type)+import GHC.Core.Predicate(Pred(..), EqRel(..), classifyPredType)+import GHC.Utils.Outputable (ppr, text, (<+>)) import Control.Monad.Try (Try, throw) import Data.Log (IsSDoc, fromSDoc) 

@@ -1,13 +1,13 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.33.0.+-- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack ----- hash: b4a2c9232ca43b64c02fc5bd936fda1c23ff88e928a128aeda1ed33a6ff0c5c1+-- hash: 5a2137892d8321f793a6b1b9818beacaeee56ca5abbd9e3fbd30d394a7105d21  name:           typecheck-plugin-nat-simple-version:        0.1.0.2+version:        0.1.0.3 synopsis:       Simple type check plugin which calculate addition, subtraction and less-or-equal-than description:    Please see the README on GitHub at <https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple#readme> category:       Compiler Plugin@@ -57,7 +57,7 @@   build-depends:       base >=4.7 && <5     , containers-    , ghc+    , ghc >=9.0.2   default-language: Haskell2010  test-suite typecheck-plugin-nat-simple-test-log@@ -71,7 +71,7 @@   build-depends:       base >=4.7 && <5     , containers-    , ghc+    , ghc >=9.0.2     , typecheck-plugin-nat-simple   default-language: Haskell2010 @@ -86,7 +86,7 @@   build-depends:       base >=4.7 && <5     , containers-    , ghc+    , ghc >=9.0.2     , typecheck-plugin-nat-simple   default-language: Haskell2010 @@ -101,6 +101,6 @@   build-depends:       base >=4.7 && <5     , containers-    , ghc+    , ghc >=9.0.2     , typecheck-plugin-nat-simple   default-language: Haskell2010