diff options
| author | Graydon Hoare <graydon@mozilla.com> | 2010-06-30 00:07:05 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2010-06-30 00:07:05 -0700 |
| commit | 675f90eca35cd91de11700e841eb3406548160d9 (patch) | |
| tree | 1ca7913a15a5f72b8a02e775d88e9c5176440c39 | |
| parent | fc1b86e1cabf36c4d902db95fc8f0c6b0e2d21ef (diff) | |
Handle constrained types in type.ml while we're at it.
| -rw-r--r-- | src/boot/me/type.ml | 3 |
1 files changed, 3 insertions, 0 deletions
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 |