diff options
| author | Gabriel Kerneis | 2014-04-03 16:19:49 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-04-03 17:28:45 +0100 |
| commit | 0ed16c20895eb8bb174f08d599b730a68bdf2a7b (patch) | |
| tree | fb52a581d1c0211e5a469a8b1530ec02c5e663a0 /src/lem_interp/interp_lib.lem | |
| parent | adfd02f23f1c2e72cea51a14c50387d319a7a7fe (diff) | |
Typeclass Eq for values
Again, this is necessary to compare big_int
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 45ced731..f2c7ef0f 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -12,7 +12,7 @@ let compose f g x = f (V_tuple [g x]) ;; let is_one (V_lit (L_aux b lb)) = V_lit (L_aux (if b = L_one then L_true else L_false) lb) ;; -let eq (V_tuple [x; y]) = V_lit (L_aux (if x = y then L_one else L_zero) Unknown) ;; +let eq (V_tuple [x; y]) = V_lit (L_aux (if value_eq x y then L_one else L_zero) Unknown) ;; let neg (V_tuple [V_lit (L_aux arg la)]) = V_lit (L_aux (match arg with | L_one -> L_zero |