From f522605f6b5b48ec64143c8e522f2d0c6537d78d Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Fri, 2 Jul 2010 12:52:58 -0700 Subject: [PATCH] Permit mutables as comparable in all contexts. --- src/boot/me/type.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 5eec68602d7..b364ff569eb 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -369,7 +369,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = | Ast.TY_constrained (ty, _) -> is_comparable_or_ordered comparable ty | Ast.TY_mutable ty -> - ucx.mut_ok && is_comparable_or_ordered comparable ty + is_comparable_or_ordered comparable ty | Ast.TY_box ty -> ucx.box_ok && is_comparable_or_ordered comparable ty in