From b42d5ab44307da291aac1882f8a2bb7bcbdfa900 Mon Sep 17 00:00:00 2001 From: Alasdair Armstrong Date: Mon, 19 Mar 2018 17:39:42 +0000 Subject: Fixes to C backend for RISCV-compilation Can now compile RISCV. Requires some library tweaks before it'll pass any tests, Also adds hyperlinks to wip latex output --- language/bytecode.ott | 1 + 1 file changed, 1 insertion(+) (limited to 'language/bytecode.ott') diff --git a/language/bytecode.ott b/language/bytecode.ott index bd60072a..5977aae2 100644 --- a/language/bytecode.ott +++ b/language/bytecode.ott @@ -51,6 +51,7 @@ grammar % expressions, used by the aval and cval types. fragment :: 'F_' ::= | id :: :: id + | '&' id :: :: ref | value :: :: lit | have_exception :: :: have_exception | current_exception :: :: current_exception -- cgit v1.2.3