mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Handle constrained types in type.ml while we're at it.

Browse Source
This commit is contained in:
Graydon Hoare 2010-06-30 00:07:05 -07:00
parent fc1b86e1ca
commit 675f90eca3
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/boot/me/type.ml
View File

@ -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