April 2001 - Hugs-Bugs

OSX
by Michel Schellekens 25 Oct '02

25 Oct '02

After downloading the OSX version, and typing "hugs" to start up the language, I obtain the following error: [schellekens:~] mpcs% hugs dyld: hugs can't open library: /usr/lib/libncurses.5.dylib (No such file or directory, errno = 2) Any suggestions? Michel.

2 1

RE: Syntax for implicit parameters
by Simon Peyton-Jones 30 Apr '01

30 Apr '01

Erik Meijer, John Launchbury and I discussed the syntax of implicit parameters at WG2.8 last week. We emerged with agreement on the following: instead of 'with' use let dynamic ?x = 3 ?y = ?y+?x in ... * 'dynamic' is a special-id, only significant immediately following a let. * The bindings are non-recursive, and nested top to bottom Reasons: - All other Haskell constructs are prefix form, and extend as far to the right as possible: let, case, lambda. Using the same convention eliminates the question of what let x = 4 in E with ?y = 4 might mean The exception to prefix form is 'where' but it scopes over groups of right-hand sides, not expressions - We wanted a clear clue that this is not a standard-Haskell recursive let - We didn't want to take an extra keyword. I (very much) hope this is acceptable to everyone. It's not worth a major use of brain cells, but it would be great to make GHC and Hugs agree. Simon PS: I recall that Alastair volunteered to make the change to Hugs.

1 0

RE: Forall syntax
by Simon Peyton-Jones 30 Apr '01

30 Apr '01

| The reason it's not biting is that the problem doesn't exist! | :-) I have strong recollections that I noticed and fixed | this inconsistency while traveling on a train through the | French countryside in September 1999 ... even if my memory is | failing me, the most recent Hugs seems to accept forall's | without commas between arguments. Perhaps Simon is using an | old version of Hugs, looking at some out of date | documentation, or has found a specific instance where the | change was missed? I was probably using a (very) out of date version of Hugs. I should have mentioned that. It didn't occur to me that the syntax might have changed, though it should have. Apologies for wasting time. Simon

1 0

RE: Forall syntax
by Simon Peyton-Jones 30 Apr '01

30 Apr '01

| forall tends to be used with one argument, hence the reason | its not really biting right now. If no-one objects, I'll | change it this week at some point, to match GHC. The "lambda | does not use comma" seems convincing to me. Great, thank you. Simon

1 0

Forall syntax
by Simon Peyton-Jones 30 Apr '01

30 Apr '01

Dear Huggy people, I've just noticed that Hugs uses slightly different syntax than GHC for explicit for-alls in types. In Hugs you say forall a,b,c. ...type.... In GHC you say forall a b c. ...type... It's a pity to have unnecessary syntactic differences. Could we make them the same? I'd like to suggest that GHC is more consistent with the rest of Haskell. At the term level we don't use commas when we quantify: \ a b c -> .... not \ a,b,c -> ..... It's a pretty easy change to make. What think you? Simon

3 2

RE: Syntax for implicit parameters
by Simon Marlow 27 Apr '01

27 Apr '01

> [Incidentally, if I did control Hugs, I wouldn't make the suggested > change to "dlet"/"with" at this point. Marcin says I have no "deep > reasons" ... Hmm, I don't know about "deep", but I do have reasons > for this, both technical and pragmatic. But I'm not going to go into > detail because I don't think it will serve any useful purpose, and > because, if I'm going to let go, then I really do have to let go ...] Mark - I think the reason that you're being asked to comment on this discussion is because we'd like to know what these reasons are! It would be a pity if us implementors made a unilateral decision on syntax that ended up being misguided. Cheers, Simon

1 0

Possible space leak from calloc call?
by Julian Seward (Intl Vendor) 26 Apr '01

26 Apr '01

Using Feb 2001 in RedHat 7.1, loading the Prelude and then exiting: ==6469== 48000 bytes in 1 blocks are possibly lost in loss record 41 of 41 ==6469== at 0x4004E458: calloc ==6469== by 0x80818B3: expandSubst (subst.c:161) ==6469== by 0x808195F: newTyvars (subst.c:184) ==6469== by 0x80618A6: initTCKind (static.c:2690) I don't know if this is either significant, or avoidable. J

1 0

Re: Syntax for implicit parameters
by Alastair Reid 26 Apr '01

26 Apr '01

Marcin Kowalczyk (qrczak(a)knm.org.pl) writes: > I would like to replace "with" and "dlet" with "let". But SimonPJ > said he won't do it in ghc unless Hugs does it too, and Mark P Jones > said he won't do it in Hugs now (without deep reasons: no > people/hours to do that, and no plans to release next Hugs version > this year). I'd really, really like to see a fresh release of Hugs which includes the recently added support for imprecise exception handling (a la GHC). This is what HGL (and Fran) need to work with Hugs. I volunteer to implement whatever implicit parameter syntax is decided in Hugs. -- Alastair Reid reid(a)cs.utah.edu http://www.cs.utah.edu/~reid/

4 4

===Myth - all HGH products are the same=== 136432211111110000
by the_myth_about_hgh136432＠desertmail.com 24 Apr '01

24 Apr '01

Have You Heard of Human Growth Hormone (HGH)? Released by your own pituitary gland, HGH starts declining in your 20s, even more in your 30s and 40s, eventually resulting in the shrinkage of major organs -- plus, all other symptoms related to old age. All HGH (Human Growth Hormone) products are not the same. There are three different types of products. Yet, all three are advertised as if they where the same. The three types are: 1) Homeopathic HGH 2) Pre-cursor HGH 3) Real or synthetic HGH (delivered by injection or, by an oral spray method). Do you know the differences? Call us and we'll explain them to you. Our toll free number is 1-888-621-7300. For more information on HGH read on............ In Thousands of Clinical Studies Human Growth Hormone has been proven to accomplish the following: + Reduce Body Fat and Build Lean Muscle WITHOUT EXERCISE! + Enhance Sexual Performance + Remove Wrinkles and Cellulite + Lower Blood Pressure and Improve Cholesterol Profile + Improve Sleep, Vision and Memory + Restore Hair Color and Growth + Strengthen the Immune System + Increase Energy and Cardiac Output + Turn back your body's Biological Time Clock 10 - 20 years + Live Longer and Stronger All natural and organic plant based Feel 10 Years Younger in 10 Weeks We are the manufacturer and we sell directly to Doctors, Chiropractors, and consumers world wide the highest grade HGH Oral Spray available. With internet marketing, we are able to save advertising cost and pass those savings along to you. But you must act now. To receive more information call us now. Toll Free 1-888-621-7300 We must speak to you in person to qualify your usage. All of your questions will be addressed and answered in a friendly, no pressure manner. Our main purpose is to provide you with information so you can make an educated decision. For more information call 1-888-621-7300 If you are on line write down our phone number and call us when you can. Soon, you and your loved ones will be very glad you did. Read what people are saying: "The effects of 6 months of GH on lean body mass and fat were equivalent in magnitude to the changes incurred during 10-20 years of aging." Dr. Daniel Rudman, MD, New England Journal of Medicine. "Within four months, my body fat decreased form 30% down to 21%! I noticed my skin is more supple and my overall mental outlook improved significantly." D.W., New Jersey "We have been on the spray for just 3 weeks now, and besides the tremendous energy we both feel, my husbands allergies and spells of depression have lifted. I am healing extremely fast after an accident and have lost 7 lbs. without trying!" C.B., Flagstaff. AZ Thanks for reading our letter, The HGH Staff USA Division PS: The HGH Staff guarantees the highest quality and lowest price. We manufacture and ship directly to your door. Call us now 1-888-621-7300 *********************************************************** ======= End of message ======== To Qualify for a Free HGH Consultation call the HGH Staff -- Today. *********************************************************** The following statement is provided to be in compliance with commercial email laws. If you do not wish to receive further mailings, please click reply and type remove in the subject box. Then click send. This message is in full compliance with U.S. Federal requirements for commercial email under bill S.1618 Title lll, Section 301, Paragraph (a)(2)(C) passed by the 105th U.S. Congress and is not considered SPAM since it includes a remove mechanism. *********************************************************** This message is not intended for residents in the states of CA, NC, NV, RI, TN, VA & WA. Screening of addresses has been done to the best of our technical ability. *********************************************************** Call us now 1-888-621-7300 for your free HGH consultation

1 0

[repeat post] Re: Syntax for implicit parameters
by Keith Wansbrough 23 Apr '01

23 Apr '01

[sorry for duplication; I missed out hugs-bugs before] > Simon Peyton-Jones wrote: > > [...] > > 1. [happy]. Use 'let' > > 2. [consent]. Use 'dlet' or 'with' > > 3. [hate] Use both 'dlet' and 'with' > > > > Would the Hugs folk be willing to adopt (2)? Please correct me if I'm wrong: The two syntaxes are: (i) let ?x = foo in bar (ii) bar with ?x = foo Surely we could use *zero* extra identifiers by writing: (ia) let ?x = foo in bar (iia) bar where ?x = foo i.e., s/dlet/let/ and s/with/where/ . I thought this was mentioned at the Haskell Implementors' Meeting. --KW 8-) -- Keith Wansbrough <kw217(a)cl.cam.ac.uk> http://www.cl.cam.ac.uk/users/kw217/ Cambridge University Computer Laboratory.

2 2