From df8442e5406691eb77c45b3ce86b17ad707b3014 Mon Sep 17 00:00:00 2001
From: David Chambers <dc@davidchambers.me>
Date: Tue, 19 Dec 2017 21:30:21 +0100
Subject: [PATCH] hide doctest-specific imports from build tools

---
 index.js     | 5 +++--
 package.json | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/index.js b/index.js
index 514d52a7..0e25dcab 100644
--- a/index.js
+++ b/index.js
@@ -410,11 +410,12 @@
 
   /* istanbul ignore if */
   if (typeof __doctest !== 'undefined') {
+    /* global __doctest:false */
     /* eslint-disable no-unused-vars */
-    var _List = require('./test/internal/List');
+    var _List = __doctest.require('./test/internal/List');
     var Cons = _List.Cons;
     var Nil = _List.Nil;
-    var Sum = require('./test/internal/Sum');
+    var Sum = __doctest.require('./test/internal/Sum');
     /* eslint-enable no-unused-vars */
     env = Z.concat(env, [_List.Type($.Unknown), Sum.Type]);
   }
diff --git a/package.json b/package.json
index 9525ec83..86125cc2 100644
--- a/package.json
+++ b/package.json
@@ -17,7 +17,7 @@
   },
   "devDependencies": {
     "browserify": "13.1.x",
-    "doctest": "0.12.x",
+    "doctest": "0.13.x",
     "eslint": "4.9.x",
     "fantasy-land": "3.4.0",
     "istanbul": "0.4.x",