From 7adf0f81af82f3d401a9b45f87c1dc92c5062f8e Mon Sep 17 00:00:00 2001 From: Alasdair Armstrong Date: Tue, 14 Aug 2018 18:24:32 +0100 Subject: Improve error messages from C backend, and fix issues with assigning to pointers --- src/bytecode_util.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/bytecode_util.ml') diff --git a/src/bytecode_util.ml b/src/bytecode_util.ml index c612660a..3e674cfd 100644 --- a/src/bytecode_util.ml +++ b/src/bytecode_util.ml @@ -79,7 +79,7 @@ let ifuncall ?loc:(l=Parse_ast.Unknown) clexp id cvals = let iextern ?loc:(l=Parse_ast.Unknown) clexp id cvals = I_aux (I_funcall (clexp, true, id, cvals), (instr_number (), l)) -let icopy ?loc:(l=Parse_ast.Unknown) clexp cval = +let icopy l clexp cval = I_aux (I_copy (clexp, cval), (instr_number (), l)) let iclear ?loc:(l=Parse_ast.Unknown) ctyp id = @@ -267,7 +267,7 @@ let rec ctyp_ids = function | CT_vector (_, ctyp) | CT_list ctyp | CT_ref ctyp -> ctyp_ids ctyp | CT_int | CT_int64 | CT_bits _ | CT_bits64 _ | CT_unit | CT_bool | CT_real | CT_bit | CT_string | CT_poly -> IdSet.empty - + let rec unpoly = function | F_poly f -> unpoly f | F_call (call, fs) -> F_call (call, List.map unpoly fs) -- cgit v1.2.3