linearmap-category 0.5.0.0 → 0.5.0.1

raw patch · 2 files changed

+25/−4 lines, 2 filesdep ~template-haskell

Dependency ranges changed: template-haskell

Files

• Math/LinearMap/Category/Instances/Deriving.hs +23/−2
• linearmap-category.cabal +2/−2

@@ -1450,7 +1450,11 @@  (tvbs, cxt, (a,c)) <- do    (tvbs', cxt', a') <- deQuantifyType cxtv    let extractImplementationType (AppT tc (VarT tvb)) atvbs+#if MIN_VERSION_template_haskell(2,17,0)+              = extractImplementationType tc $ atvbs++[PlainTV tvb SpecifiedSpec]+#else               = extractImplementationType tc $ atvbs++[PlainTV tvb]+#endif        extractImplementationType (ConT aName) atvbs = do          D.reifyDatatype aName >>= \case           D.DatatypeInfo{ D.datatypeVariant = D.Newtype@@ -1459,14 +1463,25 @@                            D.ConstructorInfo                               { D.constructorFields = [c''] } ]                         }+#if MIN_VERSION_template_haskell(2,17,0)+             -> let replaceTVs :: [TyVarBndr ()] -> [TyVarBndr Specificity] -> Type -> Type+                    replaceTVs (PlainTV infoTV _:infoTVs)+                               (PlainTV instTV _:instTVs)+                        = replaceTVs infoTVs instTVs . replaceTV infoTV instTV+                    replaceTVs (KindedTV infoTV flag _:infoTVs) instTVs+                        = replaceTVs (PlainTV infoTV flag:infoTVs) instTVs+                    replaceTVs infoTVs (KindedTV instTV flag _:instTVs)+                        = replaceTVs infoTVs (PlainTV instTV flag:instTVs)+#else              -> let replaceTVs :: [TyVarBndr] -> [TyVarBndr] -> Type -> Type-                    replaceTVs [] [] = id                     replaceTVs (PlainTV infoTV:infoTVs) (PlainTV instTV:instTVs)                         = replaceTVs infoTVs instTVs . replaceTV infoTV instTV                     replaceTVs (KindedTV infoTV _:infoTVs) instTVs                         = replaceTVs (PlainTV infoTV:infoTVs) instTVs                     replaceTVs infoTVs (KindedTV instTV _:instTVs)                         = replaceTVs infoTVs (PlainTV instTV:instTVs)+#endif+                    replaceTVs [] [] = id                     replaceTVs infoTVs instTVs                         = error $ "infoTVs = "++show infoTVs++", instTVs = "++show instTVs                     replaceTV :: Name -> Name -> Type -> Type@@ -1592,7 +1607,13 @@                  tySyns <- sequence [ #if MIN_VERSION_template_haskell(2,15,0)-           NewtypeInstD [] (Just tvbs)+           NewtypeInstD [] (Just (+#if MIN_VERSION_template_haskell(2,17,0)+                                  map (fmap $ const ()) tvbs+#else+                                  tvbs+#endif+                                      ))               <$> (AppT (ConT ''SubBasis) <$> a)               <*> pure Nothing               <*> (NormalC subBasisCstr . pure .

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                linearmap-category-version:             0.5.0.0+version:             0.5.0.1 synopsis:            Native, complete, matrix-free linear algebra. description:         The term /numerical linear algebra/ is often used almost                      synonymous with /matrix modifications/. However, what's interesting@@ -63,7 +63,7 @@                        data-default-class,                        ieee754 >= 0.7 && < 0.9,                        call-stack,-                       template-haskell >=2.12 && <2.18,+                       template-haskell >=2.12 && <2.20,                        th-abstraction >=0.4 && <0.5,                        QuickCheck >=2.11 && <2.15   -- hs-source-dirs: