diff options
| author | Alasdair Armstrong | 2018-08-29 18:01:50 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-08-29 18:35:50 +0100 |
| commit | a5ad2059821b86ef26a86d78c40cc680c57aa94e (patch) | |
| tree | 468eb6bb76f995fb24872e028b0f7a9c7af8f06a /src/bytecode_util.ml | |
| parent | 07e3591e2427db2d9407d554ac57984ca566c6ed (diff) | |
C: Fix some issues with tuples as arguments to polymorphic constructors
Now all we need to do is make sure the RISC-V builtins are mapped to
the correct C functions, and RISC-V in C should work
(hopefully). We're still missing some of the functions in sail.c for
the mappings so those have to be implemented.
Diffstat (limited to 'src/bytecode_util.ml')
| -rw-r--r-- | src/bytecode_util.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bytecode_util.ml b/src/bytecode_util.ml index 4ddb0c81..7bad6d0b 100644 --- a/src/bytecode_util.ml +++ b/src/bytecode_util.ml @@ -166,7 +166,7 @@ let rec string_of_fragment ?zencode:(zencode=true) = function | F_have_exception -> "have_exception" | F_current_exception -> "(*current_exception)" | F_raw raw -> raw - | F_poly f -> "POLY(" ^ string_of_fragment ~zencode:zencode f ^ ")" + | F_poly f -> string_of_fragment ~zencode:zencode f and string_of_fragment' ?zencode:(zencode=true) f = match f with | F_op _ | F_unary _ -> "(" ^ string_of_fragment ~zencode:zencode f ^ ")" |