language-ats 1.7.1.0 → 1.7.1.1
raw patch · 4 files changed
+8/−3 lines, 4 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- CHANGELOG.md +4/−0
- language-ats.cabal +1/−1
- src/Language/ATS/PrettyPrint.hs +2/−1
- test/data/dlist.out +1/−1
CHANGELOG.md view
@@ -1,5 +1,9 @@ # language-ats +## 1.7.1.1++ * Bugfix in how `val`s were handled+ ## 1.7.1.0 * Fix a bug in how `val`s were handled in `SATS` files
language-ats.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.18 name: language-ats-version: 1.7.1.0+version: 1.7.1.1 license: BSD3 license-file: LICENSE copyright: Copyright: (c) 2018-2019 Vanessa McHale
src/Language/ATS/PrettyPrint.hs view
@@ -614,7 +614,8 @@ pretty (PrVar p (Just e) (Just t)) = "prvar" <+> pretty p <+> ":" <+> pretty t <+> "=" <+> pretty e pretty PrVar{} = undefined pretty (AndDecl t p e) = "and" <+> pretty p <> valSig t <+> "=" <+> pretty e- pretty (Val a t p e) = "val" <> pretty a <+> pretty p <> valSig t <+> "=" <+> pretty e+ pretty (Val a t p (Just e)) = "val" <> pretty a <+> pretty p <> valSig t <+> "=" <+> pretty e+ pretty (Val a t p Nothing) = "val" <> pretty a <+> pretty p <> valSig t pretty (Var t p Nothing (Just e)) = "var" <+> pretty p <> valSig t <+> "with" <+> pretty e pretty (Var t p (Just e) Nothing) = "var" <+> pretty p <> valSig t <+> "=" <+> pretty e pretty (Var t p Nothing Nothing) = "var" <+> pretty p <> valSig t
test/data/dlist.out view
@@ -6,4 +6,4 @@ fn singleton {a:t@ype} (a) : dlist(a) -val empty{a:t@ype}: dlist(a) = +val empty{a:t@ype}: dlist(a)