298 errors

oils-for-unix · Jan 14, 2025 · 5c0e20f · 5c0e20f
1 parent 3dd065b
commit 5c0e20f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/devtools/types.sh b/devtools/types.sh
@@ -61,7 +61,7 @@ check-mycpp() {
 }
 
 check-doctools() {
-  if false; then
+  if true; then
     local -a files=(
       $(for x in doctools/*.py; do echo $x; done | grep -v '_test.py' )
       lazylex/html.py
@@ -73,7 +73,7 @@ check-doctools() {
 
   # 777 errors before pyann
   # 583 afterward
-  local -a flags=( --py2 --no-strict-optional --strict )
+  local -a flags=( --py2 --no-strict-optional --strict --follow-imports=silent )
   #local -a flags=( --py2 --no-strict-optional )
 
   set -x

diff --git a/doctools/util.py b/doctools/util.py
@@ -6,11 +6,11 @@
 
 # many tools import this, causes ImportError
 # the oilshell.org/ repo also imports this
-#from typing import Any
+from typing import Any
 
 
 def log(msg, *args):
-    # disabled type: (str, Any) -> None
+    # type: (str, Any) -> None
     if args:
         msg = msg % args
     print(msg, file=sys.stderr)