21 Sep
2002
21 Sep
'02
12:13 a.m.
On Fri, Sep 20, 2002 at 01:16:26PM -0700, Jeffrey R Lewis wrote:
On Friday 20 September 2002 12:56 pm, Ross Paterson wrote:
On Fri, Sep 20, 2002 at 12:39:59PM -0700, Jeff Lewis wrote:
lewie 2002/09/20 12:39:58 PDT
Added files: lib/exts Quote.hs Removed files: lib/hugs Quote.hs Log: Move `Quote' to be consistent w/ convert_libraries story.
There was no convert_libraries story for files that came from lib/hugs.
Yes, they weren't converted. The suggestion was to use -P{Hugs}/libraries:{Hugs}/oldlib:{Hugs}/lib/hugs The only problem was Trex (hence Hugs.Trex). Your latest change does make Trex cleaner; it might as well be done for the others too.