mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 01:41:09 +03:00
Update CHANGES to document layout rule
This commit is contained in:
parent
b6470cc89d
commit
2611733c46
11
CHANGES.md
11
CHANGES.md
@ -1,3 +1,14 @@
|
||||
# Next Release
|
||||
|
||||
## Language changes
|
||||
* Updates to the layout rule. We simplified the specification and made
|
||||
some minor changes, in particular:
|
||||
- Paren blocks nested in a layout block need to respect the indentation
|
||||
if the layout block
|
||||
- We allow nested layout blocks to have the same indentation, which is
|
||||
conveninet when writing `private` declarations as they don't need to
|
||||
be indented as long as they are at the end of the file.
|
||||
|
||||
# 2.11.0
|
||||
|
||||
## Language changes
|
||||
|
Loading…
Reference in New Issue
Block a user