aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/semant.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-09-21 11:47:10 -0700
committerGraydon Hoare <[email protected]>2010-09-21 11:47:10 -0700
commit9f0a6c21b2de2247eccbfb1b72137db5c7dd5173 (patch)
treec4929a54a7ff40ab4b252e32e7aa548320304258 /src/boot/me/semant.ml
parentAdd QUES to comp/fe/lexer.rs, rustc can self-lex again. (diff)
downloadrust-9f0a6c21b2de2247eccbfb1b72137db5c7dd5173.tar.xz
rust-9f0a6c21b2de2247eccbfb1b72137db5c7dd5173.zip
Implement preliminary form of structured compare. No boxes, vectors or strings yet.
Diffstat (limited to 'src/boot/me/semant.ml')
-rw-r--r--src/boot/me/semant.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml
index fd7d2709..945155b0 100644
--- a/src/boot/me/semant.ml
+++ b/src/boot/me/semant.ml
@@ -26,7 +26,7 @@ type glue =
| GLUE_sever of Ast.ty (* Null all box state slots. *)
| GLUE_mark of Ast.ty (* Mark all box state slots. *)
| GLUE_clone of Ast.ty (* Deep copy. *)
- | GLUE_compare of Ast.ty
+ | GLUE_cmp of Ast.ty
| GLUE_hash of Ast.ty
| GLUE_write of Ast.ty
| GLUE_read of Ast.ty
@@ -2508,7 +2508,7 @@ let glue_str (cx:ctxt) (g:glue) : string =
| GLUE_sever ty -> "glue$sever$" ^ (ty_str cx ty)
| GLUE_mark ty -> "glue$mark$" ^ (ty_str cx ty)
| GLUE_clone ty -> "glue$clone$" ^ (ty_str cx ty)
- | GLUE_compare ty -> "glue$compare$" ^ (ty_str cx ty)
+ | GLUE_cmp ty -> "glue$cmp$" ^ (ty_str cx ty)
| GLUE_hash ty -> "glue$hash$" ^ (ty_str cx ty)
| GLUE_write ty -> "glue$write$" ^ (ty_str cx ty)
| GLUE_read ty -> "glue$read$" ^ (ty_str cx ty)