- Ast.SizeOfType(mcode szf, mcode lp,typeC ty,mcode rp)
- | Ast0.TypeExp(ty) -> Ast.TypeExp(typeC ty)
- | Ast0.MetaErr(name,constraints,_) ->
- let constraints = List.map expression constraints in
- Ast.MetaErr(mcode name,constraints,unitary,false)
- | Ast0.MetaExpr(name,constraints,ty,form,_) ->
- let constraints = List.map expression constraints in
- Ast.MetaExpr(mcode name,constraints,unitary,ty,form,false)
- | Ast0.MetaExprList(name,Some lenname,_) ->
- Ast.MetaExprList(mcode name,Some (mcode lenname,unitary,false),
- unitary,false)
- | Ast0.MetaExprList(name,None,_) ->
- Ast.MetaExprList(mcode name,None,unitary,false)
+ let allminus = check_allminus.VT0.combiner_rec_expression e in
+ Ast.SizeOfType(mcode szf, mcode lp,typeC allminus ty,mcode rp)
+ | Ast0.TypeExp(ty) ->
+ let allminus = check_allminus.VT0.combiner_rec_expression e in
+ Ast.TypeExp(typeC allminus ty)
+ | Ast0.Constructor(lp,ty,rp,init) ->
+ let allminus = check_allminus.VT0.combiner_rec_expression e in
+ Ast.Constructor(mcode lp,typeC allminus ty,mcode rp,initialiser init)
+ | Ast0.MetaErr(name,cstrts,_) ->
+ Ast.MetaErr(mcode name,constraints cstrts,unitary,false)
+ | Ast0.MetaExpr(name,cstrts,ty,form,_) ->
+ Ast.MetaExpr(mcode name,constraints cstrts,unitary,ty,form,false)
+ | Ast0.MetaExprList(name,lenname,_) ->
+ Ast.MetaExprList(mcode name,do_lenname lenname,unitary,false)
+ | Ast0.AsExpr(expr,asexpr) ->
+ Ast.AsExpr(expression expr,expression asexpr)