From 7c8d877ee4b3875e6316be53dbbcf4f04503c1a1 Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Wed, 6 Apr 2022 15:34:00 +0100 Subject: Add a hook for misses in Load_path Load_path.find{,_uncap} now invoke a hook before raising Not_found, which provides a mechanism for automatically adding directories to the Load_path if required. --- .depend | 1 + 1 file changed, 1 insertion(+) (limited to '.depend') diff --git a/.depend b/.depend index 79d4c29b02..57789239b9 100644 --- a/.depend +++ b/.depend @@ -6019,6 +6019,7 @@ driver/compmisc.cmx : \ utils/clflags.cmx \ driver/compmisc.cmi driver/compmisc.cmi : \ + utils/load_path.cmi \ typing/env.cmi \ utils/clflags.cmi driver/errors.cmo : \ -- cgit v1.2.1