- Ast0.Init(_,ty,id,_,exp,_) ->
- let _ =
- (propagate_types env).VT0.combiner_rec_initialiser exp in
- [(strip id,Ast0.ast0_type_to_type ty)]
+ Ast0.MetaDecl(_,_) | Ast0.MetaField(_,_)
+ | Ast0.MetaFieldList(_,_,_) -> []
+ | Ast0.Init(_,ty,id,_,exp,_) ->
+ let _ = (propagate_types env).VT0.combiner_rec_initialiser exp in
+ let ty = Ast0.ast0_type_to_type ty in
+ List.map (function i -> (i,ty)) (strip id)