diff options
| author | Alasdair Armstrong | 2017-09-07 16:54:20 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-09-07 16:54:20 +0100 |
| commit | 842165c1171fde332bd42e7520338c59a797f76b (patch) | |
| tree | 75b61297b6d9b6e4810542390eb1371afc2f183f /test | |
| parent | 8124c487b576661dfa7a0833415d07d0978bc43e (diff) | |
Add ocaml run-time and updates to sail for ocaml backend
Diffstat (limited to 'test')
| -rw-r--r-- | test/ocaml/types/types.sail | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/ocaml/types/types.sail b/test/ocaml/types/types.sail index be3606d6..8f50e057 100644 --- a/test/ocaml/types/types.sail +++ b/test/ocaml/types/types.sail @@ -21,6 +21,13 @@ typedef TestStruct = const struct { register TestStruct SREG +typedef option = const union forall Type 'a. { + None; + 'a Some +} + +register (option<byte>) OREG + val unit -> unit effect {rreg, wreg} main function main () = { |