packages feed

th-tc 0.1.0.0 → 0.1.1.0

raw patch · 2 files changed

+4/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

src/Language/Haskell/TH/Typecheck.hs view
@@ -311,7 +311,7 @@ name_PromotedTuple = mkNameG_d "ghc-prim" "GHC.Tuple"  name_Arrow, name_Equality, name_List, name_Nil, name_Cons, name_Constraint,-  name_Symbol, name_Nat :: Name+  name_Symbol, name_Nat, name_TYPE :: Name name_Arrow = mkNameG_tc "ghc-prim" "GHC.Prim" "->" name_Equality = mkNameG_tc "base" "Data.Type.Equality" "~" name_List = mkNameG_tc "ghc-prim" "GHC.Types" "[]"@@ -320,6 +320,7 @@ name_Constraint = mkNameG_tc "ghc-prim" "GHC.Types" "Constraint" name_Symbol = mkNameG_tc "ghc-prim" "GHC.Types" "Symbol" name_Nat = mkNameG_tc "ghc-prim" "GHC.Types" "Nat"+name_TYPE = mkNameG_tc "ghc-prim" "GHC.Prim" "TYPE"  isConName :: Type -> Maybe ConName isConName (ConT nm) = Just $ Con nm@@ -342,6 +343,7 @@ isConName PromotedConsT = Just $ Promoted name_Cons isConName StarT = Just StarCon isConName ConstraintT = Just $ Con name_Constraint+isConName (AppT (ConT nm) _) | nm == name_TYPE = Just StarCon isConName _ = Nothing  mkArrow :: [Type] -> Type -> Type
th-tc.cabal view
@@ -1,5 +1,5 @@ name:                th-tc-version:             0.1.0.0+version:             0.1.1.0 synopsis:            Typechecking in Template Haskell description:         Typechecking in Template Haskell. homepage:            https://github.com/mniip/th-tc