Changelog for language-ats-1.7.5.0
language-ats
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
val
s were handled
1.7.1.0
- Fix a bug in how
val
s were handled inSATS
files
1.7.0.6
- Fix bug by introducing immorality
1.7.0.5
- Faster build times
1.7.0.4
- Allow
datatype
,datavtype
, anddataview
to work withand
. - 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
andPrVal
now take aStaticExpression
PrFun
,PrFn
, andPraxi
now take aStaticExpression
- Add a rewrite phase for
StaticExpression
s
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.