diff options
| author | Kathy Gray | 2016-09-09 14:54:19 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-09-09 14:54:29 +0100 |
| commit | 752ddc119002995e9c38a267dc690f5b8713f4b9 (patch) | |
| tree | 591f3e9c8ee3d364f27af0347063eeac92a168e2 /src/lem_interp/interp_interface.lem | |
| parent | 70b8a25d893e8bec8ec05fe313c8e883fb3e8fbc (diff) | |
minor fixes
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index 5473e1a0..2850332e 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -201,8 +201,8 @@ instance (Ord byte) let (>=) = byteGreaterEq end -let ~{ocaml} addressCompare (Address b1 i1) (Address b2 i2) = compare i1 i2 -let inline {ocaml} addressCompare = defaultCompare +let (*~{ocaml}*) addressCompare (Address b1 i1) (Address b2 i2) = compare i1 i2 +(*let inline {ocaml} addressCompare = defaultCompare*) let ~{ocaml} addressLess b1 b2 = addressCompare b1 b2 = LT let ~{ocaml} addressLessEq b1 b2 = addressCompare b1 b2 <> GT |