typecheck-plugin-nat-simple 0.1.0.9 → 0.1.0.11
raw patch · 3 files changed
+20/−18 lines, 3 filesdep +ghc-internaldep ~containersdep ~ghcdep ~ghc-tcplugins-extra
Dependencies added: ghc-internal
Dependency ranges changed: containers, ghc, ghc-tcplugins-extra
Files
- src/Plugin/TypeCheck/Nat/Simple/Decode.hs +1/−1
- src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs +1/−1
- typecheck-plugin-nat-simple.cabal +18/−16
src/Plugin/TypeCheck/Nat/Simple/Decode.hs view
@@ -79,7 +79,7 @@ (,) <$> look md2 "OrdCond" <*> look md2 "Compare" ordModule :: ModuleName-ordModule = mkModuleName "Data.Type.Ord"+ordModule = mkModuleName "GHC.Internal.Data.Type.Ord" basePackage :: FastString basePackage = fsLit "base"
src/Plugin/TypeCheck/Nat/Simple/UnNomEq.hs view
@@ -22,7 +22,7 @@ EqPred NomEq l r -> pure (l, r) IrredPred pt -> case pt of TyConApp (nameStableString . tyConName ->- "$base$GHC.TypeError$Assert") [c, _e] ->+ "$ghc-internal$GHC.Internal.TypeError$Assert") [c, _e] -> pure (c, TyConApp promotedTrueDataCon []) _ -> throw . fromSDoc $ text "unNomEq: IrredPred" <+> ppr pt _ -> throw . fromSDoc
typecheck-plugin-nat-simple.cabal view
@@ -1,13 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.35.1.+-- This file has been generated from package.yaml by hpack version 0.37.0. -- -- see: https://github.com/sol/hpack------ hash: a386dfeb25b891bd8c55323858f99e1f63f665d6c90dfc86b8eb6b4f78053dd6 name: typecheck-plugin-nat-simple-version: 0.1.0.9+version: 0.1.0.11 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@@ -56,9 +54,10 @@ src build-depends: base >=4.7 && <5- , containers- , ghc >=9.2.2- , ghc-tcplugins-extra+ , containers <1+ , ghc >=9.2.2 && <10+ , ghc-internal <10+ , ghc-tcplugins-extra <1 default-language: Haskell2010 test-suite typecheck-plugin-nat-simple-test-log@@ -71,9 +70,10 @@ ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: base >=4.7 && <5- , containers- , ghc >=9.2.2- , ghc-tcplugins-extra+ , containers <1+ , ghc >=9.2.2 && <10+ , ghc-internal <10+ , ghc-tcplugins-extra <1 , typecheck-plugin-nat-simple default-language: Haskell2010 @@ -87,9 +87,10 @@ ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: base >=4.7 && <5- , containers- , ghc >=9.2.2- , ghc-tcplugins-extra+ , containers <1+ , ghc >=9.2.2 && <10+ , ghc-internal <10+ , ghc-tcplugins-extra <1 , typecheck-plugin-nat-simple default-language: Haskell2010 @@ -103,8 +104,9 @@ ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: base >=4.7 && <5- , containers- , ghc >=9.2.2- , ghc-tcplugins-extra+ , containers <1+ , ghc >=9.2.2 && <10+ , ghc-internal <10+ , ghc-tcplugins-extra <1 , typecheck-plugin-nat-simple default-language: Haskell2010