summaryrefslogtreecommitdiff
path: root/utils.ml
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-12 02:58:54 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-12 02:58:54 +0100
commitb36746147373df9ead999e19c4874a94670746f4 (patch)
tree9b71c710fe4124337bc1c164800cf6cd7ec22ca3 /utils.ml
parent797daf453ae53466dfa56380e9b2f225d268f9d5 (diff)
downloadpetitcaml-b36746147373df9ead999e19c4874a94670746f4.tar.gz
petitcaml-b36746147373df9ead999e19c4874a94670746f4.tar.bz2
[petitcaml] Update operators
Diffstat (limited to 'utils.ml')
-rw-r--r--utils.ml28
1 files changed, 14 insertions, 14 deletions
diff --git a/utils.ml b/utils.ml
index deea42d..ccdbd63 100644
--- a/utils.ml
+++ b/utils.ml
@@ -13,22 +13,22 @@ let format_const = function
| Cemptylist -> "Cemptylist []"
let format_unop = function
- | Not -> "Not"
- | Neg -> "Neg"
+ | ONot -> "ONot"
+ | ONeg -> "ONeg"
let format_binop = function
- | Add -> "Add"
- | Sub -> "Sub"
- | Mul -> "Mul"
- | Div -> "Div"
- | And -> "And"
- | Or -> "Or"
- | Eq -> "Eq"
- | Neq -> "Neq"
- | Lt -> "Lt"
- | Le -> "Le"
- | Gt -> "Gt"
- | Ge -> "Ge"
+ | OAdd -> "OAdd"
+ | OSub -> "OSub"
+ | OMul -> "OMul"
+ | ODiv -> "ODiv"
+ | OAnd -> "OAnd"
+ | OOr -> "OOr"
+ | OEq -> "OEq"
+ | ONeq -> "ONeq"
+ | OLt -> "OLt"
+ | OLe -> "OLe"
+ | OGt -> "OGt"
+ | OGe -> "OGe"
let rec format_motif m =
match m.m with