List missing features related to absform

[yutopp]

Remove WIP label when all features are implemented.

[amutake]

This list quotes from The Abstract Format in Erlang Run-Time System Application (ERTS) User's Guide Version 10.2 (2019/02/21).

Module Declarations and Forms

• module declaration
• -export attribute
• -import attribute
• -module attribute
• -file attribute
• function declaration
• function specification (Support Callback Attribute #92)
• function specification with module
• record declaration
• type declaration
• wild attribute

Record Fields

• field name A
• field name with default value A = E
• field name with type A :: T
• field name with default value and type A = E :: T

Representation of Parse Errors and End-of-File

(snip)

Atomic Literals

• atom literal
• character literal
• float literal (Support Float literal #82)
• integer literal
• string literal

Patterns

• atomic literal
• bitstring pattern (Support bitstring expression / pattern / guard test #75)
• compound pattern (Support compound pattern #90)
• cons pattern
• map pattern
• nil pattern
• binary operator pattern (Support binary/unary operator pattern #88)
• unary operator pattern (Support binary/unary operator pattern #88)
• parenthesized pattern
• record field index pattern (Record patterns #77)
• record pattern (Record patterns #77)
• tuple pattern
• universal pattern
• variable pattern

Expressions

• atomic literal
• bitstring comprehension (Support bitstring comprehension & bitstring generator #87)
• bitstring constructor (Support bitstring expression / pattern / guard test #75)
• block expression (Support block expression #81)
• case expression
• catch expression (Support catch expr #73)
• local fun expression
• remote fun expression
• anonymous function expression
• named function expression
• local function call
• remote function call
• if expression (Support if expression #72)
• list comprehension
• map creation
• map update
• match operator expression
• nil
• binary operator expression
• unary operator expression (Support unary operator expression #83)
• parenthesized expression
• receive expression (Support receive expression #85)
• receive expression with after (Support receive expression #85)
• record creation (Support Record Expression #74)
• record field access (Support Record Expression #74)
• record field index (Support Record Expression #74)
• record update (Support Record Expression #74)
• tuple skeleton
• try-catch expression (Support try expr #71)
• try-of-catch expression (Support try expr #71)
• try-after expression (Support try expr #71)
• try-of-after expression (Support try expr #71)
• try-catch-after expression (Support try expr #71)
• try-of-catch-after expression (Support try expr #71)
• variable

Qualifiers

• filter
• generator
• bitstring generator (Support bitstring comprehension & bitstring generator #87)

Bitstring Element Type Specifiers

• type specifier (Support bitstring expression / pattern / guard test #75)
• type specifier with value (Support bitstring expression / pattern / guard test #75)

Associations

• association K => V
• association K := V

Clauses

• case clause
• case clause with guard sequence
• catch clause (Support try expr #71)
• catch clause with exception class (Support try expr #71)
• catch clause with exception class and stacktrace (Support try expr #71)
• catch clause with guard sequence (Support try expr #71)
• catch clause with exception class and guard sequence (Support try expr #71)
• catch clause with exception class, stacktrace, and guard sequence (Support try expr #71)
• function clause
• function clause with guard sequence
• if clause (Support if expression #72)

Guards

• atomic literal
• bitstring constructor (Support bitstring expression / pattern / guard test #75)
• cons skeleton (Support cons/nil guard test #84)
• local function call
• remote function call (Support remote function call guard test #94)
• map creation
• map update
• nil (Support cons/nil guard test #84)
• binary operator guard test
• unary operator guard test (Support unary operator guard test #91)
• parenthesized guard test
• record creation (Support Record syntax in Guard tests #76)
• record field access (Support Record syntax in Guard tests #76)
• record field index (Support Record syntax in Guard tests #76)
• tuple skeleton
• variable pattern

Types

• annotated type
• atom, character, or integer literal
• bitstring type
• empty list type
• fun type fun()
• fun type fun((...) -> T
• fun type with function type
• integer range type
• any map type
• map type with associations
• binary operator type
• unary operator type
• parenthesized type
• predefined type
• record type (Support Record type #78)
• remote type (Support Remote type #86)
• any tuple type
• tuple type with type of elements
• type union
• type variable
• user-defined type

Function Types

• constrained function type
• function type

Function Constraints

• constraint

Association Types

• association type K => V
• association type K := V

Record Field Type

• record field type (Support Record type #78)

[yutopp]

Thank you very much! Should we fill check boxes for features which have been already implemented?

[amutake]

Yes! I'm checking now!

[yutopp]

Oops, sorry🙏 I'll also do that when I noticed missing features.

[amutake]

All features are implemented!! 🎉 🎉