Fix deprecated import of instancedoc

[mkoeppe]

(from #30787 comment:109)

CC: @kwankyu @tscrim

Component: refactoring

Author: Kwankyu Lee

Branch/Commit: dc2e766

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/34324

[kwankyu]

Branch: u/klee/fix_deprecated_import_of_instancedoc

[kwankyu]

Commit: dc2e766

[kwankyu]

Author: Kwankyu Lee

[kwankyu]

New commits:

dc2e766

Replace lazy_import with normal import

[kwankyu]

comment:3

The problem was that in the namespace of sage.docs.instancedoc, there was no name instancedoc since it was to be created when first used (as it was lazy_import-ed) and not used yet.

My branch just provides an easy solution.

I changed the file to a python file too. When I did this, the old cython .so file was not removed automatically. So sage kept loading the module from the old cython file, and spitting errors. I manually deleted the old files ('.so' and '.c' files). Perhaps this is a pitfall of the editable install?

[mkoeppe]

comment:4

Replying to @kwankyu:

I changed the file to a python file too. When I did this, the old cython .so file was not removed automatically. So sage kept loading the module from the old cython file, and spitting errors. I manually deleted the old files ('.so' and '.c' files). Perhaps this is a pitfall of the editable install?

Yes, looks like an interesting failure mode. In the non-editable build, this is taken care of by the "install cleaner". To do so in the editable build is an item in #31406 already

[mkoeppe]

Reviewer: Matthias Koeppe

[kwankyu]

comment:6

Replying to @mkoeppe:

Replying to @kwankyu:
In the non-editable build, this is taken care of by the "install cleaner". To do so in the editable build is an item in #31406 already

I see. I am getting used to the editable build. It is nice to see the C file beside a Cython file.

Thank you.

[vbraun]

Changed branch from u/klee/fix_deprecated_import_of_instancedoc to dc2e766