spurious export conflict

2003-01-06 Thread Ross Paterson
GHC reports an export conflict on the following: module M where import List as M sort = foo ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

RE: BCO entry code - parameter passing on RISC

2003-01-06 Thread Simon Marlow
After a day of running gdb in parallel on my MacOS X and Linux [quite annoying because of different keyboard layouts ;-) ], I've come to the following conclusion: The entry code for BCOs expects all parameters to be on the stack, but on non-x86 machines, the stg_ap_*_ret pass

RE: bug

2003-01-06 Thread Simon Marlow
it only happens when i try to compile with profiling enabled. Profiling (-prof) is incompatible with the native code generator (-fasm). Leave out -fasm if you want profiling. (Compiling will be slower without -fasm) It is only a tiny bug: GHC should complain about incompatible options

RE: spurious export conflict

2003-01-06 Thread Simon Peyton-Jones
It's not spurious. Both M.sort and Data.List.sort are in scope under both names: sort and M.sort And that makes it ambiguous according to the spec. Simon | -Original Message- | From: Ross Paterson [mailto:[EMAIL PROTECTED]] | Sent: 06 January 2003 12:01 | To:

Re: spurious export conflict

2003-01-06 Thread Ross Paterson
On Mon, Jan 06, 2003 at 05:36:47PM -, Simon Peyton-Jones wrote: | GHC reports an export conflict on the following: | | module M where | import List as M | sort = foo It's not spurious. Both M.sort and Data.List.sort are in scope under both names:

RE: Profiling question

2003-01-06 Thread Simon Peyton-Jones
Not currently. It's not clear what a point in execution *is*! The top-level IO monad thread might provide such a point, but even then it might not be clear how much of a lazy data structure had been evaluated by that point. I could see sense in having an I/O operation markProfile ::

RE: Template Haskell reification

2003-01-06 Thread Simon Peyton-Jones
| Why is it that one can't reify top level function declarations? At the | moment it only seems that we can reify type declarations. No immediate | reason for this seems to spring to mind, but there may be one. [I'm interested to know something about your application, incidentally.] Several

Suggested improvements to .hi-boot files

2003-01-06 Thread George Russell
I am using .hi-boot files quite a lot at the moment. I'm very grateful for the recent change to a more Haskelly syntax, but I have a couple of suggestions for the GHC team to implement in their no doubt ample free time. 8-) (1) Importing a module {-# SOURCE #-} into itself currently produces a

Re: Profiling question

2003-01-06 Thread Malcolm Wallace
Kirsten Chevalier [EMAIL PROTECTED] writes: I'd like to be able to determine the percentage of allocated objects of a particular type at specific points in a program's execution. I know that I can use heap profiling to create a graph of memory usage broken down by type, but is there any way

RE: Proposal for GHC documentation

2003-01-06 Thread Simon Marlow
The rewritten documentation can be translated to HTML using just a standard xsltproc tool (available for both Cygwin Linux) and XSLT DocBook stylesheet. The main advantage of XML version is that there is already developed XSLT stylesheet which generates input for Microsoft HTML Help

RE: Run-time options in ghc on Linux

2003-01-06 Thread Simon Marlow
Ok, $ cat null.hs module Main(main) where main = return () $ ghc null.hs -o null $ ./null +RTS -? $ Is your GHCRTS environment variable set to anything? Cheers, Simon ___ Glasgow-haskell-users mailing list [EMAIL PROTECTED]

RE: reaping fd's and flushing buffers

2003-01-06 Thread Simon Marlow
Sure enough, after I say that all my fd reaping issues are solved at the Haskell level, I've been bitten by issues that look like the RTS doing things behind my back wrt. reaping fd's etc. etc. Basically, while I used socketToHandle the fd's got closed prematurely, and once I eliminated

Re: reaping fd's and flushing buffers

2003-01-06 Thread William Lee Irwin III
On Mon, Jan 06, 2003 at 02:02:13PM -, Simon Marlow wrote: ... actually I've just looked at the code and it looks wrong, aargh! The finalizer is attached to the wrong side. If you have a source tree handy, try changing the following line in libraries/base/GHC/Handle.hs: addMVarFinalizer

RE: Suggested improvements to .hi-boot files

2003-01-06 Thread Simon Marlow
Thanks for the suggestions, George. May I suggest that a good place for these things is the Feature Requests tracker on the GHC SourceForge page - otherwise good suggestions tend to get lost if we don't implement them immediately. I am using .hi-boot files quite a lot at the moment. I'm

RE: --show-iface bug?

2003-01-06 Thread Simon Marlow
John Meacham wrote: [...] --show-iface seems to not be able to show .hi files created when profiling is turned on. [...] Use the (undocumented :-) option -buildtag p *before* --show-iface, e.g. ghc -buildtag p --show-iface Foo.p_hi It doesn't work after --show-iface,

Linking with object files

2003-01-06 Thread Adrian Hey
Hello, I seem to be having some trouble doing this and have a couple of questions.. The first question is how do you use --make option when doing this? Section 4.5 of the users guide seems to contradictory to me. It states.. The command line must contain one source file or module name and

Re: Profiling question

2003-01-06 Thread John Meacham
Ah, I'd definatly like to request it for GHC. as well as a version in the IO monad, I have wanted both on various occasions. John On Mon, Jan 06, 2003 at 12:55:35PM +, Malcolm Wallace wrote: Kirsten Chevalier [EMAIL PROTECTED] writes: I'd like to be able to determine the

Template Haskell

2003-01-06 Thread Simon Peyton-Jones
Folks Template Haskell is now being used by a few brave souls (they have to build GHC from scratch), and I don't want to overload the Haskell mailing list with nitty-gritty discussion about the finer points of TH. So Simon M has created a separate mailing list [EMAIL PROTECTED] for

Re: Template Haskell

2003-01-06 Thread Yoann Padioleau
Simon Peyton-Jones [EMAIL PROTECTED] writes: Folks Template Haskell is now being used by a few brave souls (they have to build GHC from scratch), and I don't want to overload the Haskell mailing list with nitty-gritty discussion about the finer points of TH. So Simon M has created a

Re: Template Haskell

2003-01-06 Thread Gregory Wright
On Monday, January 6, 2003, at 07:59 AM, Yoann Padioleau wrote: Simon Peyton-Jones [EMAIL PROTECTED] writes: Folks Template Haskell is now being used by a few brave souls (they have to build GHC from scratch), and I don't want to overload the Haskell mailing list with nitty-gritty discussion

Re: Template Haskell

2003-01-06 Thread Keith Wansbrough
i tried http://haskell.org/pipermail/template-haskell/ to see the archive of the mailing list but i get an error : There is a stray character at the end of the URL. Delete it and you'll find what you're looking for. Not so; this is the correct URL, but I guess noone has posted yet

EACL2003: Last Call for Workshop Papers

2003-01-06 Thread steven . krauwer
EACL 2003 in Budapest, April 12-17, 2003 Workshop Programme and Very Last Call for Workshop Papers [ DEADLINE FOR ALL WORKSHOPS IS TUESDAY, JANUARY 7 2003 ] Important dates for all workshops: -- Submission deadline: Jan 07, 2003

Using SGML/XML in literate code

2003-01-06 Thread Peter Simons
I understand that I can mark-up code segments in a literate source module using the syntax: \begin{code} ... \end{code} But is it somehow possible to re-define this to be haskellcode ... /haskellcode instead? I am asking because the latter style would enable me to write

A newbie question about Arrows.

2003-01-06 Thread Nicolas Oury
Hello, I read some of the material about Arrows on www.haskell.org/arrows and I have some questions : * Why is made the choice to use (,) as Cartesian in first? Can't we write something like : class Cartesian p where pair :: a - b - (p a b) projLeft :: (p a b) - a projRight ::

Re: A newbie question about Arrows.

2003-01-06 Thread Ross Paterson
On Mon, Jan 06, 2003 at 11:02:32AM +0100, Nicolas Oury wrote: * Why is made the choice to use (,) as Cartesian in first? It's certainly possible to define a more general interface, and the theoretical work does. However the arrow interface is already very general, and the question is whether