aboutsummaryrefslogtreecommitdiff
path: root/language/types.rst
blob: 0a38239d5d4a203f6fb927476e6861d075b61c9d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
Types
-----

.. crowbar:element:: Type <- ConstType / PointerType / ArrayType / FunctionType / BasicType

.. crowbar:element:: ConstType <- 'const' BasicType

.. crowbar:element:: PointerType <- BasicType '*'

.. crowbar:element:: ArrayType <- BasicType '[' Expression ']'

.. crowbar:element:: FunctionType <- BasicType 'function' '(' FunctionTypeArgs? ')'
                     FunctionTypeArgs <- BasicType (',' BasicType)* ','?

.. crowbar:element:: BasicType <- 'void' / 'bool' / 'float32' / 'float64' / 'int8' / 'int16' / 'int32' / 'int64' / 'intaddr' / 'intmax' / 'intsize' / 'uint8' / 'uint16' / 'uint32' / 'uint64' / 'uintaddr' / 'uintmax' / 'uintsize' / 'struct' identifier / 'enum' identifier / 'union' identifier / '(' Type ')'

.. todo:: define like any of these