6 Dec
2004
6 Dec
'04
4:34 p.m.
Ben Rudiak-Gould <Benjamin.Rudiak-Gould@cl.cam.ac.uk> writes:
And here's a slight variation in which force has the type a -> a, eliminating the need for the helper function eval. I'm not sure which version is better.
The version with () does less redundant forcing, although the compiler could perhaps optimize them statically. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/