From 08e204f609b6d894f645bccd95c8af9583bf239c Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 20 Feb 2018 20:20:23 +0000
Subject: Have aarch64/no_vector compiling to C

Just need to implement builtins, fix-up a few re-write passes, and
integrate some kind of elf-loading and it should work.
---
 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 e909fc09..e0d7db24 100644
--- a/language/bytecode.ott
+++ b/language/bytecode.ott
@@ -140,6 +140,8 @@ cdef :: 'CDEF_' ::=
     } :: :: let
 % The first list of instructions creates up the global letbinding, the
 % second kills it.
+  | val id ( ctyp0 , ... , ctypn ) -> ctyp
+      :: :: spec
   | function id mid ( id0 , ... , idn ) {
       instr0 ; ... ; instrm
     } :: :: fundef
-- 
cgit v1.2.3