language-ats 1.2.0.8 → 1.2.0.9

raw patch · 4 files changed

+6/−3 lines, 4 files

Files

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

@@ -1,6 +1,6 @@ cabal-version: 1.18 name: language-ats-version: 1.2.0.8+version: 1.2.0.9 license: BSD3 license-file: LICENSE copyright: Copyright: (c) 2018 Vanessa McHale@@ -43,8 +43,8 @@     build-depends:         base >=4.10 && <5,         array -any,-        recursion-schemes >= 5.0.1,-        lens,+        recursion-schemes >=5.0.1,+        lens -any,         deepseq -any,         ansi-wl-pprint >=0.6.8,         composition-prelude -any,

@@ -332,6 +332,7 @@         | identifier Pattern { PSum (to_string $1) $2 }         | identifierSpace Pattern { PSum (to_string $1) $2 }         | openParen PatternIn vbar PatternIn closeParen { Proof $1 $2 $4 }+        | boxTuple PatternIn closeParen { BoxTuplePattern $1 $2 }         | parens(PatternIn) { TuplePattern $1 }         | Literal { PLiteral $1 }         | Pattern when Expression { Guarded $2 $3 $1 }

@@ -209,6 +209,7 @@         a (GuardedF _ e p)             = p <+> "when" <+> pretty e         a (ProofF _ p p')              = parens (patternHelper p <+> "|" <+> patternHelper p')         a (TuplePatternF ps)           = parens (patternHelper ps)+        a (BoxTuplePatternF _ ps)      = "'(" <> patternHelper ps <> ")"         a (AtPatternF _ p)             = "@" <> p         a (UniversalPatternF _ n us p) = text n <> prettyArgsU "" "" us <> p         a (ExistentialPatternF e p)    = pretty e <> p

@@ -198,6 +198,7 @@              | Free (Pattern a)              | Proof a [Pattern a] [Pattern a]              | TuplePattern [Pattern a]+             | BoxTuplePattern a [Pattern a]              | AtPattern a (Pattern a)              | UniversalPattern a String [Universal a] (Pattern a)              | ExistentialPattern (Existential a) (Pattern a)