diff options
| author | Alasdair Armstrong | 2018-01-31 17:31:57 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-31 17:32:31 +0000 |
| commit | 24e3aa017b25be6eaf68bab1718ffa4bdcb1a44a (patch) | |
| tree | 029d150d277bab07ddac54a845897eab7798a4a3 /lib | |
| parent | 069e15e93ffeb611864f7873a91449dc0c180eba (diff) | |
More updates to C backend - matching and tuples
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/flow.sail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/flow.sail b/lib/flow.sail index 2ca0e1a8..10badc93 100644 --- a/lib/flow.sail +++ b/lib/flow.sail @@ -5,7 +5,7 @@ val not_bool = "not" : bool -> bool val and_bool = "and_bool" : (bool, bool) -> bool val or_bool = "or_bool" : (bool, bool) -> bool -val eq_atom = {ocaml: "eq_int", lem: "eq"} : forall 'n 'm. (atom('n), atom('m)) -> bool +val eq_atom = {ocaml: "eq_int", lem: "eq", c: "eq_int"} : forall 'n 'm. (atom('n), atom('m)) -> bool val neq_atom = {lem: "neq"} : forall 'n 'm. (atom('n), atom('m)) -> bool @@ -25,9 +25,10 @@ val lteq_atom_range = "lteq" : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> boo val gt_atom_range = "gt" : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> bool val gteq_atom_range = "gteq" : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> bool +val eq_range = {ocaml: "eq_int", lem: "eq"} : forall 'n 'm 'o 'p. (range('n, 'm), range('o, 'p)) -> bool val eq_int = {ocaml: "eq_int", lem: "eq"} : (int, int) -> bool -overload operator == = {eq_atom, eq_int} +overload operator == = {eq_atom, eq_range, eq_int} $ifdef TEST |