hssqlppp 0.6.0 → 0.6.1
raw patch · 2 files changed
+16/−53 lines, 2 filesdep ~haskell-src-extsdep ~sybPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: haskell-src-exts, syb
API changes (from Hackage documentation)
Files
hssqlppp.cabal view
@@ -1,5 +1,5 @@ Name: hssqlppp-Version: 0.6.0+Version: 0.6.1 Synopsis: SQL parser and type checker License: BSD3 License-file: LICENSE@@ -36,7 +36,7 @@ mtl >= 2.0.1.0 && < 2.3, parsec >= 3.1.2 && < 3.2, pretty >= 1.0 && < 1.2,- syb >= 0.1.0.2 && < 0.7,+ syb >= 0.1.0.2 && < 0.8, text >= 0.11.1.13 && < 1.3, uniplate >= 1.6 && < 1.7, transformers >= 0.3 && < 0.6,@@ -91,11 +91,11 @@ hs-source-dirs: src,tests Build-Depends: base >= 4 && < 5, containers >= 0.3.0.0 && < 0.6,- haskell-src-exts >= 1.13 && < 1.18,+ haskell-src-exts >= 1.13 && < 1.20, mtl >= 2.1 && < 2.3, parsec >= 3.1 && < 3.2, pretty >= 1.0 && < 1.2,- syb >= 0.1.0.2 && < 0.7,+ syb >= 0.1.0.2 && < 0.8, template-haskell, tasty >= 0.10 && < 0.12, tasty-hunit >= 0.9 && < 0.10,
tests/Database/HsSqlPpp/Utils/GroomUtils.lhs view
@@ -17,9 +17,9 @@ > --groomAAnns = undefined > groomNoAnns :: Show a => a -> String-> groomNoAnns = groomF $ const $ Con $ UnQual $ Ident "A"+> groomNoAnns = groomF $ const $ Con noSrcSpan $ UnQual noSrcSpan $ Ident noSrcSpan "A" -> groomF :: Show a => (Exp -> Exp) -> a -> String+> groomF :: Show a => (Exp SrcSpanInfo -> Exp SrcSpanInfo) -> a -> String > groomF f s = > case parseExp (show s) of > ParseOk ast -> prettyPrint (g ast)@@ -27,59 +27,22 @@ > where > g = transformBi $ \x -> > case x of-> RecConstr (UnQual (Ident "Annotation")) _ ->+> RecConstr _ (UnQual _ (Ident _ "Annotation")) _ -> > f x > x' -> x' > groomTypes :: Show a => a -> String > groomTypes = groomF $ \x -> case x of-> RecConstr (UnQual (Ident "Annotation"))-> [FieldUpdate _ _,-> FieldUpdate (UnQual (Ident "anType")) t,-> FieldUpdate (UnQual (Ident "anErrs")) (List errs),-> FieldUpdate _ _,-> FieldUpdate _ _] -> case (t,errs) of-> (Con (UnQual (Ident "Nothing")),[]) ->-> Con (UnQual (Ident "A"))+> RecConstr _ (UnQual _ (Ident _ "Annotation"))+> [FieldUpdate _ _ _,+> FieldUpdate _ (UnQual _ (Ident _ "anType")) t,+> FieldUpdate _ (UnQual _ (Ident _ "anErrs")) (List _ errs),+> FieldUpdate _ _ _,+> FieldUpdate _ _ _] -> case (t,errs) of+> (Con _ (UnQual _ (Ident _ "Nothing")),[]) ->+> Con noSrcSpan (UnQual noSrcSpan (Ident noSrcSpan "A")) > (y,[]) -> y-> (_,z) -> List z+> (_,z) -> List noSrcSpan z > x' -> x' ---- (RecConstr (UnQual (Ident "Annotation"))- [FieldUpdate (UnQual (Ident "asrc"))- (Con (UnQual (Ident "Nothing"))),- FieldUpdate (UnQual (Ident "atype"))- (Con (UnQual (Ident "Nothing"))),- FieldUpdate (UnQual (Ident "errs")) (List []),- FieldUpdate (UnQual (Ident "implicitCast"))- (Con (UnQual (Ident "Nothing"))),- FieldUpdate (UnQual (Ident "catUpd")) (List [])])---> {--> groomF tte d-> where-> tte :: Exp -> Exp-> tte (Paren-> (App-> (App-> (App-> (App-> (App-> (App (Con (UnQual (Ident "Annotation")))-> _) t) te) _) _) _))-> = case (t,te) of-> (Con (UnQual (Ident "Nothing")) ,List []) ->-> Con (UnQual (Ident "A"))-> (y,List []) -> y-> (_,x) -> x-> {-trace ("\n*************\n"-> ++ groom t-> ++ "\n*************\n"-> ++ groom te-> ++ "\n*************\n") $ Tuple [t,te]-}-> tte x = x-}