language-ats

1.7.10.3

• Fix bug whereby &$GMP.mpz >> _ was parsed incorrectly.

1.7.10.2

• Add Exception instance for parse errors
• Work with cloref arrows

1.7.10.1

• Fix bug where left shift was printed as right shift

1.7.10.0

• Add support for left/right shift operators in expressions
• Add support for array literals
• Fix bug in absvt@ype and abst@ype pretty-printing

1.7.9.0

• Support float literals as something other than double literals

1.7.8.0

• Add support for unsigned hexadecimal literals

1.7.7.2

• Fix error when parsing absvt@ype declarations

1.7.7.1

• Use these-skinny

1.7.7.0

• Improved parse errors
• Add getDependenciesC

1.7.6.2

• Fix bug in handling of char literals

1.7.6.1

• Bugfix in pretty-printer/lexer

1.7.6.0

• Use Natural/Integer for literals

1.7.5.0

• Fix StaticExpression to allow calls with dynamic components

1.7.4.1

• Improve pretty-printer

1.7.4.0

• Add languageATSVersion

1.7.3.1

• Fix bug in parse order for symintr declarations

1.7.3.0

• Update PrVal to include a field for universal quantifiers

1.7.2.0

• Update termetric field type to allow empty termetrics

1.7.1.2

• Add cross flag to cabal file

1.7.1.1

• Bugfix in how vals were handled

1.7.1.0

• Fix a bug in how vals were handled in SATS files

1.7.0.6

• Fix bug by introducing immorality

1.7.0.5

• Faster build times

1.7.0.4

• Allow datatype, datavtype, and dataview to work with and.
• Remove spurious dependency on cpphs
• Prettier errors when parsing records

1.7.0.3

• Bump recursion version bounds

1.7.0.2

Bug fixes:

• Support llam@ keyword

Enhancements:

• Use recursion library to incur fewer dependencies

1.7.0.0

Bug Fixes:

• Now accepts proof-level lambdas.
• Include all test data

Breaking Changes:

• PrVar and PrVal now take a StaticExpression
• PrFun, PrFn, and Praxi now take a StaticExpression
• Add a rewrite phase for StaticExpressions

1.6.0.0

Breaking Changes:

• Remove types for RecordValues and instead rely on typed expressions.
• Remove Wildcard constructor and instead treat _ as a name
• Remove ParenType and instead use tuples

Enhancements:

• Better Error messages
• Add support for boxed records
• Add support for proof expressions introducing witnesses ([ m | () ])

Bug Fixes:

• Fix bug with formatting for type arguments
• Fix formatting for val ... and ... declarations
• Fix parse error on expressions like list_vt_cons(x, _)
• Add support for patterns using binary operators.