From 9570bf932e3ba0269cbed06a49fc8000b45b32a3 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 8 Mar 2018 18:14:44 +0000
Subject: Specialise constructors for polymorphic unions

Also work on making C backend compile RISC-V
---
 language/bytecode.ott | 1 +
 1 file changed, 1 insertion(+)

(limited to 'language')

diff --git a/language/bytecode.ott b/language/bytecode.ott
index 30c9195f..bd60072a 100644
--- a/language/bytecode.ott
+++ b/language/bytecode.ott
@@ -93,6 +93,7 @@ ctyp :: 'CT_' ::=
   | vector ( bool , ctyp )         :: :: vector
   | list ( ctyp )                  :: :: list
 % A vector type for non-bit vectors, and a list type.
+  | ref ( ctyp )                   :: :: ref
 
 cval :: 'CV_' ::=
   {{ ocaml fragment * ctyp }}
-- 
cgit v1.2.3