diff options
| author | Gabriel Kerneis | 2014-04-02 16:59:18 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-04-02 16:59:18 +0100 |
| commit | 249d3513317ddb73e60ebeb8576d3d8bed79807b (patch) | |
| tree | dd2789045e4ed42ff5c519fa0eca5e4fa6f61a51 /src | |
| parent | 52d90321c39712a1a028682d085d1e7d647b538d (diff) | |
eq and neq return bit, not bool
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 2a1095b6..dd7a1cf0 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -10,11 +10,11 @@ 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_true else L_false) Unknown) ;; +let eq (V_tuple [x; y]) = V_lit (L_aux (if 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_true -> L_false - | L_false -> L_true end) la) ;; + | L_one -> L_zero + | L_zero -> L_one end) la) ;; let neq = compose neg eq ;; |