RE: ghc image size

2001-12-17 Thread Simon Marlow
if you are using GNU tools there is some magic to make them garbage-collect all the symbols in your executable before outputting the final code. you have to do some tricks with the segment headers so that it can GC individual functions but this should fix many of the image size problems

Re: GHC 5.02 source RPM

2001-12-17 Thread Manuel M. T. Chakravarty
Arjen P. de Vries [EMAIL PROTECTED] wrote, I build the ghc from the source RPM, and everything goes fine up to creating the binary rpms as final result, but then it does not want to install the created binary rpm, due to dependency on error: failed dependencies:

Re: ghc image size

2001-12-17 Thread Albert Lai
Mike Gunter [EMAIL PROTECTED] writes: Why is executable size a barrier? 1.64 megabytes (that's the size of the executable I built with GHC most recently) of disk space costs less than half a cent. I don't like this argument. Can I go to a computer store, pay a cent, and get a hard disk

RE: space efficiency question

2001-12-17 Thread Simon Peyton-Jones
Title: Message Now: if I have a couple of thousand of these Instances, created with the same Attributes value, as in: a = Attributes ["a","bc"] i = Instance a [1,2] i0001 = Instance a [1,1] ... i7896 = Instance a [2,1] can I be assured that there are not thousands of

Call for Applications to PhD Positions, Chalmers University, Sweden

2001-12-17 Thread Reiner Haehnle
Please pass on to interested students. Apologies for multiple copies. - New PhD Positions (DEADLINE 15 February 2002! See How to apply below) Department of Computing Science, Chalmers University of

Re: gcd 0 0 = 0

2001-12-17 Thread Lars Henrik Mathiesen
From: Marc van Dongen [EMAIL PROTECTED] Date: Sun, 16 Dec 2001 13:35:59 + Marc van Dongen ([EMAIL PROTECTED]) wrote: : An integer $a$ divides integer $b$ if there exists an integer : $c$ such that $a c= b$. To make clear why $0$ (and not any other non-zero integer) is the gcd

RE: Confused about default

2001-12-17 Thread Simon Peyton-Jones
Well, Foo *is* an instance of Num, so a correct Haskell impl should pick that instance always. Since you don't define the fromInteger method in the instance decl, you get a runtime error. I don't know what you expect the [Foo] and Foo - Int defaults to do. GHCi fails to put the correct default

Re: gcd 0 0 = 0

2001-12-17 Thread George Russell
I've reconsidered my earlier position and think now that the Prelude is wrong to make gcd 0 0 an error, and should return 0. It probably doesn't make much difference to anyone, but it's like 1 not being a prime; it may be slightly harder to explain, but it makes the maths come out nicer and is

Re: gcd 0 0 = 0

2001-12-17 Thread Ch. A. Herrmann
George == George Russell [EMAIL PROTECTED] writes: George I've reconsidered my earlier position and think now that the George Prelude is wrong to make gcd 0 0 an error, and should return George 0. It probably doesn't make much difference to anyone, but George it's like 1 not

Re: Confused about default

2001-12-17 Thread Ian Lynagh
On Mon, Dec 17, 2001 at 08:57:28AM -0800, Simon Peyton-Jones wrote: Well, Foo *is* an instance of Num, so a correct Haskell impl should pick that instance always. I was looking at what the implementations would allow, the module wasn't supposed to be useful. Since you don't define the

Re: gcd 0 0 = 0

2001-12-17 Thread Alan Bawden
From: Lars Henrik Mathiesen [EMAIL PROTECTED] Date: 17 Dec 2001 14:50:21 - ... In case it isn't clear already, these definitions make a lattice on the positive integers, with divides ~ leq, gcd ~ meet and lcm ~ join, using the report's definitions of gcd and lcm. Indeed,

faculty position in logic

2001-12-17 Thread LICS
[Sincere apologies for duplicates] Indiana University invites applications for a tenure-track assistant professor position in applied logic. Please see www.informatics.indiana.edu/positions/logic.html for details. Applications received within the next few weeks are

faculty position in logic

2001-12-17 Thread LICS
[Sincere apologies for duplicates] Indiana University invites applications for a tenure-track assistant professor position in applied logic. Please see www.informatics.indiana.edu/positions/logic.html for details. Applications received within the next few weeks are

Re: sending values between actions

2001-12-17 Thread Johan Nordlander
On Sunday, December 16, 2001, at 02:30 PM, Dmitry Astapov wrote: NS can anyone tell me how to send values from one action to another??? NS I have NS main0 = do s - getLine writeFile text.txt s NS main1 = do NS I'd like to use main0 info on main1 action to build a nXm