diff options
author | Leo White <leo@lpw25.net> | 2019-07-19 16:59:37 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2019-07-20 14:04:51 +0100 |
commit | 57e884d57c7c0899201754e256034c47e1487a5b (patch) | |
tree | 6eaa9f580250aec267ae7fc4906e79ff407009d4 | |
parent | fcf152da7e18953d3c61f1ca0b0b68b27924d4c3 (diff) | |
download | ocaml-57e884d57c7c0899201754e256034c47e1487a5b.tar.gz |
Fix #8816
-rw-r--r-- | otherlibs/dynlink/byte/dynlink.ml | 6 | ||||
-rw-r--r-- | testsuite/tests/lib-dynlink-packed/byte.reference | 6 |
2 files changed, 10 insertions, 2 deletions
diff --git a/otherlibs/dynlink/byte/dynlink.ml b/otherlibs/dynlink/byte/dynlink.ml index d39d4e50bc..9bb54320a3 100644 --- a/otherlibs/dynlink/byte/dynlink.ml +++ b/otherlibs/dynlink/byte/dynlink.ml @@ -39,7 +39,11 @@ module Bytecode = struct @ Symtable.required_globals t.cu_reloc in let required = - List.filter (fun id -> not (Ident.is_predef id)) required + List.filter + (fun id -> + not (Ident.is_predef id) + && not (String.contains (Ident.name id) '.')) + required in List.map (fun ident -> Ident.name ident, None) diff --git a/testsuite/tests/lib-dynlink-packed/byte.reference b/testsuite/tests/lib-dynlink-packed/byte.reference index 7e09dfe305..8a1218a102 100644 --- a/testsuite/tests/lib-dynlink-packed/byte.reference +++ b/testsuite/tests/lib-dynlink-packed/byte.reference @@ -1 +1,5 @@ -no implementation available for Packed.A +1 +2 +3 +4 +5 |