From f10a3973ec9e4f26fa78eb479fbeacc6caa0dcbf Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 13 Feb 2018 19:18:34 +0000
Subject: Support for large bitvector literals in C backend

---
 language/bytecode.ott | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'language/bytecode.ott')

diff --git a/language/bytecode.ott b/language/bytecode.ott
index 19c4d9cc..161be4b3 100644
--- a/language/bytecode.ott
+++ b/language/bytecode.ott
@@ -137,6 +137,8 @@ cdef :: 'CDEF_' ::=
     } {
       instr0 ; ... ; instri
     } :: :: let
+% The first list of instructions creates up the global letbinding, the
+% second kills it.
   | function id mid ( id0 , ... , idn ) {
       instr0 ; ... ; instrm
     } :: :: fundef
\ No newline at end of file
-- 
cgit v1.2.3