Commit 8a69ed59 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Fix the parsing of multiple arrows in function interfaces.

parent 7c811a6e
Pipeline #160 passed with stages
in 6 minutes and 56 seconds
......@@ -682,9 +682,9 @@ let_binding:
b = branches {
let pre_intf = (x, y) :: other_arrows in
let intf = (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)))( y) (List.hd y))
Cduce_loc.mk_loc loc (Arrow (e,acc)))(List.hd y) ( y))
) pre_intf
(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