Re: Assembly decoding help?

2008-03-04 Thread Stefan O'Rear
On Tue, Mar 04, 2008 at 05:07:03PM -0800, Justin Bailey wrote: I'm trying to get a feel for the assembly output by GHC on my platform. Below is a module containing one function and the associated assembly. I've put in comments what I think is going on, but I'd appreciate it if anyone could

Re: a help for install

2008-02-18 Thread Stefan O'Rear
On Mon, Feb 18, 2008 at 12:46:19PM -0600, Carlos Gomez A. wrote: hi, my name is carlos I need information for correct installor what are dependencies on ghc ? I have a Debian System. I have this message error to install the ghc: Debian-System/haskell/ghc-6.8.2# ./configure

Re: ghci feature request: partially read modules

2008-02-16 Thread Stefan O'Rear
On Sat, Feb 16, 2008 at 04:53:24PM +0100, Johannes Waldmann wrote: Hello. Here is one ghci feature that I find mildly annoying: If ghci (re-)reads a module that contains some error, then it considers the module loading as a complete failure, and at the prompt I get the Prelude

Re: ghci feature request: partially read modules

2008-02-16 Thread Stefan O'Rear
On Sat, Feb 16, 2008 at 06:58:29PM +0100, Johannes Waldmann wrote: Sure. Syntax errors are usually easy to spot and fix (for the programmer who uses some reasonable code layout); the motivation for my proposal was type errors. I think it would be perfectly acceptable if ghci rejects

Re: GHC lazy eval optimization bug

2008-02-03 Thread Stefan O'Rear
On Sun, Feb 03, 2008 at 02:37:42PM -0500, Adam P Jenkins wrote: The haskell program below demonstrates an optimization bug with the GHC compiler. I have tried this with ghc 6.8.1 on my MacBook Pro and on a Linux i686 machine. This email should build as a literate haskell program. Build the

Re: there isn't any difference, is there, with unboxed tuples?

2008-01-04 Thread Stefan O'Rear
On Fri, Jan 04, 2008 at 09:36:33PM -0500, Isaac Dupree wrote: -- unboxed types in function results are automatically lifted... or what was the term meaning they could be _|_, failing to terminate, (because of the function-ness)? -- unboxed tuples are specially restricted to be only allowed,

Re: whole program optimization

2007-12-27 Thread Stefan O'Rear
On Thu, Dec 27, 2007 at 01:47:44PM +0100, Wolfgang Jeltsch wrote: Am Sonntag, 23. Dezember 2007 13:35 schrieb Isaac Dupree: GHC optimizes less effectively when parts of a program are in different modules, or are exported from a module. By the way, does GHC do cross-package optimization

Re: whole program optimization

2007-12-23 Thread Stefan O'Rear
On Sun, Dec 23, 2007 at 07:35:20AM -0500, Isaac Dupree wrote: GHC optimizes less effectively when parts of a program are in different modules, or are exported from a module. Therefore, merging all the code into one module Main (main) would help. Unfortunately, Haskell source syntax is

Re: ForeignPtr performance

2007-12-17 Thread Stefan O'Rear
On Mon, Dec 17, 2007 at 02:12:31PM +0300, Bulat Ziganshin wrote: Hello Simon, Monday, December 17, 2007, 1:33:19 PM, you wrote: My question is: what exactly does GHC.Prim.touch# do? This appears to it's a no-op (for ghc 6.6+ at least). its only task is to notify ghc optimizer that

Re: newtypes and optimization

2007-12-12 Thread Stefan O'Rear
On Wed, Dec 12, 2007 at 11:02:15AM -0700, Scott Dillard wrote: with strictness annotations and INLINEs for everything. I also tried automatic newtype deriving, with no luck. Why does a newtype defeat so much of the optimization? Thanks, Scott (Not a GHC developer, but someone fairly

Re: [Haskell-cafe] class default method proposal

2007-12-11 Thread Stefan O'Rear
On Tue, Dec 11, 2007 at 02:20:52PM +, Duncan Coutts wrote: I'd just like to float an idea that's related to the Class Alias proposal[1] but is perhaps somewhat simpler. We all know that Functor should have been a superclass of Monad, and indeed we now know that Applicative should be too.

Re: ghci changing 'm' to 'g'

2007-11-21 Thread Stefan O'Rear
On Wed, Nov 21, 2007 at 01:16:34PM -0500, Olivier Boudry wrote: On Nov 21, 2007 1:07 PM, Greg Fitzgerald [EMAIL PROTECTED] wrote: Running 6.8.1 on Windows XP, typing 'main' while :r is still processing causes the 'm' in 'main' to morph to a 'g'. :r [1 of 2] Compiling

Re: ghci changing 'm' to 'g'

2007-11-21 Thread Stefan O'Rear
On Thu, Nov 22, 2007 at 01:12:16AM +0200, Yitzchak Gale wrote: Greg Fitzgerald wrote: Running 6.8.1 on Windows XP, typing 'main' while :r is still processing causes the 'm' in 'main' to morph to a 'g'. Olivier Boudry wrote: it (also works with :l). Stefan O'Rear wrote: It's very old

Re: Exposed module still hidden, why?

2007-11-20 Thread Stefan O'Rear
On Tue, Nov 20, 2007 at 12:18:57PM -0800, Greg Fitzgerald wrote: Using GHC 6.8.1 on Windows XP, after having used ghc-pkg to expose ' directory-1.0.0.0', I am getting an error when I build haddock that says the package is hidden. When I type ghc-pkg list, the package is not in parenthesis.

Re: Extensible Records

2007-11-11 Thread Stefan O'Rear
On Sun, Nov 11, 2007 at 03:02:56PM +0300, Bulat Ziganshin wrote: Hello Barney, Sunday, November 11, 2007, 2:34:14 PM, you wrote: An important application which is made impossible by this approach is i propose to start Records project by composing list of requirements/applications to

Re: Extensible Records

2007-11-10 Thread Stefan O'Rear
On Sat, Nov 10, 2007 at 06:35:34PM -0500, Seth Kurtzberg wrote: 6.10? I think that's a typo as the current version is 6.8.1. Or did I misunderstand what you were saying? 6.8.1 is released, there is abolutely no way new features are going to enter a published version. Hence, 6.10. Stefan

Re: Extensible Records

2007-11-10 Thread Stefan O'Rear
On Sat, Nov 10, 2007 at 06:35:34PM -0500, Seth Kurtzberg wrote: Is there any chance of seeing extensible records in GHC 6.10? There seems to be widespread agreement that the current situation is unacceptable, but the official GHC policy is that there are too many good ideas to choose from -

Re: Prevent optimization from tempering with unsafePerformIO

2007-10-16 Thread Stefan O'Rear
On Tue, Oct 16, 2007 at 04:06:26PM +0200, Bernd Brassel wrote: Hi Neil, hi Don! Nice meeting you at ICFP by the way. Can you give a specific example of what you have tried to do, and how it failed? I have attached a short synopsis of what our Curry to Haskell conceptually does. I

Re: Generics in 6.8.0 RC

2007-09-22 Thread Stefan O'Rear
On Sat, Sep 22, 2007 at 10:45:50AM +0200, Dirk Kleeblatt wrote: Dear *, I just failed to get generic classes working with snapshot ghc-6.8.0.20070920-i386-unknown-linux.tar.bz2. Are generics broken in the RC, or am I doing something wrong? I tried the following module: ... Gen.hs:13:0:

Re: unique id for data types

2007-09-18 Thread Stefan O'Rear
On Tue, Sep 18, 2007 at 04:41:33PM +0100, Barney Hilken wrote: Hi Simon, thanks for the response. In fact I really only need NameCmp to be defined for datatypes of the form data T = T but it's still a lot, so I was expecting to need an extension. Lexical comparison of fully qualified

Re: GHC 6.8.1 RC debugger only breaking on first evaluation of a function

2007-09-18 Thread Stefan O'Rear
On Tue, Sep 18, 2007 at 02:26:38PM -0400, Olivier Boudry wrote: Hi all, I just tried the new GHCi debugger. A great new feature of GHCi 6.8.1. When debugging a function, as for example the qsort function given as an example in the 3.5 The GHCi Debugger documentation page, the debugger will

Re: Status of GHC runtime dependency on GNU multi precision arithmetic library

2007-08-22 Thread Stefan O'Rear
On Wed, Aug 22, 2007 at 10:32:36AM +0100, Simon Peyton-Jones wrote: | There is an interest in removing GMP, motivated partly by licensing but | also due to portabiltity concerns and the fact that the use of GHC's | memory manager in GMP prevents FFI code from using GMP safely. | |

Re: Qualified identifiers opinion

2007-08-17 Thread Stefan O'Rear
On Fri, Aug 17, 2007 at 12:53:11PM +0200, Christian Maeder wrote: Hi Isaac, just to give you a reply at all, see below. I reply glasgow-haskell-users@haskell.org since I'm not subscribed to haskell-prime. And I don't want to subscribe, because I'm more interested that Haskell becomes more

Re: Status of GHC runtime dependency on GNU multi precision arithmetic library

2007-08-15 Thread Stefan O'Rear
On Wed, Aug 15, 2007 at 06:41:53PM +0100, Brian Hulley wrote: Hi, I know this is a sensitive issue and I absolutely don't want to start any kind of discussion about the merits or otherwise of LGPL, but I was wondering if there are any plans to remove the GNU mp library from the runtime so

Re: (Compile ghc 6.7) Cannot find package base

2007-08-12 Thread Stefan O'Rear
On Sun, Aug 12, 2007 at 10:05:17AM +0200, Mads Lindstrøm wrote: Hi all I tried compiling ghc 6.7 during the night. I used the following script: ... Failed to load interface for `System.IO': Use -v to see a list of the files searched for. ghc-6.7.20070810: panic! (the

Re: wondering about -ddump-parsed, rn

2007-08-09 Thread Stefan O'Rear
On Thu, Aug 09, 2007 at 06:51:12AM -0300, Isaac Dupree wrote: Simon Peyton-Jones wrote: -ddump-parsed shows the program after parsing. All operator application are parsed *left-associative* with one precedence. Then the renamer re-associates them to respect precedence and associativity.

Re: Adding type signature changes semantics (was [Haskell-cafe] Lazy in either argument?)

2007-08-03 Thread Stefan O'Rear
On Fri, Aug 03, 2007 at 09:01:18PM -0300, Isaac Dupree wrote: Tim Chevalier wrote: On 8/3/07, Simon Peyton-Jones [EMAIL PROTECTED] wrote: Stefan is right here. - It's not surprising that with -Onot you get different code from different source programs, even if one can readily be transformed

Re: Annotation for unfolding wanted

2007-08-01 Thread Stefan O'Rear
On Wed, Aug 01, 2007 at 09:42:54AM +0200, Georg Martius wrote: Hi, I am sorry for using the wrong terminology here. Let me ask again: Does it sound reasonable to extend the compiler with a pragma that specifies that a certain function should be compiled to a loop? And if the compiler can

Re: problem compiling an older Haskell program with GHC 6.6.1

2007-07-07 Thread Stefan O'Rear
On Sat, Jul 07, 2007 at 03:59:48PM -0400, Scott Stoller wrote: hi, I really appreciate the amazingly fast and helpful feedback to my previous message. that problem (FiniteMap not found) is solved. but a new problem came up... I am trying to compile paradox 1.0, an older (GHC 5) Haskell

Re: type error when compiling an older Haskell program

2007-07-07 Thread Stefan O'Rear
On Sat, Jul 07, 2007 at 10:53:17PM -0400, Scott Stoller wrote: hi, thanks to Stefan, I am past the second problem in compiling this program (needed to change 'bounds' to 'getBounds'). now I get a more intimidating error message... I am trying to compile paradox 1.0, an older (GHC 5)

Re: Locating shared libraries

2007-06-18 Thread Stefan O'Rear
On Mon, Jun 18, 2007 at 11:56:57AM -0400, Peter Tanski wrote: Now each GHC-Haskell-based program installer would search /usr/local/ lib for, say, libHSrts_dyn-6.6.1.dylib and install that version if necessary. What happens on uninstall? The same thing you get on Windows when you have

Re: GHC Crosscompile

2007-06-18 Thread Stefan O'Rear
On Mon, Jun 18, 2007 at 05:49:29PM -0700, Anatoly Yakovenko wrote: how portable are the .hc files? do they depend on some library that needs to be built for the target? Would they generate read only position independent object code (no writable global variables)? Thanks, Anatoly You're

Re: Locating shared libraries

2007-06-13 Thread Stefan O'Rear
On Wed, Jun 13, 2007 at 03:00:04PM +0200, Clemens Fruhwirth wrote: 3) Running programs Let's see how libtool handles this situation. I would recommend against following libtool's lead in this area. Libtool's fondness for cooking RPATH into binaries makes it very difficult to

Re: Locating shared libraries

2007-06-13 Thread Stefan O'Rear
On Wed, Jun 13, 2007 at 10:05:11AM -0500, Rich Neswold wrote: On 6/13/07, Stefan O'Rear [EMAIL PROTECTED] wrote: Did I understand that correctly that you don't want to see binaries with rpath's pointing to install directories such as /usr/lib/gcc-6.6? So, this forces us to use a wrapper

Re: Locating shared libraries

2007-06-13 Thread Stefan O'Rear
On Wed, Jun 13, 2007 at 11:33:36AM -0700, Bryan O'Sullivan wrote: Clemens Fruhwirth wrote: Libtool's fondness for cooking RPATH into binaries makes it very difficult to deal with, because it's quite common for those binaries to get installed and distributed, RPATH and all. RPATH should

Re: GHC 6.6.1 on Debian Etch?

2007-06-05 Thread Stefan O'Rear
On Tue, Jun 05, 2007 at 10:13:41PM +0200, Wagner Ferenc wrote: Hi, what's the best way to install GHC 6.6.1 on a Debian Etch system? Basically: are there installable packages available somewhere, or should I recompile the Sid packages, or create a stub package from a binary .tar.gz bundle,

Re: Prelude not in haskell98?

2007-06-05 Thread Stefan O'Rear
On Wed, Jun 06, 2007 at 12:39:20AM +0100, Ian Lynagh wrote: On Tue, Jun 05, 2007 at 11:23:57PM +0100, Neil Mitchell wrote: All this seems to indicate that the Prelude is not a part of the haskell98 package. Is this the case, and if so, is this intentional? It would be nice if we could

Re: 2-days old in Haskell

2007-06-01 Thread Stefan O'Rear
On Fri, Jun 01, 2007 at 04:00:51PM +0200, TOPE KAREM wrote: I am very new to Haskell, and I am using this webpage as a learning source: http://www.haskell.org/haskellwiki/Haskell_in_5_steps#Install_Haskell I downloaded and instal GHC and it works as was said. I tried to write my first

Re: Replacing select() in the non-threaded RTS?

2007-05-30 Thread Stefan O'Rear
On Wed, May 30, 2007 at 09:21:36PM -0700, Bryan O'Sullivan wrote: I notice that select is a bit of a bottleneck in the non-threaded RTS once lots of sockets are in play. Between kernel and userspace, many a cycle are wasted once we go past a few hundred clients. On some operating systems,

Re: GHC.Prim problem

2007-05-29 Thread Stefan O'Rear
On Tue, May 29, 2007 at 09:58:38PM -0400, Alec Berryman wrote: Simon Marlow on 2007-05-29 16:05:49 +0100: Ben Sinclair wrote: Hello, I've had a problem with GHC.Prim when compiling the darcs HEAD lately. When I compile it in the normal way with no special options sh boot ./configure

Re: capabilities of GHC API

2007-05-19 Thread Stefan O'Rear
On Sat, May 19, 2007 at 06:09:45PM +0100, Frederik Eaton wrote: If you have GHC-6.6 or greater, try: let n = 2 in GHC.Base.breakpoint () Interesting, apparently that statement also contains the word 'print': :) $ ghci fly:~

Re: Cost of Overloading vs. HOFs

2007-05-04 Thread Stefan O'Rear
On Fri, May 04, 2007 at 09:02:03PM +0100, Neil Mitchell wrote: Hi Adrian The GHC users guide says overloading is death to performance if left to linger in an inner loop and one thing I noticed while playing about with the AVL lib was that using a HOF and passing the (overloaded) compare

Re: Cost of Overloading vs. HOFs

2007-05-04 Thread Stefan O'Rear
On Sat, May 05, 2007 at 10:29:54AM +1000, Matthew Brecknell wrote: Stefan O'Rear: Data.Sequence doesn't use overloading Data.Sequence uses overloading for subtree size annotations. The structural recursion seems to make it quite awkward to express size annotations without overloading. Ah

Re: Why do we have stack overflows?

2007-05-03 Thread Stefan O'Rear
On Thu, May 03, 2007 at 05:36:45PM -0700, Brandon Michael Moore wrote: On Thu, May 03, 2007 at 04:59:58PM -0700, John Meacham wrote: I believe it is because a stack cannot be garbage collected, and must be traversed as roots for every garbage collection. I don't think there are any issues

Re: non-owner-writable files generated in ghc build process?

2007-04-29 Thread Stefan O'Rear
On Sun, Apr 29, 2007 at 09:12:00AM -0400, Isaac Dupree wrote: When I was doing `rm -r` on a build tree it pointed out that driver/split/ghc-split.prl and driver/mangler/ghc-asm.prl were write-protected. Tacking this down, they're generated from .lprl with unlit... then (in mk/suffix.mk)

Re: Release plans

2007-04-16 Thread Stefan O'Rear
On Mon, Apr 16, 2007 at 03:54:56PM +0100, Simon Marlow wrote: - left-to-right impredicative instantiation: runST $ foo This concerns me. With each ad-hoc extension of the type system, I worry that soon the GHC type system will become so byzantine and ill-specified that the type checker can only

Re: GADT + Newtype deriving = Erroneous errors

2007-03-28 Thread Stefan O'Rear
On Wed, Mar 28, 2007 at 12:03:41PM +0100, Chris Kuklewicz wrote: Stefan O'Rear wrote: On Tue, Mar 27, 2007 at 11:32:29AM +0100, Chris Kuklewicz wrote: Stefan O'Rear wrote: newtype Foo = Foo Int deriving(IsIntC) Note that (Foo 2) + 2 is an attempt to add a Foo and an Int, which

Re: GADT + Newtype deriving = Erroneous errors

2007-03-27 Thread Stefan O'Rear
On Tue, Mar 27, 2007 at 11:32:29AM +0100, Chris Kuklewicz wrote: Stefan O'Rear wrote: This code causes GHC to incorrectly fail - the case *is* reachable. (I invented this technique in an attempt to directly access the internal System FC newtype coercion; it promised until a few minutes

Re: chr and ord not in standard prelude

2007-03-09 Thread Stefan O'Rear
On Fri, Mar 09, 2007 at 03:40:08PM -0500, Colletta, Edward wrote: When I try to use functions chr or ord, I get a not in scope error. If I :browse Prelude I do not see these functions. Is there another module I should load? Don't use chr and ord - they aren't polymorphic, they restrict your

Re: size of snapshot archive

2007-02-18 Thread Stefan O'Rear
On Sun, Feb 18, 2007 at 10:19:05PM +0200, Dinko Tenev wrote: On 2/18/07, Bulat Ziganshin [EMAIL PROTECTED] wrote: Hello glasgow-haskell-users, i'm tried to download newer snapshot of 6.6 and found that now it's 74 mb! why it is so large and why it's so enlarged after 6.6 release? isn't it

Re: Thoughts on the design of External Core

2007-02-14 Thread Stefan O'Rear
Would it be feasable to discard the IfaceSyn typechecker entirely, replacing it with an single invocation of Core Lint? Stefan ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org