[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 test

[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 th

[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 & bina

[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, fo

[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 Андрей Янкин > Hi all! >

Re: [Haskell-cafe] Monad with limited backtracking

2012-07-12 Thread Strake
On 12/07/2012, Darryn Reid 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, and it is this

[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 Locat

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 > he recent discussion of whether storablevector should be deprecated in > favor of vector

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 th

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

2012-07-12 Thread Bas van Dijk
On 12 July 2012 15:35, Yves Parès 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 to vector-bytestrin

[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 http://www.haskell.org/mailman/listinfo/h

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 wrote:http://www.downforeveryoneorjustme.com/hackage.haskell.org -- Edward Amsden Student Computer Science Rochester Institute of Tech

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 va

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 wrote: > 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 > > #include > > #include > > > > I'm confident that none of my

[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 <- GL

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 wrote: > > > On Wed, Jul 11, 2012 at 9:55 PM, Bardur Arantsson wrote: > >> 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: >> > >> > #incl

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 > #include > #include > #include > > typedef int stat_func(const char*, struc

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

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 wrote: > 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 > > #include > > #in

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" 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 the com

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" 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 ad

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 installe

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 > 1. I wrote this: > -8<- test.hs --- > module Main where > import qualified Graphics.UI.GLFW as GLFW > ma

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 rela

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

2012-07-12 Thread Ben Doyle
On Thu, Jul 12, 2012 at 11:01 AM, 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 inco

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 donat

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 of

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

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 arc

[Haskell-cafe] Monads with "The" contexts?

2012-07-12 Thread oleg
Tillmann Rendel has correctly noted that the source of the problem is the correlation among the random variables. Specifically, our measurement of Sun's mass and of Mars mass used the same rather than independently drawn samples of the Earth mass. Sharing (which supports what Functional-Logic prog