typecheck-plugin-nat-simple 0.1.0.0 → 0.1.0.1

raw patch · 4 files changed

+8/−6 lines, 4 files

Files

• src/Plugin/TypeCheck/Nat/Simple/Decode.hs +1/−1
• src/Plugin/TypeCheck/Nat/Simple/TypeCheckWith.hs +2/−1
• src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs +3/−2
• typecheck-plugin-nat-simple.cabal +2/−2

@@ -6,7 +6,7 @@ 	-- * DECODE CT 	decodeAll, decode ) where -import TcRnTypes (Ct)+import Constraint (Ct) import TcTypeNats (typeNatAddTyCon, typeNatSubTyCon, typeNatLeqTyCon) import TysWiredIn (promotedFalseDataCon, promotedTrueDataCon) import TyCoRep (Type(..), TyLit(..))

@@ -9,7 +9,8 @@ 	Plugin(..), defaultPlugin, Expr(..), mkUnivCo, Role(..), 	Outputable, ppr, text ) import TcPluginM (TcPluginM, tcPluginTrace)-import TcRnTypes (TcPlugin(..), Ct, TcPluginResult(..))+import TcRnTypes (TcPlugin(..), TcPluginResult(..))+import Constraint (Ct) import TcEvidence (EvTerm(..)) import TyCoRep (UnivCoProvenance(..)) import Control.Monad.Try (Try, gatherSuccess, throw, Set)

@@ -3,8 +3,9 @@  module Plugin.TypeCheck.Nat.Simple.UnNomEq (unNomEq) where -import TcRnTypes (Ct, ctEvidence, ctEvPred)-import Type (Type, PredTree(..), EqRel(..), classifyPredType)+import Constraint (Ct, ctEvidence, ctEvPred)+import Type (Type)+import Predicate(Pred(..), EqRel(..), classifyPredType) import Outputable (ppr, text, (<+>)) import Control.Monad.Try (Try, throw) import Data.Log (IsSDoc, fromSDoc)

@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 37e93024d7892b53d4f73b5eaf1a2fd50b85d7b7ccf19998c52119e2bfdee1b8+-- hash: 47d50fd8bbf70a48e28fb7db828acf874d42733c496f3201d43f2d9868c578f6  name:           typecheck-plugin-nat-simple-version:        0.1.0.0+version:        0.1.0.1 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