squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Resolve constant types through to their definitions.

Browse source
This commit is contained in:
Graydon Hoare 2010-09-23 17:11:30 -07:00
parent 46e46d0b49
commit bba4cae1b8
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/boot/me/type.ml
View file

@ -295,7 +295,9 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
LTYPE_mono ty LTYPE_mono ty
else else
LTYPE_poly ((Array.map (fun p -> p.Common.node) params), ty) LTYPE_poly ((Array.map (fun p -> p.Common.node) params), ty)
| Ast.MOD_ITEM_const (ty, _) -> LTYPE_mono ty | Ast.MOD_ITEM_const _ ->
let ty = Hashtbl.find cx.Semant.ctxt_all_item_types mid_id in
LTYPE_mono ty
| Ast.MOD_ITEM_type _ -> | Ast.MOD_ITEM_type _ ->
Common.err None "Type-item used in non-type context" Common.err None "Type-item used in non-type context"
in in