Re: minor doc quibble

2001-11-02 Thread Gregory Wright
My Scottish grandmother taught me that these were the same thing. ;-) -greg w. On Thu, 2001-11-01 at 20:32, Ashley Yakeley wrote: GHC User's Guide sec. 6.4 s/Stingier/Thriftier/ 'stingy': doesn't give much 'thrifty': doesn't take much -- Ashley Yakeley, Seattle WA

RE: Stack overflow

2001-11-02 Thread Simon Peyton-Jones
The [1..] generates [1,1+1,1+1+1,1+1+1+1, ...] Those thunks all go into the heap. Then last grabs the last one and evaluates it, so they all go on the stack. Result death. The Int instance for Enum is a bit naughty in GHC: it is strict. That is [bottom..] is bottom rather than being

RE: Stack overflow

2001-11-02 Thread Josef Svenningsson
Hi! OK, so the Int instance for Enum is a bit naughty in that [bottom..] is bottom. But then one can argue that all instances of Enum should be naughty in this respect. The argument is as follows and uses the default declaration of enumFrom in the Enum class (I've added some types with the

RE: Stack overflow

2001-11-02 Thread Simon Peyton-Jones
Yes, I agree with this, and I'd already snuck it into the rewrite of the Enum section that I had to do anyhow. Would you like to read the section (6.3.4) and see if you think it is better specified now? Simon | -Original Message- | From: Josef Svenningsson [mailto:[EMAIL PROTECTED]] |

RE: Stack overflow

2001-11-02 Thread Josef Svenningsson
On Fri, 2 Nov 2001, Simon Peyton-Jones wrote: Yes, I agree with this, and I'd already snuck it into the rewrite of the Enum section that I had to do anyhow. Would you like to read the section (6.3.4) and see if you think it is better specified now? Yes, it's cool! No objections. I also

ÖйúÓÅÐã²úÆ·³ö¿Ú½»Ò×»á

2001-11-02 Thread »Ø¸´Ê±ÇëʹÓà [EMAIL PROTECTED]
Title: CN898.COM 1000ÍòÖйúÈË·ÃÎÊ 1000Íòº£ÍâÈË²Î¹Û 130¶à¸ö¹ú¼ÒµØÇøµÄ100ÍòÍâÉÌÔÚÊÀ½ç¸÷µØ²Î¼Ó ¡¾2001-2006ÖйúÓÅÐã²úÆ·³ö¿Ú½»Ò׻᡿ Chinese Excellent Export Commodities Online Fair 2001-2006 ½²ÇóʵЧ¡¢×¢ÖØ¿ì½Ý

Re: Building GHC 5.02 on Solaris x86

2001-11-02 Thread Sigbjorn Finne
Yuck. If this isn't enough to convince people that hsc2hs is not an appropriate tool (at least in the context of the Prelude and hslibs/), than I don't know what is. It commits to a particular platform at too early a stage -- details of C header files are often best left toC source files

Re: Building GHC 5.02 on Solaris x86

2001-11-02 Thread Alastair David Reid
So, bringing back the solution of having manually written C wrapper functions which platform-independent Haskell source files will call out to, would be preferable (in short, avoid the use of hsc2hs *or any other extra tool* alltogether). I'm willing to make the necessary changes. You

Re: Building GHC 5.02 on Solaris x86

2001-11-02 Thread Sigbjorn Finne
Alastair David Reid [EMAIL PROTECTED] writes: So, bringing back the solution of having manually written C wrapper functions which platform-independent Haskell source files will call out to, would be preferable (in short, avoid the use of hsc2hs *or any other extra tool* alltogether).

Re: interpreter features

2001-11-02 Thread Eray Ozkural (exa)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Friday 02 November 2001 10:11, Manuel M. T. Chakravarty wrote: Definitely. An environment like this is pretty trivial todo in Emacs. In fact, the Emacs Haskell mode does most of that already anyway. Well, I use emacs, but didn't really got

Christmas Shopping and Theatre (optional) break in London from £38.75 pppn!

2001-11-02 Thread Capital Worldwide
Title: Christmas Shopping and a Show!! For details of this amazing offer CLICK HERE Christmas Shopping and Theatre (optional) break in London from £38.75 pppn - breakfast! We have 5* down to 2* hotels available - at up to 50% discount! Top Shows such as Buddy and Blood Brothers at

Student Programming Projects

2001-11-02 Thread Barbara Nostrand
Hi. Next Semester, I am supposed to teach a short course in Haskell. Can anyone recommend interesting programming projects which can be completed in about a month? I posted this message a while ago and got a few suggestions that sounded like they would maintain student interest. Alas, my disk

RE: Why is (monad) elegance so costly?

2001-11-02 Thread Saswat Anand
Hi, I feel embarrased when I post newbie questions after one year of decent Haskell programming. But it feels much better to ask than to suffer in ignorance. My newbie question is: Could anyone explain why the second version of the following function is better. Is there a tutorial kind of

Re: Transmitting parameters

2001-11-02 Thread Ashley Yakeley
At 2001-11-01 22:10, raul sierra alcocer wrote: What mechanism of transmiting parameters does Haskell implement? By value. -- Ashley Yakeley, Seattle WA ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

Re: Transmitting parameters

2001-11-02 Thread Jon Fairbairn
At 2001-11-01 22:10, raul sierra alcocer wrote: What mechanism of transmiting parameters does Haskell implement? By value. Yes, though one might equally say that they are passed by reference, since in g = let f x = x+x z = factorial 1000 in f z * z the 'first' instance of x

Re: Transmitting parameters

2001-11-02 Thread Wolfgang Jeltsch
On Friday, 2 November 2001 07:10 Raul Sierra Alcocer wrote: Hi, What mechanism of transmiting parameters does Haskell implement? Thank you, Raul Anyway, it does not make sense to distinct between call-by-value and call-by-reference in the traditional way since variables cannot be modified

RE: 'Forall' Polymorphism Question

2001-11-02 Thread Andrew Kennedy
Not quite. A definition is impredicative if it refers to a collection which contains the object to be defined. (see http://www.xrefer.com/entry/552390) If you stratify a type system so that quantifiers only quantify over things at a lower stratum then (I think) it is predicative (= not

RE: Robustness of instance Read Char

2001-11-02 Thread Simon Peyton-Jones
I do agree with you that it woud be better for the Read class to use a Maybe result rather than a list of parses. But I'm not sure your problem can be solved simply by making the Char instance of Read better. The point is that the parser has to read the *whole* string before it can be sure

Type checking question

2001-11-02 Thread Adrian Hey
Hello, I've been playing around with GTK+HS recently. This makes extensive use of Haskell classes, so I sometimes get strange type errors like this one.. textNew (creates a new text widget) has type: textNew :: AdjustmentClass adj = Maybe adj - Maybe adj - IO Text But when I try to create

Re: Type checking question

2001-11-02 Thread Rijk-Jan van Haaften
Hello, Adrian wrote: textNew (creates a new text widget) has type: textNew :: AdjustmentClass adj = Maybe adj - Maybe adj - IO Text But when I try to create one using: txt - textNew Nothing Nothing GHC complains: Main.hs:82: Ambiguous type variable(s) `a' in the

Haskell 98 Revised

2001-11-02 Thread Simon Peyton-Jones
Haskellers! It's that time of the month. I'm putting out the November release of the Revised Haskell 98 Report. As ever, I earnestly seek your feedback. Especially I'd like to know whether I have stumbled in rewriting the section about Enum in the light of recent email.

RE: Scope of imported names

2001-11-02 Thread Simon Peyton-Jones
Karl-Filip wrote (on 22 Oct): | What I'm driving at is this: I propose that top level | bindings shadow imported names and that qualified names can | not be used to refer to declarations in the same module. [His message had a lot more in it, of course, but this is the nub.] There followed a

Re: Haskell 98 Revised

2001-11-02 Thread Ian Lynagh
On Fri, Nov 02, 2001 at 09:30:36AM -0800, Simon Peyton-Jones wrote: Haskellers! Hi Simon :-) It's that time of the month. I'm putting out the November release of the Revised Haskell 98 Report. As ever, I earnestly seek your feedback. Especially I'd like to know whether I have stumbled

Re: Scope of imported names

2001-11-02 Thread Marcin 'Qrczak' Kowalczyk
Fri, 2 Nov 2001 09:30:37 -0800, Simon Peyton-Jones [EMAIL PROTECTED] pisze: | They are also different in spirit from the rules for | instance declarations in section 4.3.2 where the binding | occurrences for the names of the methods must be qualified if | the unqualified method name is

ANNOUNCE: HXML 0.1, an(other) XML parser for Haskell

2001-11-02 Thread Joe English
2 Nov 2001 Announcing HXML, an(other) XML parser for Haskell. This implementation should have better space behaviour than HaXml's parser, and may be used as a drop-in replacement in existing HaXml programs. HXML is available at: URL: http://www.flightlab.com/~joe/hxml/ The current