diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/bytecode.ott | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/language/bytecode.ott b/language/bytecode.ott index 161be4b3..e909fc09 100644 --- a/language/bytecode.ott +++ b/language/bytecode.ott @@ -84,7 +84,8 @@ ctyp :: 'CT_' ::= % this point, as C doesn't have variants or tuples natively, but these % need to be encoded. | vector ( bool , ctyp ) :: :: vector -% A vector type for non-bit vectors + | list ( ctyp ) :: :: list +% A vector type for non-bit vectors, and a list type. cval :: 'CV_' ::= {{ ocaml fragment * ctyp }} @@ -141,4 +142,4 @@ cdef :: 'CDEF_' ::= % second kills it. | function id mid ( id0 , ... , idn ) { instr0 ; ... ; instrm - } :: :: fundef
\ No newline at end of file + } :: :: fundef |