Start working on a solution for correctly monomorphising polymorphic variant types

1 files changed, 2 insertions, 0 deletions

diff --git a/language/bytecode.ott b/language/bytecode.ott
index 16492716..6488dd0c 100644
--- a/language/bytecode.ott
+++ b/language/bytecode.ott
@@ -60,6 +60,7 @@ fragment :: 'F_' ::=
   | string ( fragment0 , ... , fragmentn ) :: :: call
   | fragment . string                      :: :: field
   | string                                 :: :: raw
+  | poly fragment                          :: :: poly
 
 % init / clear -> create / kill
 
@@ -96,6 +97,7 @@ ctyp :: 'CT_' ::=
   | list ( ctyp )                  :: :: list
 % A vector type for non-bit vectors, and a list type.
   | ref ( ctyp )                   :: :: ref
+  | poly                           :: :: poly
 
 cval :: 'CV_' ::=
   {{ ocaml fragment * ctyp }}