File: eq_struct.sail

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (30 lines) | stat: -rw-r--r-- 602 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
default Order dec

$include <flow.sail>
$include <exception_basic.sail>
$include <generic_equality.sail>

overload ~ = {not_bool}

struct S = {
  field1: int,
  field2: bitvector(8, dec)
}

$[sv_module { stdout = true }]
val "print" : string -> unit

val main : unit -> unit effect {escape}

function main() = {
  let s : S = struct {
    field1 = 4,
    field2 = 0xFF
  };
  assert(s == s, "1");
  assert(~(s == { s with field2 = 0xAB }), "2");
  assert(s != { s with field1 = 5}, "3");
  assert(s == { s with field2 = 0xFF });
  assert({ s with field1 = 0} == {s with field1 = 0});
  print("ok\n")
}