Re: redirecting *.hi

1999-07-21 Thread Marc van Dongen
Sergey: One small correction: The sed script should be: sed -e 's/.*\/\([^\/][^\/]*\)\.hs/$(E)\/\1.o, $(E)\/\1.hi/' Of course: :g/.*\/\([^\/][^\/]*\)\.hs/s//$(E)\/\1.o, $(E)\/\1.hi/ in vi should also work. Regards, Marc

Call for papers: Workshop on Generic Programming 2000

1999-07-21 Thread Johan Jeuring
Workshop on Generic Programming http://www.cs.uu.nl/~johanj/wgp2000/wgp2000cfp.html 6th July 2000 Ponte de Lima, Portugal Call for papers Generic programming

RE: Punning

1999-07-21 Thread Mark P Jones
Hi George, I believe that punning was taken out of Haskell 98 because of some (IMO, mistaken) concerns about renaming. If memory serves me, somebody had complained that punning `broke alpha-renaming'. For example, you can't treat (\x - C{x}) as being equivalent to (\y - C{y}) ... which all

Punning

1999-07-21 Thread George Russell
Is there any chance that someone could send to me in Germany the head of the canting Puritan who outlawed punning in Haskell 98? I'm trying to migrate some code which makes heavy use of punning, and I'm about to yet again (for literally the thirtieth time) fix yet another (subtly different)