File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -43,10 +43,11 @@ let decapitalize =
4343let rec ctor e =
4444 let loc = MLast. loc_of_expr e in
4545 match e with
46- | < :expr < $ uid :u $ >> -> Some e
47- | < :expr < $ longid :m $ . ($ e $ ) >> -> (match ctor e with Some e -> Some (< :expr< $longid:m$ . ($e$ ) >> ) | _ -> None )
48- | < :expr < $ m $ . ($ e $ ) >> -> (match ctor e with Some e -> Some (< :expr< $m$ . ($e$ ) >> ) | _ -> None )
49- | _ -> None
46+ | < :expr < $ uid :u $ >> -> Some e
47+ | < :expr < $ longid :m $ . ($ e $ ) >> -> (match ctor e with Some e -> Some (< :expr< $longid:m$ . ($e$ ) >> ) | _ -> None )
48+ | < :expr < $ m $ . ($ e $ ) >> -> (match ctor e with Some e -> Some (< :expr< $m$ . ($e$ ) >> ) | _ -> None )
49+ | < :expr < $ longid :prefix $ . $ uid :con $ >> -> Some e
50+ | _ -> None
5051
5152let list_of_list es =
5253 let loc = MLast. loc_of_expr (List. hd es) in
You can’t perform that action at this time.
0 commit comments