Commit 2e1726d1 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Fix the parsing of multiple arrows in function interfaces.

parent 6599cfbb
Pipeline #161 passed with stages
in 6 minutes and 54 seconds
......@@ -682,9 +682,9 @@ let_binding:
b = branches {
let pre_intf = (x, y) :: other_arrows in
let intf = List.map (fun (x, y) ->
(x, List.fold_right (fun e acc ->
(x, let y = List.rev y in List.fold_left (fun acc e ->
let loc = Cduce_loc.(merge_loc e.loc acc.loc) in
Cduce_loc.mk_loc loc (Arrow (e,acc)))(List.tl y) (List.hd y))
Cduce_loc.mk_loc loc (Arrow (e,acc)))(List.hd y) (List.tl y))
) pre_intf
in
(intf, b)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment