language-ats 0.1.1.19 → 0.1.1.20

raw patch · 4 files changed

+5/−9 lines, 4 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 +2/−6
• src/Language/ATS/PrettyPrint.hs +1/−1
• test/data/fastcount.out +1/−1

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

@@ -481,13 +481,9 @@                | Expression { Right $1 }  -- | Parse the details of an implementation-Implementation : Universals FunName MaybeImplicit Universals openParen FullArgs closeParen eq Expression { Implement $5 $1 $3 $4 $2 $6 (Right $9) }-               | Universals FunName MaybeImplicit Universals doubleParens eq Expression { Implement $5 $1 $3 $4 $2 [] (Right $7) }-               | Universals FunName MaybeImplicit Universals eq Expression { Implement $5 $1 $3 $4 $2 [NoArgs] (Right $6) }+Implementation : Universals FunName MaybeImplicit Universals FunArgs eq Expression { Implement $6 $1 $3 $4 $2 $5 (Right $7) } -StaticImplementation : Universals FunName MaybeImplicit Universals openParen FullArgs closeParen eq StaticExpression { Implement $5 $1 $3 $4 $2 $6 (Left $9) }-                     | Universals FunName MaybeImplicit Universals doubleParens eq StaticExpression { Implement $5 $1 $3 $4 $2 [] (Left $7) }-                     | Universals FunName MaybeImplicit Universals eq StaticExpression { Implement $5 $1 $3 $4 $2 [NoArgs] (Left $6) }+StaticImplementation : Universals FunName MaybeImplicit Universals FunArgs eq StaticExpression { Implement $6 $1 $3 $4 $2 $5 (Left $7) }  -- | Parse a function name FunName : IdentifierOr { Unqualified $1 }

@@ -293,7 +293,7 @@         a (Vt0pF ad)              = "vt@ype" <> pretty ad         a (AtF _ (Just t) t')     = t <+> "@" <+> t'         a (AtF _ Nothing t)       = "@" <> t-        a (ProofTypeF _ t t')     = parens (prettyArgsU "" "" t <+> "|" <+> t')+        a (ProofTypeF _ t t')     = parens (prettyArgsG "" "" t <+> "|" <+> t')         a (ConcreteTypeF e)       = pretty e         a (TupleF _ ts)           = parens (mconcat (punctuate ", " (fmap pretty (reverse ts))))         a (RefTypeF t)            = "&" <> t

@@ -20,7 +20,7 @@ fun rawmemchr {l:addr}{m:int}( pf : bytes_v(l, m) | p : ptr(l)                              , c : int                              ) : [ l2 : addr | l+m > l2 ] ( bytes_v(l, l2-l)-                                                          ,bytes_v(l2, l+m-l2)+                                                          , bytes_v(l2, l+m-l2)                                                            | ptr(l2)) =   "mac#atslib_rawmemchr"