language-ats 0.1.1.17 → 0.1.1.18

raw patch · 3 files changed

+2/−5 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• language-ats.cabal +1/−1
• src/Language/ATS/Parser.y +1/−0
• src/Language/ATS/PrettyPrint.hs +0/−4

@@ -1,5 +1,5 @@ name:                language-ats-version:             0.1.1.17+version:             0.1.1.18 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

@@ -574,6 +574,7 @@ OptExpression : { Nothing }               | eq Expression { Just $2 } -- FIXME only let this happen for external declarations               | let {% Left $ Expected $1 "=" "let" } -- TODO is this actually a good idea?+              | ifcase {% Left $ Expected $1 "=" "ifcase" }  -- | Parse a constructor for a 'dataprop' DataPropLeaf : vbar Universals Expression { DataPropLeaf $2 $3 Nothing }

@@ -521,10 +521,6 @@ valSig :: (Pretty a) => Maybe a -> Doc valSig = prettySigG mempty mempty --- prettyUniversalsNil :: [Universal] -> Doc--- prettyUniversalsNil [] = mempty--- prettyUniversalsNil us = prettyArgsU mempty softline (fmap pretty us)- instance Pretty Declaration where     pretty (AbsType _ s as t)              = "abstype" <+> text s <> prettyArgsNil as <> prettyMaybeType t     pretty (AbsViewType _ s as Nothing)    = "absvtype" <+> text s <> prettyArgsNil as