New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Document new features in 4.03 #7092
Comments
Comment author: @Octachron Another feature that might be worth documenting is the new naming scheme for GADT-introduced types in error messages, described as
in the changelog. |
Comment author: @Octachron For ulterior references:
The documentation on
is still missing. |
Comment author: @alainfrisch 29c907d: add description of refutation cases |
Comment author: @alainfrisch Or listed items have been documented. There probably remains a lot of missing stuff, so I propose to keep this ticket open as reminder until the release. If someone feels like scanning the Changes file to extract the list of items to remain to be documented, this would be very useful. |
Comment author: @Octachron A possible item to document would be the new #help directive
|
Comment author: runhang need to document this: GPR234: Allow |
Comment author: @damiendoligez e92e57d: #112: octal escape sequences for char and string literals |
Comment author: @damiendoligez |
Comment author: @Octachron Two more items documented: |
Original bug ID: 7092
Reporter: @alainfrisch
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2017-09-24T15:32:18Z)
Resolution: fixed
Priority: normal
Severity: major
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: documentation
Monitored by: @gasche @hcarty
Bug description
This ticket is to check that at least new syntactic forms are documented in 4.03 (from the "Language features" section of the Changes file):
=================================================================
DONE:
Inlined records
"_ t" as a short-hand for "(_, ... _) t".
"(type a b)" as syntactic sugar for "(type a) (type b)".
Short functor syntax "S -> T".
Field punning in object copying expressions "{< x = x; y = y >}".
Type annotations on record fields.
Type annotations before the "->" in "fun -> ".
Hexadecimal notation for fp literals.
Unreachable cases ("pat -> .")
Strange type variable names in error messages (GADTs) #5780: Strange type variable names in error messages (GADTs)
(only made the names more informative)
Add octal escape sequences for char and string literals (#6618) #112: octal escape sequences for char and string literals
Allow
[]
as a user-defined constructor #234: Allow[]
as a user-defined constructorAllow
[]
as a user-defined constructor #234immediate attribute: commit 461b259
listing the available toplevel directives with #help #6113: Add descriptions to directives, and display them via #help: commits 213f51a and 58c6347
The text was updated successfully, but these errors were encountered: