Python Error when initializing plugin: ImportError: cannot import name 'nullcontext'

[makeaweli]

I received an error when accessing any of the plugin commands COQnow, COQdeps, etc.

I did make sure that python3 virtualenv was updated and installed, according to the README:

Traceback (most recent call last):
  File "/usr/lib64/python3.6/runpy.py", line 193, in _run_module_as_main
    "__main__", mod_spec)
  File "/usr/lib64/python3.6/runpy.py", line 85, in _run_code
    exec(code, run_globals)
  File "/home/jkalawe/.vim/plugged/coq_nvim/coq/__main__.py", line 3, in <module>
    from contextlib import nullcontext, redirect_stderr, redirect_stdout
ImportError: cannot import name 'nullcontext'

[zeertzjq]

Your Python version is too old. https://github.com/ms-jpq/coq_nvim#install:

Minimum version: python:3.8.2, nvim: 0.5, sqlite: recentish

[makeaweli]

Apologies. User error. Please close this issue.

Sent from my iPad

On Oct 25, 2021, at 3:54 PM, zeertzjq @.***> wrote:

 Your Python version is too old. https://github.com/ms-jpq/coq_nvim#install:

Minimum version: python:3.8.2, nvim: 0.5, sqlite: recentish

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or unsubscribe. Triage notifications on the go with GitHub Mobile for iOS or Android.

[zeertzjq]

Maybe the code checking for Python version can be moved before some imports.

[ms-jpq]

oh wow you are on python < 3.7, ok i didnt even think to support a notification for 3.6 haha.

sure ill fix

[ms-jpq]

fixed