diff options
| author | Alasdair Armstrong | 2018-02-06 19:56:30 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-06 19:56:30 +0000 |
| commit | 14f2feae793d9fef39268f6caabf2378ad9d0d9f (patch) | |
| tree | 9faa07c1fa7a607ce9f22e81e0c6587dfa601bd6 /lib | |
| parent | c719cba2428ccca3eb8646176cd9da7795deb029 (diff) | |
Compile union types in C backend
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/flow.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/flow.sail b/lib/flow.sail index 52c98753..8c902803 100644 --- a/lib/flow.sail +++ b/lib/flow.sail @@ -25,8 +25,8 @@ 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 +val eq_range = {ocaml: "eq_int", lem: "eq", c: "eq_int"} : forall 'n 'm 'o 'p. (range('n, 'm), range('o, 'p)) -> bool +val eq_int = {ocaml: "eq_int", lem: "eq", c: "eq_int"} : (int, int) -> bool val lteq_int = "lteq" : (int, int) -> bool val gteq_int = "gteq" : (int, int) -> bool |