From 5dc3ee5029f6e828b7e77a176a67894e8fa00696 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Thu, 14 Jun 2018 04:49:47 +0100
Subject: Refactor C backend, and split RTS into multiple files

---
 language/bytecode.ott | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'language')

diff --git a/language/bytecode.ott b/language/bytecode.ott
index 704bda83..bcd7b5b0 100644
--- a/language/bytecode.ott
+++ b/language/bytecode.ott
@@ -65,11 +65,11 @@ fragment :: 'F_' ::=
 
 ctyp :: 'CT_' ::=
   {{ com C type }}
-  | mpz_t                   :: :: mpz
+  | mpz_t                   :: :: int
 % Arbitrary precision GMP integer, mpz_t in C. }}
-  | bv_t ( bool )           :: :: bv
+  | bv_t ( bool )           :: :: bits
 % Variable length bitvector - flag represents direction, true - dec or false - inc }}
-  | 'uint64_t' ( nat , bool ) :: :: uint64
+  | 'uint64_t' ( nat , bool ) :: :: bits64
 % Fixed length bitvector that fits within a 64-bit word. - int
 % represents length, and flag is the same as CT_bv. }}
   | 'int64_t'               :: :: int64
-- 
cgit v1.2.3