typecheck-plugin-nat-simple 0.1.0.5 → 0.1.0.6
raw patch · 2 files changed
+9/−9 lines, 2 filesdep ~ghc
Dependency ranges changed: ghc
Files
src/Plugin/TypeCheck/Nat/Simple/Decode.hs view
@@ -8,7 +8,7 @@ import GHC.Tc.Types.Constraint (Ct) import GHC.Builtin.Types.Literals (- typeNatAddTyCon, typeNatSubTyCon) -- , typeNatLeqTyCon )+ typeNatAddTyCon, typeNatSubTyCon, typeNatCmpTyCon) -- , typeNatLeqTyCon ) import GHC.Builtin.Types (promotedFalseDataCon, promotedTrueDataCon) import GHC.Core.TyCo.Rep (Type(..), TyLit(..)) import GHC.Types.Var (Var)@@ -58,9 +58,9 @@ -- exBool (TyConApp tc [l, r]) -- | tc == typeNatLeqTyCon = (:<=) <$> exNum l <*> exNum r exBool (oc, cmp) (TyConApp tc [_,- TyConApp cmpNatTc [_, l, r],+ TyConApp cmpNatTc [l, r], TyConApp t1 [], TyConApp t2 [], TyConApp f1 []])- | tc == oc, cmpNatTc == cmp+ | tc == oc, cmpNatTc == typeNatCmpTyCon , t1 == promotedTrueDataCon, t2 == promotedTrueDataCon , f1 == promotedFalseDataCon = (:<=) <$> exNum l <*> exNum r exBool _ t = throw . fromSDoc $ text "exBool: not boolean:" <+> ppr t
typecheck-plugin-nat-simple.cabal view
@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: e2e0789fc40e15f06d431a711fa5db62d9d427d20e869202ae7f8e3cac3e5fb9+-- hash: 9d3e7b7255f2ce97474e8b3dbff13024a62015ddc7be0b9dd257e53422ce1268 name: typecheck-plugin-nat-simple-version: 0.1.0.5+version: 0.1.0.6 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 >=9.0.2+ , ghc >=9.2.2 , ghc-tcplugins-extra default-language: Haskell2010 @@ -72,7 +72,7 @@ build-depends: base >=4.7 && <5 , containers- , ghc >=9.0.2+ , ghc >=9.2.2 , ghc-tcplugins-extra , typecheck-plugin-nat-simple default-language: Haskell2010@@ -88,7 +88,7 @@ build-depends: base >=4.7 && <5 , containers- , ghc >=9.0.2+ , ghc >=9.2.2 , ghc-tcplugins-extra , typecheck-plugin-nat-simple default-language: Haskell2010@@ -104,7 +104,7 @@ build-depends: base >=4.7 && <5 , containers- , ghc >=9.0.2+ , ghc >=9.2.2 , ghc-tcplugins-extra , typecheck-plugin-nat-simple default-language: Haskell2010