diff options
author | wiktorkuchta <35867657+wiktorkuchta@users.noreply.github.com> | 2023-01-23 09:05:44 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-23 09:05:44 +0100 |
commit | fdcbdce2cd4a369251b6ab00af6697e6e40c9e2a (patch) | |
tree | b264748a71ea95c97b6a149e1e87cc28dcf89bc2 /.depend | |
parent | f1550145d4ebe8ee22853d13f97fca288aaef51f (diff) | |
download | ocaml-fdcbdce2cd4a369251b6ab00af6697e6e40c9e2a.tar.gz |
toplevel: show hints for the "undefined global" error (#10647)
Diffstat (limited to '.depend')
-rw-r--r-- | .depend | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -6305,6 +6305,7 @@ toplevel/genprintval.cmi : \ typing/env.cmi toplevel/topcommon.cmo : \ typing/typedtree.cmi \ + bytecomp/symtable.cmi \ parsing/printast.cmi \ typing/predef.cmi \ parsing/pprintast.cmi \ @@ -6332,6 +6333,7 @@ toplevel/topcommon.cmo : \ toplevel/topcommon.cmi toplevel/topcommon.cmx : \ typing/typedtree.cmx \ + bytecomp/symtable.cmx \ parsing/printast.cmx \ typing/predef.cmx \ parsing/pprintast.cmx \ |