@@ -5671,6 +5671,7 @@ let mkFolders (folders : _ ExprFolder) =
56715671 | Expr.Lambda(_ lambdaId ,_ ctorThisValOpt,_ baseValOpt,_ argvs, body,_ m,_ rty) -> exprF z body
56725672 | Expr.TyLambda(_ lambdaId,_ argtyvs, body,_ m,_ rty) -> exprF z body
56735673 | Expr.TyChoose(_, body,_) -> exprF z body
5674+
56745675 | Expr.App ( f,_ fty,_ tys, argtys,_) ->
56755676 let z = exprF z f
56765677 let z = exprsF z argtys
@@ -5684,17 +5685,24 @@ let mkFolders (folders : _ ExprFolder) =
56845685 let z = exprF z body
56855686 z
56865687 | Expr.Link rX -> exprF z (! rX)
5688+
56875689 | Expr.Match (_ spBind,_ exprm, dtree, targets,_ m,_ ty) ->
56885690 let z = dtreeF z dtree
56895691 let z = Array.fold targetF z targets
56905692 z
5691- | Expr.Quote(_ e,{ contents= Some(_ typeDefs,_ argTypes, argExprs,_)},_,_,_) -> exprsF z argExprs
5692- | Expr.Quote(_ e,{ contents= None},_,_ m,_) -> z
5693+ | Expr.Quote( e,{ contents= Some(_ typeDefs,_ argTypes, argExprs,_)},_,_,_) ->
5694+ let z = exprF z e
5695+ exprsF z argExprs
5696+
5697+ | Expr.Quote( e,{ contents= None},_,_ m,_) ->
5698+ exprF z e
5699+
56935700 | Expr.Obj (_ n,_ typ,_ basev, basecall, overrides, iimpls,_ m) ->
56945701 let z = exprF z basecall
56955702 let z = List.fold tmethodF z overrides
56965703 let z = List.fold ( foldOn snd ( List.fold tmethodF)) z iimpls
56975704 z
5705+
56985706 | Expr.StaticOptimization (_ tcs, csx, x,_) -> exprsF z [ csx; x]
56995707
57005708 and valBindF dtree z bind =
0 commit comments