From 675f90eca35cd91de11700e841eb3406548160d9 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Wed, 30 Jun 2010 00:07:05 -0700
Subject: [PATCH] Handle constrained types in type.ml while we're at it.

---
 src/boot/me/type.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index f25cc569ee5..3e2a521c3c6 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -287,6 +287,9 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
               Ast.TY_exterior (unify_resolved_types a b)
           | Ast.TY_mutable a, b | b, Ast.TY_mutable a ->
               Ast.TY_mutable (unify_resolved_types a b)
+          | Ast.TY_constrained (a, constrs), b
+          | b, Ast.TY_constrained (a, constrs) ->
+              Ast.TY_constrained ((unify_resolved_types a b), constrs)
           | _ -> fail()
       in