summaryrefslogtreecommitdiff
path: root/CHANGELOG.md
blob: c2a01a3fa17cd80ee5bd87f8c667b2dee92e6fa7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
# language-ats

# 1.7.10.11

  * 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 `val`s were handled

## 1.7.1.0

  * Fix a bug in how `val`s 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 `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.