|
RE: DEPRECATED not re-exported: msg#00048lang.haskell.glasgow.bugs
I agree. Your message caught me at a moment when I needed some displacement activity, so I've implemented a fix. It was a bit less trivial than I'd expected, but not hard. Simon | -----Original Message----- | From: glasgow-haskell-bugs-bounces@xxxxxxxxxxx [mailto:glasgow-haskell-bugs- | bounces@xxxxxxxxxxx] On Behalf Of Sven Panne | Sent: 30 December 2003 13:22 | To: GHC Bugs | Subject: DEPRECATED not re-exported | | There seems to be a small problem with the DEPRECATED pragma (both on | the HEAD and the 6.2 release branch), see e.g. the deprecated function | withObject: | | -- Main1.hs -------------------------------------------------- | import Foreign.Marshal | main = withObject 'a' print | -- Main2.hs -------------------------------------------------- | import Foreign.Marshal.Utils | main = withObject 'a' print | -------------------------------------------------------------- | panne@jeanluc:~> ghc Main1.hs | panne@jeanluc:~> ghc Main2.hs | | Main2.hs:2:7: Warning: Variable `withObject' is deprecated: use `with' instead | -------------------------------------------------------------- | | It looks like deprecations are not re-exported, but I can't remember | if this was a conscious design decision or simply happens by accident. | Nevertheless, with the arrival of hierarchical modules, the current | behaviour makes this pragma almost useless IMHO. Other opinions? | | Cheers, | S. | | _______________________________________________ | Glasgow-haskell-bugs mailing list | Glasgow-haskell-bugs@xxxxxxxxxxx | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
|
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | Re: Hello world fails on Win32, Gour |
|---|---|
| Next by Date: | RE: Hello world fails on Win32, Simon Peyton-Jones |
| Previous by Thread: | DEPRECATED not re-exported, Sven Panne |
| Next by Thread: | internal error reported, David Roundy |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |