purescript-ast 0.1.0.0 → 0.1.1.0

raw patch · 4 files changed

+29/−20 lines, 4 filesdep ~aesondep ~basedep ~base-compatnew-uploader

Dependency ranges changed: aeson, base, base-compat, bytestring, containers, deepseq, filepath, microlens, mtl, protolude, scientific, serialise, text, vector

Files

• README.md +2/−1
• purescript-ast.cabal +20/−19
• src/Language/PureScript/PSString.hs +1/−0
• src/Language/PureScript/Types.hs +6/−0

@@ -8,4 +8,5 @@  | `purescript` | `purescript-ast` | | --- | --- |-| `0.13.6` | `0.1.0.0` |+| `0.14.0` | `0.1.0.0` |+| `0.14.1` | `0.1.1.0` |

@@ -1,7 +1,7 @@-cabal-version:      1.12+cabal-version:      2.4 name:               purescript-ast-version:            0.1.0.0-license:            BSD3+version:            0.1.1.0+license:            BSD-3-Clause license-file:       LICENSE copyright:     (c) 2013-17 Phil Freeman, (c) 2014-19 Gary Burgess, (c) other contributors (see CONTRIBUTORS.md)@@ -11,7 +11,7 @@  author:             Phil Freeman <paf31@cantab.net> stability:          experimental-homepage:           http://www.purescript.org/+homepage:           https://www.purescript.org/ bug-reports:        https://github.com/purescript/purescript/issues synopsis:           PureScript Programming Language Abstract Syntax Tree description:@@ -51,6 +51,7 @@      hs-source-dirs:     src     other-modules:      Paths_purescript_ast+    autogen-modules:    Paths_purescript_ast     default-language:   Haskell2010     default-extensions:         BangPatterns ConstraintKinds DataKinds DefaultSignatures@@ -62,19 +63,19 @@         OverloadedStrings ScopedTypeVariables TupleSections TypeFamilies         ViewPatterns -    ghc-options:        -Wall -O2+    ghc-options:        -Wall     build-depends:-        aeson >=1.0 && <1.5,-        base >=4.11 && <4.13,-        base-compat >=0.6.0 && <0.11,-        bytestring <0.11,-        containers <0.7,-        deepseq <1.5,-        filepath <1.5,-        microlens >=0.4.10 && <0.5,-        mtl >=2.1.0 && <2.3.0,-        protolude >=0.1.6 && <0.2.4,-        scientific >=0.3.4.9 && <0.4,-        serialise <0.3,-        text <1.3,-        vector <0.13+        aeson >=1.5.6.0 && <1.6,+        base >=4.14.1.0 && <4.15,+        base-compat >=0.11.2 && <0.12,+        bytestring >=0.10.12.0 && <0.11,+        containers >=0.6.2.1 && <0.7,+        deepseq >=1.4.4.0 && <1.5,+        filepath >=1.4.2.1 && <1.5,+        microlens >=0.4.11.2 && <0.5,+        mtl >=2.2.2 && <2.3,+        protolude >=0.3.0 && <0.4,+        scientific >=0.3.6.2 && <0.4,+        serialise >=0.2.3.0 && <0.3,+        text >=1.2.4.1 && <1.3,+        vector >=0.12.1.2 && <0.13

@@ -182,6 +182,7 @@       , Char.ConnectorPunctuation       , Char.DashPunctuation       , Char.OpenPunctuation+      , Char.ClosePunctuation       , Char.InitialQuote       , Char.FinalQuote       , Char.OtherPunctuation

@@ -549,6 +549,12 @@   go (TUnknown _ u) = IS.singleton u   go _ = mempty +containsUnknowns :: Type a -> Bool+containsUnknowns = everythingOnTypes (||) go where+  go :: Type a -> Bool+  go TUnknown{} = True+  go _ = False+ eraseKindApps :: Type a -> Type a eraseKindApps = everywhereOnTypes $ \case   KindApp _ ty _ -> ty