Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
grammar:ListLiteral [2018/11/01 00:47] 127.0.0.1 external edit |
grammar:ListLiteral [2019/09/13 09:55] (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. | ||