[Haskell-cafe] GHC users on PowerPC and *BSD/Darwin?

2012-07-12 Thread Erik de Castro Lopo
Hi all, Users of GHC on PowerPC would probably be aware of this bug: http://hackage.haskell.org/trac/ghc/ticket/2972 which causes GHCi to segfault as soon as it was started. Ben M. Collins has come up with a fix for this I am preparing it for submission to the GHC git tree. I have have

[Haskell-cafe] Monad with limited backtracking

2012-07-12 Thread Darryn Reid
Kind Sirs/Madams, Thanks in advance for your patience; the solution will no doubt be obvious to those with greater experience than me. I have formulated a monad to provide limited backtracking for implementing a rewrite system. The success case works fine, but my intention is that on failure

[Haskell-cafe] Solutions for multi-platform compilation?

2012-07-12 Thread Ivan Perez
Hi, I work developing multi-platform applications in Haskell. This poses the following problem: I cannot compile binaries for windows from linux (AFAIK). I solved this problem with the following sledgehammer: I installed windows in a VM, I installed GHC, I installed all the C/C++ headers

[Haskell-cafe] lazy boxed array and builder?

2012-07-12 Thread Evan Laforge
he recent discussion of whether storablevector should be deprecated in favor of vector reminded me: vector supports storable arrays, but it doesn't support lazy arrays. While storablevector has lazy arrays and a builder, it doesn't support boxed types (it would be become misnamed if it did!). So

Re: [Haskell-cafe] Solutions for multi-platform compilation?

2012-07-12 Thread Erik Hesselink
We use Jenkins to build our applications. You can have Jenkins slaves for different platforms. We also use cabal-dev to sandbox the builds, separating the environments for different executables. This solution does require one server for every OS you develop for, but I guess you need that anyway,

[Haskell-cafe] haskell.org is so fragile

2012-07-12 Thread Takayuki Muranushi
Today I have observed that hackage.haskell.org/ timeout twice (in the noon and in the evening.) What is the problem? Is it that haskell users have increased so that haskell.org is overloaded? That's very good news. I am eager to donate some money if it requires server reinforcement. Sincerely,

Re: [Haskell-cafe] What's wrong with these foreign calls?

2012-07-12 Thread Andrey Yankin
For me it seems like calls to GLFW are normal but when I use indirectly GL (through GLFW) I see a mess. How could not they be connected properly? Please, give me any hint... I use Ubuntu 12.04 and The Glorious Glasgow Haskell Compilation System, version 7.4.1 2012/7/11 Андрей Янкин

Re: [Haskell-cafe] Monad with limited backtracking

2012-07-12 Thread Strake
On 12/07/2012, Darryn Reid djr...@aapt.net.au wrote: I have formulated a monad to provide limited backtracking for implementing a rewrite system. The success case works fine, but my intention is that on failure the result should contain the list of input symbols consumed up to the failure,

[Haskell-cafe] overloading

2012-07-12 Thread Patrick Browne
Hi,I am comparing Haskell's class/instance techniques for overloading with those available Order Sorted Algebra (OSA in CafeOBJ) Using just the basic class/instance mechanism is there any way to avoid the type annotations in the evaluations below?Patclass Location a b where move::a-binstance

Re: [Haskell-cafe] lazy boxed array and builder?

2012-07-12 Thread Yves Parès
I remember this discussion, lazy vectors would also enable an implementation of bytestring and (maybe) text only with unboxed vectors, unifying it all: type ByteString = Vector Word8 2012/7/12 Evan Laforge qdun...@gmail.com he recent discussion of whether storablevector should be deprecated in

Re: [Haskell-cafe] Plain lambda inside banana brackets in the arrow notation

2012-07-12 Thread Ross Paterson
On Thu, Jul 05, 2012 at 10:55:07PM +0100, Tsuyoshi Ito wrote: In a program, I have an arrow MyArr and a combinator called repeat of the following type: repeat :: Int - (Int - MyArr e a) - MyArr e a My problem is that the code becomes messy when I use this combinator inside the arrow

Re: [Haskell-cafe] lazy boxed array and builder?

2012-07-12 Thread Bas van Dijk
On 12 July 2012 15:35, Yves Parès yves.pa...@gmail.com wrote: I remember this discussion, lazy vectors would also enable an implementation of bytestring and (maybe) text only with unboxed vectors, unifying it all: type ByteString = Vector Word8 Yes, I would like to add a lazy storable vector

[Haskell-cafe] Hackage is down?

2012-07-12 Thread Edward Amsden
http://www.downforeveryoneorjustme.com/hackage.haskell.org -- Edward Amsden Student Computer Science Rochester Institute of Technology www.edwardamsden.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Hackage is down?

2012-07-12 Thread malcolm.wallace
The machine is undergoing disk checks after a hard reboot. Hopefully it will be back online soon.Regards, MalcolmOn Jul 12, 2012, at 03:28 PM, Edward Amsden eca7...@cs.rit.edu wrote:http://www.downforeveryoneorjustme.com/hackage.haskell.org -- Edward Amsden Student Computer Science Rochester

Re: [Haskell-cafe] What's wrong with these foreign calls?

2012-07-12 Thread Andrey Yankin
If you load this function in ghci, it behaves absolutely the same way. How can I create OpenGL window in GLFW-b in ghci? Prelude initWindow Loading package array-0.4.0.0 ... linking ... done. Loading package deepseq-1.3.0.0 ... linking ... done. Loading package containers-0.4.2.1 ... linking ...

[Haskell-cafe] Monads with The contexts?

2012-07-12 Thread Takayuki Muranushi
tl;dr: Is there any way to pass the Supercombinator level names (the names in haskell source codes with zero indent) as context to a Monad so that it will read from The context? Hello, everyone. I'm thinking of representing our knowledge about our life, the universe and everything as Haskell

Re: [Haskell-cafe] ghci and TH cannot: unknown symbol `stat64`

2012-07-12 Thread Michael Snoyman
On Wed, Jul 11, 2012 at 9:55 PM, Bardur Arantsson s...@scientician.netwrote: On 07/11/2012 05:12 PM, Michael Snoyman wrote: Thanks for the feedback. However, looking at sqlite3.c, I see the necessary #include statements: #include sys/types.h #include sys/stat.h #include unistd.h

[Haskell-cafe] Another topic of ghc --make/ghci differences

2012-07-12 Thread Andrey Yankin
1. I wrote this: -8- test.hs --- module Main where import qualified Graphics.UI.GLFW as GLFW main = do True - GLFW.initialize print = GLFW.openGLProfile print = GLFW.getGlfwVersion print = GLFW.getGlVersion print Trying to open the window result -

Re: [Haskell-cafe] ghci and TH cannot: unknown symbol `stat64`

2012-07-12 Thread Michael Snoyman
On Thu, Jul 12, 2012 at 6:29 PM, Michael Snoyman mich...@snoyman.comwrote: On Wed, Jul 11, 2012 at 9:55 PM, Bardur Arantsson s...@scientician.netwrote: On 07/11/2012 05:12 PM, Michael Snoyman wrote: Thanks for the feedback. However, looking at sqlite3.c, I see the necessary #include

Re: [Haskell-cafe] ghci and TH cannot: unknown symbol `stat64`

2012-07-12 Thread Tristan Ravitch
On Thu, Jul 12, 2012 at 06:29:41PM +0300, Michael Snoyman wrote: I've come up with a minimal example that demonstrates this problem. The crux of the matter is the following C code: #include sys/types.h #include sys/stat.h #include unistd.h #include stdio.h typedef int

Re: [Haskell-cafe] ghci and TH cannot: unknown symbol `stat64`

2012-07-12 Thread Tristan Ravitch
On Thu, Jul 12, 2012 at 11:07:05AM -0500, Tristan Ravitch wrote: Are you trying this on a 32 bit system? And when you compiled that C program, did you try to add -D_FILE_OFFSET_BITS=64 -D_LARGEFILE64_SOURCE to the compile command? When I define those the resulting object file from your

Re: [Haskell-cafe] ghci and TH cannot: unknown symbol `stat64`

2012-07-12 Thread Michael Snoyman
On Thu, Jul 12, 2012 at 7:07 PM, Tristan Ravitch travi...@cs.wisc.eduwrote: On Thu, Jul 12, 2012 at 06:29:41PM +0300, Michael Snoyman wrote: I've come up with a minimal example that demonstrates this problem. The crux of the matter is the following C code: #include sys/types.h

Re: [Haskell-cafe] ghci and TH cannot: unknown symbol `stat64`

2012-07-12 Thread Michael Snoyman
On Jul 12, 2012 7:13 PM, Tristan Ravitch travi...@cs.wisc.edu wrote: On Thu, Jul 12, 2012 at 11:07:05AM -0500, Tristan Ravitch wrote: Are you trying this on a 32 bit system? And when you compiled that C program, did you try to add -D_FILE_OFFSET_BITS=64 -D_LARGEFILE64_SOURCE to

Re: [Haskell-cafe] ghci and TH cannot: unknown symbol `stat64`

2012-07-12 Thread Tristan Ravitch
On Thu, Jul 12, 2012 at 07:20:39PM +0300, Michael Snoyman wrote: On Jul 12, 2012 7:13 PM, Tristan Ravitch travi...@cs.wisc.edu wrote: On Thu, Jul 12, 2012 at 11:07:05AM -0500, Tristan Ravitch wrote: Are you trying this on a 32 bit system? And when you compiled that C program, did you

Re: [Haskell-cafe] Bad interface problem.

2012-07-12 Thread Albert Y. C. Lai
On 12-07-11 09:28 PM, Magicloud Magiclouds wrote: And Albert, I did not directly install QuickCheck. It was required by yesod. I can't reproduce that dependency either. Output of cabal install --dry-run yesod does not contain QuickCheck or template-haskell. I do not have QuickCheck

Re: [Haskell-cafe] Another topic of ghc --make/ghci differences

2012-07-12 Thread Andrey Yankin
OK This is my answer: http://stackoverflow.com/questions/7867290/freeglut-does-not-work-in-ghci Linux Nvidia drivers doesn't work with ghci somehow... 2012/7/12 Andrey Yankin yankin...@gmail.com 1. I wrote this: -8- test.hs --- module Main where import qualified Graphics.UI.GLFW

Re: [Haskell-cafe] Monads with The contexts?

2012-07-12 Thread Tillmann Rendel
Hi, Takayuki Muranushi wrote: sunPerMars :: [Double] sunPerMars = (/) $ sunMass * marsMass Sadly, this gives too many answers, and some of them are wrong because they assume different Earth mass in calculating Sun and Mars masses, which led to inconsistent calculation. This might be related

Re: [Haskell-cafe] Monads with The contexts?

2012-07-12 Thread Ben Doyle
On Thu, Jul 12, 2012 at 11:01 AM, Takayuki Muranushi muranu...@gmail.comwrote: sunPerMars :: [Double] sunPerMars = (/) $ sunMass * marsMass Sadly, this gives too many answers, and some of them are wrong because they assume different Earth mass in calculating Sun and Mars masses, which led

Re: [Haskell-cafe] haskell.org is so fragile

2012-07-12 Thread Ganesh Sittampalam
Hi, On 12/07/2012 13:06, Takayuki Muranushi wrote: Today I have observed that hackage.haskell.org/ timeout twice (in the noon and in the evening.) What is the problem? Is it that haskell users have increased so that haskell.org is overloaded? That's very good news. I am eager to donate

Re: [Haskell-cafe] haskell.org is so fragile

2012-07-12 Thread Matthias Hörmann
Hello Is there some kind of nagios or similar monitoring software in place? In my experience that really helps when you don't have time to check the servers all the time, especially since it is easy to write small custom plugins for additional checks (e.g. on some of our work servers I have one

Re: [Haskell-cafe] haskell.org is so fragile

2012-07-12 Thread Bardur Arantsson
On 07/12/2012 11:04 PM, Ganesh Sittampalam wrote: Hi, On 12/07/2012 13:06, Takayuki Muranushi wrote: Today I have observed that hackage.haskell.org/ timeout twice (in the noon and in the evening.) What is the problem? Is it that haskell users have increased so that haskell.org is

Re: [Haskell-cafe] haskell.org is so fragile

2012-07-12 Thread 山本和彦
Hello, The issue is unfortunately more to do with sysadmin resources than server hardware; there's noone with the time to actively manage the server and make sure that it's running well. Any ideas for improving the situation would be gratefully received. I don't know about the current