match Ast0.unwrap i with
Ast0.MetaId(name,_,_) | Ast0.MetaFunc(name,_,_)
| Ast0.MetaLocalFunc(name,_,_) -> checker name
+ | Ast0.DisjId(starter,id_list,mids,ender) ->
+ detect_unitary_frees(List.map r.VT0.combiner_rec_ident id_list)
| _ -> k i in
let expression r k e =
let declaration r k d =
match Ast0.unwrap d with
- Ast0.MetaDecl(name,_) | Ast0.MetaField(name,_) -> checker name
+ Ast0.MetaDecl(name,_) | Ast0.MetaField(name,_)
+ | Ast0.MetaFieldList(name,_,_) -> checker name
| Ast0.DisjDecl(starter,decls,mids,ender) ->
detect_unitary_frees(List.map r.VT0.combiner_rec_declaration decls)
| _ -> k d in