Re: [GHC] #1487: unix package: test needed for getLoginName

2012-12-09 Thread GHC
#1487: unix package: test needed for getLoginName +--- Reporter: simonmar | Owner: adrien Type: bug | Status: new Priority: lowest

Re: [GHC] #7310: Compiler nontermination on UNPACK pragmas

2012-12-09 Thread GHC
#7310: Compiler nontermination on UNPACK pragmas -+-- Reporter: nwf | Owner: Type: bug | Status: closed Priority: normal |

[GHC] #7492: Generic1 deriving: Can we replace Rec1 f with f :.: Par1?

2012-12-09 Thread GHC
#7492: Generic1 deriving: Can we replace Rec1 f with f :.: Par1? -+-- Reporter: spl | Owner: Type: feature request | Status: new Priority: normal

Re: How to use C-land variable from Cmm-land?

2012-12-09 Thread Axel Simon
On 09.12.2012, at 00:12, Yuras Shumovich shumovi...@gmail.com wrote: It looks wrong for me: the highest part of %rax remains uninitialized. When 32 bits are assigned to any of the standard registers, the upper 32 bits are implicitly set to zero. Intel is weird. Axel

Re: How to use C-land variable from Cmm-land?

2012-12-09 Thread Kim-Ee Yeoh
When 32 bits are assigned to any of the standard registers, the upper 32 bits are implicitly set to zero. Intel is weird. Didn't AMD invent the 64-bit extensions? -- Kim-Ee On Sun, Dec 9, 2012 at 3:07 PM, Axel Simon axel.si...@in.tum.de wrote: On 09.12.2012, at 00:12, Yuras Shumovich

building GHC for Slackware/Salix

2012-12-09 Thread tim.beech
I'm making a GHC package for Salix 14 (which is backwards-compatible with Slackware, so this will be a Slackware package, too). The main thing I'd be grateful for advice on is the overall approach I'm taking to the package. Others I've seen (such as the Arch package) just assume GHC is already

cabal-install use multiple config files?

2012-12-09 Thread Stephen Paul Weber
I don't see a command-line switch to ask cabal-install to use a different config file. Is there an environment variable for it or something? I want to use the same cabal-install binary with three different installs of ghc and ghc-pkg to allow me to maintain my cross-compiler packages as well.

Re: cabal-install use multiple config files?

2012-12-09 Thread Roman Cheplyaka
* Stephen Paul Weber singpol...@singpolyma.net [2012-12-09 21:20:34+] I don't see a command-line switch to ask cabal-install to use a different config file. Is there an environment variable for it or something? I want to use the same cabal-install binary with three different installs of

ANNOUNCE: GHC 7.6.2 Release Candidate 1

2012-12-09 Thread Ian Lynagh
We are pleased to announce the first release candidate for GHC 7.6.2: http://www.haskell.org/ghc/dist/7.6.2-rc1/ This includes the source tarball, installers for Windows, and bindists for Windows, Linux, OS X and FreeBSD, on x86 and x86_64. We plan to make the 7.6.2 release early in 2013.

building GHC for antique OSX

2012-12-09 Thread wren ng thornton
Hello all, I'm one of those curmudgeons still working on OSX 10.5.8. Recently I finally got around to building the latest GHC and, FWIW, everything seems to have worked out fine. I did get a few failed tests in the testsuite though, and I'm curious what they mean or if they're actually cause

Re: building GHC for antique OSX

2012-12-09 Thread Ian Lynagh
On Sun, Dec 09, 2012 at 05:45:17PM -0500, wren ng thornton wrote: I'm one of those curmudgeons still working on OSX 10.5.8. Recently I finally got around to building the latest GHC and, FWIW, everything seems to have worked out fine. I did get a few failed tests in the testsuite though, and

GHCi + FFI + global C variables

2012-12-09 Thread Nils
I'm currently working with a C library that needs to use/modify global C variables, for example: igraph_bool_t igraphhaskell_initialized = 0; int igraphhaskell_initialize() { if (igraphhaskell_initialized != 0) { printf(C: Not initializing. igraphhaskell_initialized =

Re: cabal-install use multiple config files?

2012-12-09 Thread Stephen Paul Weber
Somebody claiming to be Roman Cheplyaka wrote: * Stephen Paul Weber singpol...@singpolyma.net [2012-12-09 21:20:34+] I don't see a command-line switch to ask cabal-install to use a different config file. There's a '--config-file' option, see https://github.com/haskell/cabal/issues/1113

Re: [Haskell] ANNNOUNCE: lens 3.7 released

2012-12-09 Thread Ashley Yakeley
On 07/12/12 02:19, Edward Kmett wrote: I am happy to announce the release of version 3.7 of the lens package, which provides Lenses, Folds, and Traversals for working with arbitrary data types. Do you use types to index the fields of tuples? It's a good general mechanism to represent the

Re: [Haskell] ANNNOUNCE: lens 3.7 released

2012-12-09 Thread Edward Kmett
On Sun, Dec 9, 2012 at 10:14 PM, Ashley Yakeley ash...@semantic.org wrote: On 07/12/12 02:19, Edward Kmett wrote: I am happy to announce the release of version 3.7 of the lens package, which provides Lenses, Folds, and Traversals for working with arbitrary data types. Do you use types to

Re: [Haskell-cafe] Exploring Programming Language Theory

2012-12-09 Thread Stephen Tetley
If you want compiling functional languages and can relax the requirement for up to date: Antoni Diller's Compiling Functional Languages is good. It is short enough (300 pages) that you could reasonably work through it and it includes the full source of a compiler in the appendix - written in

Re: [Haskell-cafe] mtl: Why there is Monoid w constraint in the definition of class MonadWriter?

2012-12-09 Thread Roman Cheplyaka
* Edward Z. Yang ezy...@mit.edu [2012-12-08 15:45:54-0800] Second, even *if* the above holds (two tells are equivalent to one tell), then there is *some* function f such that tell w1 tell w2 == tell (f w1 w2) It isn't necessary that f coincides with mappend, or even that the

Re: [Haskell-cafe] How can I avoid buffered reads?

2012-12-09 Thread Leon Smith
On Thu, Dec 6, 2012 at 5:23 PM, Brandon Allbery allber...@gmail.com wro\ Both should be cdevs, not files, so they do not go through the normal filesystem I/O pathway in the kernel and should support select()/poll(). (ls -l, the first character should be c instead of - indicating

Re: [Haskell-cafe] mtl: Why there is Monoid w constraint in the definition of class MonadWriter?

2012-12-09 Thread Petr P
Hi all, I'd say that a type class declares functions and specifies laws (in the docs) what its implementations must adhere to. It's not the job of a type class to fulfill the laws, it's the job of its implementations. So the reason for 'Monoid w' in 'MonadWriter' cannot be that then

Re: [Haskell-cafe] Exploring Programming Language Theory

2012-12-09 Thread Johannes Waldmann
Stephen Tetley stephen.tetley at gmail.com writes: Also Franklyn Turbak and David Gifford's Design Concepts for Programming Languages is very good (and new!) but huge. Yes! I like that book very much, and I use it for teaching semantics and compilation of programming languages. Semantics - by

Re: [Haskell-cafe] education or experience?

2012-12-09 Thread Heinrich Apfelmus
Christopher Howard wrote: I'm at something of a crossroads, and I'm hoping to get a bit of free career advice. I really enjoy programming with Haskell (and a few other exotic languages), and was hoping I could eventually make a living in that sort of field. Not rich and famous, necessarily, just

Re: [Haskell-cafe] education or experience?

2012-12-09 Thread Doug McIlroy
Yes... CS academics delivers less than it could/should; and whatever this delivery is, its asymptotically sub-linear. Some of it is to do with the not-quick-enough takeup of FP in academia, though there are obviously many other factors as well.

Re: [Haskell-cafe] education or experience?

2012-12-09 Thread Rustom Mody
Thanks Doug for reminding me of points that I had forgotten (and which are new) I will insert them into the blog My comments inline On Sun, Dec 9, 2012 at 10:01 PM, Doug McIlroy d...@cs.dartmouth.edu wrote: Yes... CS academics delivers less than it could/should; and whatever this delivery

Re: [Haskell-cafe] education or experience?

2012-12-09 Thread Rustom Mody
On Sun, Dec 9, 2012 at 11:04 PM, Malcolm Wallace malcolm.wall...@me.comwrote: On 9 Dec 2012, at 16:31, Doug McIlroy wrote: In fact the FP community came late to some of these, just as programming languages at large came late to garbage collection. Lazy evaluation--at the heart of

Re: [Haskell-cafe] mtl: Why there is Monoid w constraint in the definition of class MonadWriter?

2012-12-09 Thread Petr P
An additional thought: I'd say 'contained' is sort of inverse to 'writer': writer = contained = id contained . writer = return Petr Pudlak 2012/12/9 Petr P petr@gmail.com Hi all, I'd say that a type class declares functions and specifies laws (in the docs) what its

Re: [Haskell-cafe] education or experience?

2012-12-09 Thread Mike Meyer
Heinrich Apfelmus apfel...@quantentunnel.de wrote: Christopher Howard wrote: Concerning a university education, there are two approaches 1. I want to learn as much as possible 2. I want to learn just enough to get a high-paying job There's actually a third approach ( and probably more): 3. I

Re: [Haskell-cafe] How can I avoid buffered reads?

2012-12-09 Thread Bas van Dijk
On 9 December 2012 10:29, Leon Smith leon.p.sm...@gmail.com wrote: On Thu, Dec 6, 2012 at 5:23 PM, Brandon Allbery allber...@gmail.com wro\ Both should be cdevs, not files, so they do not go through the normal filesystem I/O pathway in the kernel and should support select()/poll(). (ls -l,

Re: [Haskell-cafe] education or experience?

2012-12-09 Thread Doug McIlroy
Lazy evaluation--at the heart of spreadsheets since the beginning. Never thought of that -- nice! Unfortunately it's not literally true, because spreadsheets push recalculated values to all the variables that depend on them, rather than waiting until the dependent values are needed. But the

Re: [Haskell-cafe] education or experience?

2012-12-09 Thread Doug McIlroy
___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] GHCi + FFI + global C variables

2012-12-09 Thread Nils
I'm currently working with a C library that needs to use/modify global C variables, for example: igraph_bool_t igraphhaskell_initialized = 0; int igraphhaskell_initialize() { if (igraphhaskell_initialized != 0) { printf(C: Not initializing. igraphhaskell_initialized =

Re: [Haskell-cafe] education or experience?

2012-12-09 Thread Richard O'Keefe
On 10/12/2012, at 6:34 AM, Malcolm Wallace wrote: On 9 Dec 2012, at 16:31, Doug McIlroy wrote: In fact the FP community came late to some of these, just as programming languages at large came late to garbage collection. Lazy evaluation--at the heart of spreadsheets since the

Re: [Haskell-cafe] Exploring Programming Language Theory

2012-12-09 Thread Sebastien Zany
Try http://lambda-the-ultimate.org/node/492 On Sat, Dec 8, 2012 at 2:41 PM, Danny Gratzer danny.grat...@gmail.comwrote: Sorry for the multiple posts, last time I try to write any decent length email from my phone... Anyways, and that was a tutorial not an introduction. I am also reading

Re: [Haskell-cafe] education or experience?

2012-12-09 Thread Rustom Mody
On Mon, Dec 10, 2012 at 5:33 AM, Doug McIlroy d...@cs.dartmouth.edu wrote: Matlab exploits them heavily (though represented as doubles). Not sure what you are referring to I had in mind Matlab's frequent use of a Boolean array as a characteristic function describing some property of

Re: [Haskell-cafe] Fwd: education or experience?

2012-12-09 Thread Bardur Arantsson
On 12/10/2012 01:20 AM, Eli Frey wrote: Jerzy makes a good point that you might not be the best judge of what you should learn. Not only that: you have *no reliable way of knowing* what you might be missing. Any half-decent CS education gives you a very broad grounding in the field so that