packages feed

language-ats 1.0.2.0 → 1.0.2.1

raw patch · 2 files changed

+3/−2 lines, 2 filesdep ~recursion-schemesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: recursion-schemes

API changes (from Hackage documentation)

+ Language.ATS: DataSortLeaf :: [Universal a] -> (Sort a) -> (Maybe (Sort a)) -> DataSortLeaf a
+ Language.ATS: data DataSortLeaf a
- Language.ATS: constructorUniversals :: forall a_aR1y. Lens' (Leaf a_aR1y) [Universal a_aR1y]
+ Language.ATS: constructorUniversals :: forall a_aR1B. Lens' (Leaf a_aR1B) [Universal a_aR1B]
- Language.ATS: expression :: forall a_aR1b. Lens' (PreFunction a_aR1b) (Maybe (Expression a_aR1b))
+ Language.ATS: expression :: forall a_aR1e. Lens' (PreFunction a_aR1e) (Maybe (Expression a_aR1e))
- Language.ATS: fun :: forall a_aR1w. Traversal' (Declaration a_aR1w) (Function a_aR1w)
+ Language.ATS: fun :: forall a_aR1z. Traversal' (Declaration a_aR1z) (Function a_aR1z)
- Language.ATS: leaves :: forall a_aR1w. Traversal' (Declaration a_aR1w) [Leaf a_aR1w]
+ Language.ATS: leaves :: forall a_aR1z. Traversal' (Declaration a_aR1z) [Leaf a_aR1z]
- Language.ATS: preF :: forall a_aR1d a_a178r. Lens (Function a_aR1d) (Function a_a178r) (PreFunction a_aR1d) (PreFunction a_a178r)
+ Language.ATS: preF :: forall a_aR1g a_a178u. Lens (Function a_aR1g) (Function a_a178u) (PreFunction a_aR1g) (PreFunction a_a178u)
- Language.ATS: typeCall :: forall a_aR1t. Traversal' (Type a_aR1t) (Name a_aR1t)
+ Language.ATS: typeCall :: forall a_aR1w. Traversal' (Type a_aR1w) (Name a_aR1w)
- Language.ATS: typeCallArgs :: forall a_aR1t. Traversal' (Type a_aR1t) [Type a_aR1t]
+ Language.ATS: typeCallArgs :: forall a_aR1w. Traversal' (Type a_aR1w) [Type a_aR1w]

Files

language-ats.cabal view
@@ -1,5 +1,5 @@ name:                language-ats-version:             1.0.2.0+version:             1.0.2.1 synopsis:            Parser and pretty-printer for ATS. description:         Parser and pretty-printer for [ATS](http://www.ats-lang.org/), written with Happy and Alex. license:             BSD3@@ -33,7 +33,7 @@                      , lens                      , deepseq                      , ansi-wl-pprint >= 0.6.8-                     , recursion-schemes+                     , recursion-schemes >= 5.0.1                      , composition-prelude                      , ansi-terminal                      , containers
src/Language/ATS.hs view
@@ -25,6 +25,7 @@                     , BinOp (..)                     , DataPropLeaf (..)                     , Leaf (..)+                    , DataSortLeaf (..)                     , Arg (..)                     , Addendum (..)                     , LambdaType (..)