diff options
| author | Alasdair Armstrong | 2018-03-20 17:57:20 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-03-22 18:58:59 +0000 |
| commit | e33c8546e005fba30ff882b188c86ca03d0917c8 (patch) | |
| tree | cf72fc3066962718d26a76baedd2d11a7be16946 /test/c/gvectorlit.expect | |
| parent | 0860deb52e55b11e39e3470290e07f861f877483 (diff) | |
Fix C compilation for CHERI and MIPS
First, the specialisation of option types has been fixed by allowing
the specialisation of constructor return types - this essentially
means that a constructor, such as Some : 'a -> option('a) can get
specialised to int -> option(int), rather than int -> option('a). This
means that these constructors are treated like GADTs internally. Since
this only happens just before the C translation, I haven't put much
effort into making this very robust so far.
Second, there was a bug in C compilation for the typing of return
expressions in non-unit contexts, which has been fixed.
Finally support for vector literals that are non-bitvectors has been
added.
Diffstat (limited to 'test/c/gvectorlit.expect')
| -rw-r--r-- | test/c/gvectorlit.expect | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/c/gvectorlit.expect b/test/c/gvectorlit.expect new file mode 100644 index 00000000..d3a1e9ab --- /dev/null +++ b/test/c/gvectorlit.expect @@ -0,0 +1,2 @@ +x[0] = 0xAB +x[1] = 0xCD |