Attachment #731170 for bug #772347

View | Details | Raw Unified | Return to bug 772347
Collapse All | Expand All

Lines 33-39 value subst mloc env = Link Here

(-)a/ext/pa_def.ml (-1 / +1 lines)
33	loop where rec loop =	33	loop where rec loop =
34	fun	34	fun
35	[ <:expr< let $opt:rf$ $list:pel$ in $e$ >> ->	35	[ <:expr< let $opt:rf$ $list:pel$ in $e$ >> ->
36	let pel = List.map (fun (p, e) -> (p, loop e)) pel in	36	let pel = List.map (fun (p, e, al) -> (p, loop e, al)) pel in
37	<:expr< let $opt:rf$ $list:pel$ in $loop e$ >>	37	<:expr< let $opt:rf$ $list:pel$ in $loop e$ >>
38	\| <:expr< if $e1$ then $e2$ else $e3$ >> ->	38	\| <:expr< if $e1$ then $e2$ else $e3$ >> ->
39	<:expr< if $loop e1$ then $loop e2$ else $loop e3$ >>	39	<:expr< if $loop e1$ then $loop e2$ else $loop e3$ >>

Lines 23-35 value expr_of_patt p = Link Here

(-)a/ext/pa_local.ml (-1 / +3 lines)
23	\| _ -> Stdpp.raise_with_loc loc (Stream.Error "identifier expected") ]	23	\| _ -> Stdpp.raise_with_loc loc (Stream.Error "identifier expected") ]
24	;	24	;
25		25
		26	value fst3 (a,b,c) = a ;
		27
26	EXTEND	28	EXTEND
27	str_item:	29	str_item:
28	[ [ "local"; rf = [ "rec" -> True \| -> False ];	30	[ [ "local"; rf = [ "rec" -> True \| -> False ];
29	lb = LIST1 let_binding SEP "and"; "in"; "value";	31	lb = LIST1 let_binding SEP "and"; "in"; "value";
30	rf1 = [ "rec" -> True \| -> False ];	32	rf1 = [ "rec" -> True \| -> False ];
31	lb1 = LIST1 let_binding SEP "and" ->	33	lb1 = LIST1 let_binding SEP "and" ->
32	let pl = List.map fst lb1 in	34	let pl = List.map fst3 lb1 in
33	let el = List.map expr_of_patt pl in	35	let el = List.map expr_of_patt pl in
34	<:str_item<	36	<:str_item<
35	value ($list:pl$) =	37	value ($list:pl$) =

Return to bug 772347