diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-11-07 17:17:12 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-11-07 17:17:12 +0100 |
| commit | e9f5a39791b7a074d49d88044be973c986507dba (patch) | |
| tree | 148f1c0c8cda69ad39260f2a1bfa84840852dd90 /CHANGELOG.md | |
| parent | d052fdc20bf4de1e5bf160ad94723f6e46654c4b (diff) | |
update CHANGELOG
Diffstat (limited to 'CHANGELOG.md')
| -rw-r--r-- | CHANGELOG.md | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index dca715c1..764c5d8d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md | |||
| @@ -1,4 +1,44 @@ | |||
| 1 | 1 | ||
| 2 | # v0.6 | ||
| 3 | |||
| 4 | - new features | ||
| 5 | - support mutual constant and function definitions | ||
| 6 | - support pattern type annotations | ||
| 7 | - support guards + where | ||
| 8 | - support view patterns | ||
| 9 | - support pattern guards | ||
| 10 | - support as-patterns | ||
| 11 | - implement constraint kinds | ||
| 12 | - implement pattern match reachability and exhaustiveness warnings | ||
| 13 | - allow pattern match on tuple types | ||
| 14 | - support parsing only | ||
| 15 | - support printing desugared source code | ||
| 16 | - improvements | ||
| 17 | - improve pretty printing | ||
| 18 | - better presentation of types in editor tooltips | ||
| 19 | - better error messages (e.g. for mismatching operator fixities) | ||
| 20 | - speedup the builtin interpreter in the compiler | ||
| 21 | - bugfixes | ||
| 22 | - fix local function handling | ||
| 23 | - fix parens around operators | ||
| 24 | - fix parsing of operator definitions | ||
| 25 | - fix parsing of sections | ||
| 26 | - fix parsing of literals | ||
| 27 | - fix switching to type namespace after @ | ||
| 28 | - fix a bug in escape code parsing | ||
| 29 | - documentation | ||
| 30 | - reorganise and cleanup the compiler sources | ||
| 31 | - begin to write developer's guide | ||
| 32 | - documentation on pattern match compilation | ||
| 33 | - dependencies | ||
| 34 | - use megaparsec 5.0 | ||
| 35 | - switch to ansi-wl-pprint | ||
| 36 | - allow newer base, optparse-applicative and QuickCheck libraries | ||
| 37 | - other | ||
| 38 | - move the TODOs to Trello: https://trello.com/b/TcuVPBAR/lambdacube3d | ||
| 39 | - work on prototypes (reducer, lammachine, inspector) | ||
| 40 | |||
| 41 | |||
| 2 | # v0.5 | 42 | # v0.5 |
| 3 | 43 | ||
| 4 | - compiler | 44 | - compiler |