RE: Syntax for implicit parameters

2001-04-26 Thread Mark P Jones
| Marcin Kowalczyk ([EMAIL PROTECTED]) 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

want to send archive with bugs

2001-04-26 Thread S.D.Mechveliani
may I send to someone of GHC team an archive with a couple of bugs of ghc-5.00 ? I mean not to copy the archive to the whole list ... and to debug. - Serge Mechveliani [EMAIL PROTECTED] ___ Glasgow-haskell-bugs mailing list [EMAIL

DriverMkDepend crashes for bad import paths (bug report + patch)

2001-04-26 Thread fis
This is a cosmetic bug related to path errors. I have a module that imports a non-existing module, and run ghc on it providing a non-existing path. I am using ghc-5.00 checked out yesterday from anoncvs and compiled without any special fine tuning. Compilation works:

RE: want to send archive with bugs

2001-04-26 Thread Julian Seward (Intl Vendor)
Sure, send it to me. Pls attach instructions on how to build, and how to reproduce the bugs. J | -Original Message- | From: S.D.Mechveliani [mailto:[EMAIL PROTECTED]] | Sent: Thursday, April 26, 2001 1:01 PM | To: [EMAIL PROTECTED] | Subject: want to send archive with bugs | | |

RE: DriverMkDepend crashes for bad import paths (bug report + patch)

2001-04-26 Thread Simon Marlow
This is a cosmetic bug related to path errors. [ snip ] Thanks, I've committed a (slightly modified) version of your patch. Cheers, Simon ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED]

Strange behaviour in implicit parameters

2001-04-26 Thread Alastair Reid
[This bug report may be related to SimonPJ's question about implicit parameters and the monomorphism restriction - I'm not sure.] The attached program contains two definitions of ident - a function that uses implicit parameters. The only difference between them is that the first (which works)

No line number in implicit parameter error message

2001-04-26 Thread Alastair Reid
GHC 5.0 doesn't tell me which line the error is on in the attached program. $ rm -f T.o ghc -c -fglasgow-exts T.hs Couldn't match `Int' against `[(String, Int)]' Expected type: Int Inferred type: [(String, Int)] The type error itself is correct: the type of ?env in the signature for

Re: Strange behaviour in implicit parameters

2001-04-26 Thread Dylan Thurston
On Thu, Apr 26, 2001 at 01:54:23PM -0600, Alastair Reid wrote: $ rm -f T.o ghc -c -fglasgow-exts T.hs -cpp -DOK=1 $ rm -f T.o ghc -c -fglasgow-exts T.hs -cpp -DOK=2 T.hs:20: Could not deduce `?env :: ([(String, b)], b1)' from the context () Probable fix: Add `?env ::

Re: Strange behaviour in implicit parameters

2001-04-26 Thread Alastair Reid
Two further details: 1) The previous bug report is for a copy of ghc 5.00 built from the repository (on Debian Linux). The newest file .lhs file (hence last update?) is dated April 20, 17:37 2) This part Or add an instance declaration for `?env :: ([(String, b)], b1)' of the

Wording of type error

2001-04-26 Thread Alastair Reid
This binding: ... where ... glue' = map mkGlue glue ... generated the following type error which is correct except: 1) glue' is clearly _not_ a function but the last line of the message refers to it as a function. (There's a small chance that things are being confused

:l XX libFoo.a

2001-04-26 Thread S.D.Mechveliani
The :load command of the ghc-5.00 interpreter first searches the needed compiled modules (*.o) and loads them when finds. But how to make it to search them in the object code library xxx/libFoo.a ? For it is better to keep the fixed *.o files in a library. And `:load' works in the above

Building nhc98-1.02 with ghc-5.00

2001-04-26 Thread Wolfhard Buß
Hello, the building of nhc98-1.02 with ghc-5.00 aborts with the message: Main.hs:8: Failed to find interface decl for `PrelGHC.(#,,#)' from module `PrelGHC' Any hints for interpretation? Kind regards, Wolfhard.

RE: :! ghc -c vs :c

2001-04-26 Thread Simon Marlow
The ghc interactive ghci compiles the module by the command :! ghc -c Has it sense to provide a command :compile (:c), having a meaningful name and a format similar to other commands, like say :load ?

RE: :l XX libFoo.a

2001-04-26 Thread Simon Marlow
The :load command of the ghc-5.00 interpreter first searches the needed compiled modules (*.o) and loads them when finds. But how to make it to search them in the object code library xxx/libFoo.a ? For it is better to keep the fixed *.o files in a library. And `:load' works in

RE: :! ghc -c vs :c

2001-04-26 Thread Marcin 'Qrczak' Kowalczyk
On Thu, 26 Apr 2001, Simon Marlow wrote: Yes, this is another thing we'd like to do, but haven't got around to yet. (you can always define your own :compile command using :def of course, but the benefit of a built-in one would be that it could take advantage of the in-memroy interfaces

Re: Implict parameters and monomorphism

2001-04-26 Thread Jeffrey R. Lewis
Simon Peyton-Jones wrote: This is a long message about the design of implicit parameters. In particular, it is about the interaction of the monomorphism restriction with implicit parameters. This issue was discussed in the original implicit-parameter paper, but I wanted to articulate it

Re: Implict parameters and monomorphism

2001-04-26 Thread kahl
Jeffrey R. Lewis [EMAIL PROTECTED] argued that the monomorphism restriction enabled translations of let-bindungs into lambda-bindings: let z = x + ?y in z+z [...] The example above becomes: (\z - z + z) (x + ?y) In Hindley-Milner type systems, the point about

Haskell History

2001-04-26 Thread IAESTE IFML
Hi! We're very interested in knowing everything (well, lots of things) about functional Programming History, and it's being very hard to get information about it. Could you recommend us some good book or web page to learn more about this subject? Best regards, Carlos, Cristina Montse

Re: Haskell History

2001-04-26 Thread andrew
These are general FP/history and not directly Haskell, but searching lambda.weblogs.com for history gives a bunch of hits including: http://lambda.weblogs.com/discuss/msgReader$913 http://lambda.weblogs.com/discuss/msgReader$328 http://lambda.weblogs.com/discuss/msgReader$869

help!!!!

2001-04-26 Thread Cadena Silva Andres
I need examples of trees please. ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

RE: help!!!!

2001-04-26 Thread Frank Atanassow
Cadena Silva Andres wrote: I need examples of trees please. No problem! Lemme see now... There's oak, scarlet oak, bur oak, pin oak, northern red oak, shingle oak, swamp white oak, pine, Scotch pine, Austrian pine, willow, white willow, birch, redwood, mulberry, apple, cherry, black cherry,

Re: help!!!!

2001-04-26 Thread Ashley Yakeley
At 2001-04-26 11:44, Cadena Silva Andres wrote: I need examples of trees please. Of all the trees that grow so fair, Old England to adorn, Greater are none beneath the Sun, Than Oak, and Ash, and Thorn. Sing Oak, and Ash, and Thorn, good Sirs (All of a Midsummer morn)! Surely we sing of