Module pr47::syntax::ty [−][src]
Expand description
Concrete syntax tree of types
Type syntax:
type ::= primitive-type
| generic-type
| deduced-type
| user-type
primitive-type ::= 'any' | 'char' | 'float' | 'int' | 'object' | 'string' | 'void'
generic-type ::= 'vector' '<' generic-type-parameter '>'
generic-type-parameter-list ::= generic-type-parameter-list ',' type
| type
deduced-type ::= 'auto'
user-type ::= identifier