convert_libraries

Ross Paterson ross@soi.city.ac.uk
Wed, 20 Nov 2002 10:01:39 +0000


On Wed, Nov 20, 2002 at 02:45:24AM +0100, Johan Nordlander wrote:
> ... and I happily removed the whole libraries directory just to force a 
> complete conversion of the libraries!  Well, well, won't do that 
> anymore...

It suffices to remove libraries/Prelude.hs (which is regenerated).