Commit32f8356

committed

flambda-backend: Topeval fix for symbols patch

1 parentbefea01 commit32f8356Copy full SHA for 32f8356

File tree

-0

lines changed

-0

lines changed

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -52,6 +52,7 @@ let close_phrase lam =`
`52`	`52`	`letopenLambdain`
`53`	`53`	`Ident.Set.fold (funidl ->`
`54`	`54`	`let glb, pos= toplevel_value idin`
	`55`	`+let glb=Compilation_unit.of_string (Ident.name glb)in`
`55`	`56`	`let glob=`
`56`	`57`	`Lprim (Pfield (pos,Reads_agree),`
`57`	`58`	`[Lprim (Pgetglobal glb,[],Loc_unknown)],`

Comments

(0)