diff options
| author | Alasdair Armstrong | 2018-02-14 16:38:23 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-15 16:49:06 +0000 |
| commit | c191c71c11189b1dbb3b98b64a27adc9c38734aa (patch) | |
| tree | 265f94b3e503188f11a1d963ece2cdba31a1745e /language/bytecode.ott | |
| parent | 4fd52d03967cc4e5609378dd59d9307991f2271d (diff) | |
List support in C backend
Diffstat (limited to 'language/bytecode.ott')
| -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 |