IIRC, the deprecation message is printed when the module is actually
imported. To do what you're suggesting, one could add a call to
deprecation() at the module level (which is executed when the import is
called).
Best,
Travis
On Monday, December 1, 2014 8:22:34 AM UTC-8, vdelecroix wrote:
>
> Hi Travis,
>
> I am not sure that it is what Nathann wanted. The all.py in crystals
> deprecate objects from the global namespace but not modules. In
> particular, you do not have something which behave like
> {{{
> sage: import old_module
> Warning: Deprecation !!
> See trac ticket #42 for more info!
> sage: old_module.my_function() # that works
> }}}
>
> Vincent
>
> 2014-12-01 16:32 UTC+01:00, Travis Scrimshaw <tsc...@ucdavis.edu
> <javascript:>>:
> > There's a deprecation keyword one can use with lazy_import. See
> > combinat/crystals/all.py for examples.
> >
> > Best,
> > Travis
> >
> >
> > On Monday, December 1, 2014 5:54:08 AM UTC-8, Nathann Cohen wrote:
> >>
> >> Hello everybody !
> >>
> >> I just met two situations in which we need to rename a module: 1) not
> >> in the right folder; or 2) not the right name.
> >>
> >> Do we currently have a "deprecated_module_alias" implemented in a way
> >> that I did not notice ? We would need to have a "fake" module
> >> pointing toward the real one, which raises an exception the first time
> >> it is imported.
> >>
> >> Thanks !
> >>
> >> Nathann
> >>
> >
> > --
> > You received this message because you are subscribed to the Google
> Groups
> > "sage-devel" group.
> > To unsubscribe from this group and stop receiving emails from it, send
> an
> > email to sage-devel+...@googlegroups.com <javascript:>.
> > To post to this group, send email to sage-...@googlegroups.com
> <javascript:>.
> > Visit this group at http://groups.google.com/group/sage-devel.
> > For more options, visit https://groups.google.com/d/optout.
> >
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
