Re: compiling on solaris 9

On Mon, 2007-09-17 at 13:03 +0100, Simon Marlow wrote: skaller wrote: 1. Measure the size (and alignment, while at it) of all the integer types. (trial execute and run). We already do this. Incedentally, the GHC RTS does provide a full complement of explicitly-sized types: Stg{Int,Word

Re: compiling on solaris 9

On Sat, 2007-09-15 at 14:42 +0200, Sven Panne wrote: On Saturday 15 September 2007 13:58, skaller wrote: The RIGHT way to do this is rather messy .. but there is only one right way to do it. [...] IMHO things are not that black or white: I think we have a tradeoff between almost 100

Re: compiling on solaris 9

On Sat, 2007-09-15 at 15:42 +0200, Sven Panne wrote: On Saturday 15 September 2007 13:58, skaller wrote: [...] 1. Measure the size (and alignment, while at it) of all the integer types. (trial execute and run). [...] 4. For the ones provided, AND size_t, ptrdiff_t, check their size

Re: 64-bit windows version?

is that it should be generic and package based, that is, it does NOT include special purpose tools as might be required to build, say, Haskell programs: these are represented by 'plugin' components. A rough model of this: think Debian package manager, but for source code not binaries. -- John Skaller

Re: 64-bit windows version?

habit of naming shared libraries like libxxx.so.1.2 which really makes a complete mess of build systems. What I'm saying is you just can't wrap Windows tools inside a Unix build script. You have to write an abstract script, and implement the abstractions for each platform. -- John Skaller skaller

Re: 64-bit windows version?

to get a bash emulation .. but really, designed-to-be-portable code written in Python, Perl, Scheme, or even Haskell is better .. because it eliminates uncertainty and gives you full control of how build actions are implemented on each platform. -- John Skaller skaller at users dot sf dot net

Re: 64-bit windows version?

Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: 64-bit windows version?

On Fri, 2007-06-22 at 14:45 +0100, Simon Marlow wrote: skaller wrote: This misses the point. The 'suck it and see' idea fails totally for cross-compilation. It's a special case. The right way to do things is to separate the steps: (a) make a configuration (b) select

Re: 64-bit windows version?

package. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: 64-bit windows version? (Haskell is a scripting language too!)

On Fri, 2007-06-22 at 02:06 +0100, Brian Hulley wrote: skaller wrote: (a) Pick a portable scripting language which is readily available on all platforms. I chose Python. Perl would also do. If I had time to look into improving the GHC build system I'd definitely use Haskell

Re: 64-bit windows version?

on board? They have an Ocaml (called F#) now.. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo

Re: 64-bit windows version?

to work on Linux without binutils... :) -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow

Re: 64-bit windows version?

).. and doesn't have gcc interesting way of managing register usage. I don't know of any completely free 64-bit compilers for Windows. I don't know of any completely free 64 bit compilers for Linux. gcc is GPL which is anything but free of encumberance .. -- John Skaller skaller at users dot sf

Re: 64-bit windows version?

with MSVC++? -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: Re[2]: 64-bit windows version?

On Wed, 2007-06-20 at 07:34 +0400, Bulat Ziganshin wrote: Hello skaller, Tuesday, June 19, 2007, 8:15:19 PM, you wrote: are you plan to implement 64-bit windows GHC version? Why do you need mingw? What's wrong with MSVC++? really! Simon, how about unregisterised build? skaller

Re: Locating shared libraries

On Fri, 2007-06-15 at 17:28 +0100, Ian Lynagh wrote: Hi John, On Thu, Jun 14, 2007 at 09:17:16AM +1000, skaller wrote: The rules for package managers like Debian are that a component library split into /usr/include, /usr/lib MUST have a man page, I'm not sure where you're getting

Re: Locating shared libraries

On Fri, 2007-06-15 at 19:40 -0500, Spencer Janssen wrote: On Sat, 16 Jun 2007 08:21:50 +1000 skaller [EMAIL PROTECTED] wrote: One way to measure this is: if you removed GHC and applications, and there are (necessarily) no users of the remaining library package .. the library package

Re: Locating shared libraries

of sources and the 'average' user should know about anything else: it's a basic principle of abstraction. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell

Re: dynamic linking with stdc++ (was: Re: ghci dynamic linking)

/x86_64-linux-gnu/4.1.2/libstdc++* /lib/gcc/x86_64-linux-gnu/4.1.2/libstdc++.so - ../../../libstdc++.so.6 so the link 'libstdc++.so' does exist .. but it is in a compiler specific location. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net

Re: Cost of Overloading vs. HOFs

polymorphism. [But Felix doesn't support that anyhow] -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo

Re: GHC Manuals online

search first .. human maintained links are often better. And if not complain and someone may fix it. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users

Re: rules

On Fri, 2007-03-30 at 13:04 -0700, Tim Chevalier wrote: On 3/30/07, skaller [EMAIL PROTECTED] wrote: I'm curious when and how GHC applies rewrite rules, and how expensive it is. Have you seen the Playing By Rules paper? http://research.microsoft.com/~simonpj/Papers/rules.htm If you

Re: GHC 6.4.1 and Win32 DLLs: Bug in shutdownHaskell?

small amount of memory it actually uses. I know nothing of Matlab or Haskell linkage .. so do you know which C library they're linked against? It has to be the same one, and it must be dynamic linkage. (Felix build was inconsistent and we got similar random behaviour). -- John Skaller skaller

Re: Floating point problems

of IEEE or ISO rules/specifications for math func‐ tions. Exact portable calculations are the default: you have to enable non-IEEE/ISO C conformance to get good performance explicitly with a switch. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net

Re: Floating point problems

in its comparisons, of course. Congratulations! You have just discovered Constructivist Mathematics :) -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell

Re: 6.4.3 and threaded RTS problems

the condition. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: Data.Generics vs. Template Haskell

this problem is now fully solved by Barry Jay: polyadic traversal drops out of pattern calculus. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users

Re: Re[4]: Replacement for GMP: Update

On Sat, 2006-08-12 at 10:58 +0400, Bulat Ziganshin wrote: Hello skaller, Saturday, August 12, 2006, 7:06:15 AM, you wrote: My point here is that actually this is a disastrous optimisation in a multi-processing environment, because in general, the assignment of a pointer means

Re: Re[2]: Replacement for GMP: Update

without a fairly expensive box with enough CPUs on the one bus. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org

Re: Re[2]: Replacement for GMP: Update

, Haskell is less a language of translation to sequential machine code and more a description of a computational model. If you still think I am wrong about this, I don't. I think you're right. Purely functional storage model seems to scale better to multiple threads. -- John Skaller skaller

Re: fork and ghc

/~hbaker1/CheneyMTA.html It is very interesting, I think I might implement it as my 'fast to compile' back end for jhc if I can adapt it to a lazy language. Not even marginally portable ;( -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net

Re: 6.6 plans and status

of PCRE? [It is also Posix compliant and drop in replacement for gnu regex .. as well as supporting nice extensions] -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list

Re: Replacement for GMP as Bignum: ARPREC? Haskell?; OS-X and OpenSSL

into an executable (and indeed into a dynamic library) using the -rpath linker directive. Which has problems of its own -- and is strongly discouraged by systems like Debian. Don't even think about it, rpath is evil. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http

Re: Re[2]: FFI: number of worker threads?

cooperate to do context switches when necessary. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo

Re: WordPtr,IntPtr,IntMax,WordMax

size problem that can be handled. For SIMD registers far worse .. halves the number of parallel computations you can do. -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing

Re: Silly IO problem

Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: jhc vs ghc and the surprising result involving ghc generatedassembly.

://felix.sourceforge.net/papers/mercury_to_c.ps -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo

Re: jhc vs ghc and the surprising result involving ghc generatedassembly.

the right data section pointer. I suspect Haskell cannot do that, since it would defeat the intended optimisation. [More precisely, in Felix the technique is used to implement non-local gotos, and which can only occur in procedures, not in functions] -- John Skaller skaller at users dot sf dot net

Re: jhc vs ghc and the surprising result involving ghc generated assembly.

, The C compiler emits code which doesn't use the stack. huh? how can a recursive call not use the stack?? -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow

Silly IO problem

) -- It prints n, rather than tak(3n,2n,n). Can someone give me the right encoding please? -- John Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users

Re: jhc vs ghc and the surprising result involving ghc generated assembly.

are optimised away, so the Felix version is only using 3 words of stack. (b) the parallel assigment in tail calls optimisation is saving one word on the stack (evaluating y before x saves a temporary across the non-tail recursion). but I don't really know. -- John Skaller skaller at users dot sf dot

Re: jhc vs ghc and the surprising result involving ghc generated assembly.

Skaller skaller at users dot sf dot net Felix, successor to C++: http://felix.sf.net ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: mixing x86_64 and i386

[EMAIL PROTECTED]:~$ setarch bash: setarch: command not found [EMAIL PROTECTED]:~$ -- John Skaller skaller at users dot sourceforge dot net signature.asc Description: This is a digitally signed message part ___ Glasgow-haskell-users mailing list Glasgow

Re: Problem building GHC

On Wed, 2005-07-13 at 10:18 +0300, Dinko Tenev wrote: On 7/13/05, John Skaller [EMAIL PROTECTED] wrote: I think you need more RAM. I had to buy a new computer to fix this problem. Oh my, that hurts...quite an expensive piece of software, GHC ;) But this really explains a lot, because two

Re: Problem building GHC

of the techniques discussed: http://felix.sourceforge.net/papers/mercury_to_c.ps -- John Skaller skaller at users dot sourceforge dot net Download Felix: http://felix.sf.net signature.asc Description: This is a digitally signed message part

RE: Performance on amd64

On Tue, 2005-07-05 at 12:39 +0100, Simon Marlow wrote: On 05 July 2005 10:38, John Skaller wrote: Can someone comment on the Debian package for Ubuntu Hoary providing ghc-6.2.2 with binary for amd64? You're probably running an unregisterised build, which is going

RE: Performance on amd64

; then $(CP) -r share/html/* $(htmldir) ; fi for i in share/*.ps; do \ $(CP) $$i $(psdir) ; \ done Otherwise it worked fine .. results next post .. -- John Skaller skaller at users dot sourceforge dot net Download Felix: http://felix.sf.net signature.asc

RE: Performance on amd64

to compiler writers. -- John Skaller skaller at users dot sourceforge dot net Download Felix: http://felix.sf.net signature.asc Description: This is a digitally signed message part ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http