typecheck-plugin-nat-simple 0.1.0.11 → 0.1.0.12
raw patch · 2 files changed
+7/−7 lines, 2 filesdep ~ghc
Dependency ranges changed: ghc
Files
src/Plugin/TypeCheck/Nat/Simple/TypeCheckWith.hs view
@@ -49,4 +49,4 @@ bool (throw em) (pure (et l r, w)) =<< ck gs ds w where em = fromSDoc $ text "result: type checker: return False"- et = ((EvExpr . Coercion) .) . mkUnivCo (PluginProv hd) Nominal+ et = ((EvExpr . Coercion) .) . mkUnivCo (PluginProv hd) [] Nominal
typecheck-plugin-nat-simple.cabal view
@@ -1,11 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.37.0.+-- This file has been generated from package.yaml by hpack version 0.38.1. -- -- see: https://github.com/sol/hpack name: typecheck-plugin-nat-simple-version: 0.1.0.11+version: 0.1.0.12 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@@ -55,7 +55,7 @@ build-depends: base >=4.7 && <5 , containers <1- , ghc >=9.2.2 && <10+ , ghc >=9.12 && <10 , ghc-internal <10 , ghc-tcplugins-extra <1 default-language: Haskell2010@@ -71,7 +71,7 @@ build-depends: base >=4.7 && <5 , containers <1- , ghc >=9.2.2 && <10+ , ghc >=9.12 && <10 , ghc-internal <10 , ghc-tcplugins-extra <1 , typecheck-plugin-nat-simple@@ -88,7 +88,7 @@ build-depends: base >=4.7 && <5 , containers <1- , ghc >=9.2.2 && <10+ , ghc >=9.12 && <10 , ghc-internal <10 , ghc-tcplugins-extra <1 , typecheck-plugin-nat-simple@@ -105,7 +105,7 @@ build-depends: base >=4.7 && <5 , containers <1- , ghc >=9.2.2 && <10+ , ghc >=9.12 && <10 , ghc-internal <10 , ghc-tcplugins-extra <1 , typecheck-plugin-nat-simple