Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
grammar:ListLiteral [2018/11/01 00:47]
127.0.0.1 external edit
grammar:ListLiteral [2018/11/01 00:50] (current)
Line 5: Line 5:
 The list literal defines a new defined list value. The list literal defines a new defined list value.
 It can construct an empty list or a list with predefined =Terms=. It can construct an empty list or a list with predefined =Terms=.
 +The list element type is inferred from the provided =Terms=.
 +In case of an empty list, the usage of the empty list has to provide a type context to infer the correct inner list element type.