Skip to content

Instantly share code, notes, and snippets.

@gdotdesign

gdotdesign/gist:5fdf942855d025701c09b52830e68720

Created April 5, 2022 15:22
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save gdotdesign/5fdf942855d025701c09b52830e68720 to your computer and use it in GitHub Desktop.
Save gdotdesign/5fdf942855d025701c09b52830e68720 to your computer and use it in GitHub Desktop.
Download ZIP
Mint 0.16.0
Raw
gistfile1.txt
## Parser
The parser has been spead up some thanks to @asterite #537 and it should parse
twice as fast and should consume half the memory in the general case.
## Type Checker
- Fixed a bug in scoping #529
## Language Server
- Added `FoldingRange` provider.
- Added `CodeAction` provider.
- Added a code action to sort the module entities in order.
## Standard Library
- Added `Math.trunc`
- Added `String.padLeft`
- Added `String.takeRight`
## Time module rewrite
The time module has been completely reworked check the PR: #526 and the [docs](https://github.com/mint-lang/mint/blob/master/documentation/Core/Time.md) for more information
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment