From b7b78d8ca8d6fc6fdb0f744be02c386bc00da8bf Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 5 Apr 2019 15:44:36 +0200
Subject: [loadpath] Further cleanup after merge with MlTop.

We cleanup a bit the implementation of LoadPath which is not possible
as now all the loadpath logic is in the same place.

In particular, we remove exceptions in favor a `locate_result` monad.

More cleanup should still be possible, in particular
`locate_absolute_library` and `locate_qualified_library` should be
merged.
---
 dev/ci/user-overlays/09895-ejgallego-require+upper.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 dev/ci/user-overlays/09895-ejgallego-require+upper.sh

(limited to 'dev')

diff --git a/dev/ci/user-overlays/09895-ejgallego-require+upper.sh b/dev/ci/user-overlays/09895-ejgallego-require+upper.sh
new file mode 100644
index 0000000000..9a42c829ce
--- /dev/null
+++ b/dev/ci/user-overlays/09895-ejgallego-require+upper.sh
@@ -0,0 +1,6 @@
+if [ "$CI_PULL_REQUEST" = "9895" ] || [ "$CI_BRANCH" = "require+upper" ]; then
+
+    quickchick_CI_REF=require+upper
+    quickchick_CI_GITURL=https://github.com/ejgallego/QuickChick
+
+fi
-- 
cgit v1.2.3