Re: [Haskell-cafe] Quick-check: how to generate arbitrary complex data?

2013-07-13 Thread martin
Am 07/12/2013 09:18 AM, schrieb Roman Cheplyaka: QuickCheck's Gen is a functor. So you can generate a list, and then use fmap to add a hash to it. instance Arbitrary HashedList where arbitrary = addHashToList $ arbitrary This requires HashedList to be a new type, right? So far my

Re: [Haskell-cafe] Quick-check: how to generate arbitrary complex data?

2013-07-13 Thread Aleksey Uymanov
On Sat, 13 Jul 2013 10:10:39 +0200 martin martin.drautzb...@web.de wrote: This requires HashedList to be a new type, right? So far my code only used type synonyms. Does this mean I have to convert type synonyms into types in order to use QuickCheck? Does this mean I have to plan for

Re: [Haskell-cafe] Quick-check: how to generate arbitrary complex data?

2013-07-13 Thread Roman Cheplyaka
* martin martin.drautzb...@web.de [2013-07-13 10:10:39+0200] Am 07/12/2013 09:18 AM, schrieb Roman Cheplyaka: QuickCheck's Gen is a functor. So you can generate a list, and then use fmap to add a hash to it. instance Arbitrary HashedList where arbitrary = addHashToList $

Re: [Haskell-cafe] getting haddock to cooperate with cpp

2013-07-13 Thread Roman Cheplyaka
This is not true either. Cabal preprocesses files that explicitly indicate (via an extension) that they need to be preprocessed. For example, a .cpphs file will be preprocessed to yield an .hs file. .hs files are never preprocessed by Cabal, as far as I can tell. If you have an .hs file with

Re: [Haskell-cafe] Non-recursive let [Was: GHC bug? Let with guards loops]

2013-07-13 Thread J. Stutterheim
I currently work at the Radboud University where Clean is being developed. As such, I use it daily. Coming from Haskell, I have to admit that I never really got used to the let-before syntax, exactly for the reasons described in the previous emails. However, it does have some merit. In

Re: [Haskell-cafe] ANNOUNCE: MFlow 3.0

2013-07-13 Thread Alberto G. Corona
I factored out the submit buttons. Now the three text boxes appear in succession above a unique button below. http://mflowdemo.herokuapp.com/noscript/fviewmonad This is the new code: sumWidget= pageFlow sum $ do n ← (do n1 ← p Enter first number ++ getInt Nothing ++

Re: [Haskell-cafe] ANNOUNCE: MFlow 3.0

2013-07-13 Thread Alberto G. Corona
However, besides state synchronization is under development, state persistence in MFlow is optional, by using the workflow monad instead of the IO monad. See for example this: http://mflowdemo.herokuapp.com/shop 2013/7/10 Alberto G. Corona agocor...@gmail.com My plan is to synchronize

Re: [Haskell-cafe] getting haddock to cooperate with cpp

2013-07-13 Thread Evan Laforge
If you have an .hs file with {-# LANGUAGE CPP #-}, it is a compiler's job to detect it and run the preprocessor. But haddock uses the GHC API (which knows how to do the above), so there shouldn't be issues with that. Hey, you're right! Haddock *does* understand LANGUAGE CPP. Ok, that makes

[Haskell-cafe] build failure on Hackage

2013-07-13 Thread Brian Lewis
I maintain a library that, on Linux, needs libXxf86vm to build. The server where Hackage runs doesn't have that library, so the build fails. I think this is reasonable -- that box can't possibly have all the libraries various packages might need. But the build failure seems to cause the Haddock

Re: [Haskell-cafe] build failure on Hackage

2013-07-13 Thread Roman Cheplyaka
* Brian Lewis br...@lorf.org [2013-07-13 14:30:01-0500] I maintain a library that, on Linux, needs libXxf86vm to build. The server where Hackage runs doesn't have that library, so the build fails. I think this is reasonable -- that box can't possibly have all the libraries various packages

Re: [Haskell-cafe] build failure on Hackage

2013-07-13 Thread Brian Lewis
On 2013.07.13, at 23:15, Roman Cheplyaka wrote: 1. Why exactly does haddock fail? I think it never actually tries to build the Haddock docs for the actual package of interest because its dependencies failed to build. Here's the GLFW-b build log:

Re: [Haskell-cafe] build failure on Hackage

2013-07-13 Thread Roman Cheplyaka
* Brian Lewis br...@lorf.org [2013-07-13 15:44:58-0500] On 2013.07.13, at 23:15, Roman Cheplyaka wrote: 1. Why exactly does haddock fail? I think it never actually tries to build the Haddock docs for the actual package of interest because its dependencies failed to build. Here's the

Re: [Haskell-cafe] build failure on Hackage

2013-07-13 Thread Brian Lewis
On 2013.07.14, at 00:05, Roman Cheplyaka wrote: Ah, yes. This may be a bit more complicated than it seems, due to the way Cabal works. I think you're right. This seems really unfortunate. :( Thanks for the explanation. ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] OS X ghci problem

2013-07-13 Thread Mark Lentczner
Bizarre - this just happened to me today, too. Anyone? Did you figure out a work around? For the record, I'm trying to bring Euterpea up. My system is OS X 10.8.4, and I'm running HP 2013.2, so 7.6.3. And GLFW-0.5.1.0. - Mark ___ Haskell-Cafe mailing

Re: [Haskell-cafe] OS X ghci problem

2013-07-13 Thread Jason Dagit
On Sat, Jul 13, 2013 at 4:39 PM, Mark Lentczner mark.lentcz...@gmail.com wrote: Bizarre - this just happened to me today, too. Anyone? Did you figure out a work around? For the record, I'm trying to bring Euterpea up. After some digging, experimenting, asking around, and head scratching my best

Re: [Haskell-cafe] OS X ghci problem

2013-07-13 Thread Anthony Cowley
On Jul 13, 2013, at 8:04 PM, Jason Dagit dag...@gmail.com wrote: On Sat, Jul 13, 2013 at 4:39 PM, Mark Lentczner mark.lentcz...@gmail.com wrote: Bizarre - this just happened to me today, too. Anyone? Did you figure out a work around? For the record, I'm trying to bring Euterpea up. After

Re: [Haskell-cafe] OS X ghci problem

2013-07-13 Thread Carter Schonwald
has anyone tried using ghci HEAD? If the problem is linker based... perhaps ghci that uses the system Dylinker might resolve it? -Carter On Sat, Jul 13, 2013 at 8:32 PM, Anthony Cowley acow...@gmail.com wrote: On Jul 13, 2013, at 8:04 PM, Jason Dagit dag...@gmail.com wrote: On Sat, Jul 13,

Re: [Haskell-cafe] OS X ghci problem

2013-07-13 Thread Jason Dagit
On Sat, Jul 13, 2013 at 5:32 PM, Anthony Cowley acow...@gmail.com wrote: On Jul 13, 2013, at 8:04 PM, Jason Dagit dag...@gmail.com wrote: On Sat, Jul 13, 2013 at 4:39 PM, Mark Lentczner mark.lentcz...@gmail.com wrote: Bizarre - this just happened to me today, too. Anyone? Did you figure out a

Re: [Haskell-cafe] OS X ghci problem

2013-07-13 Thread Jason Dagit
On Sat, Jul 13, 2013 at 6:44 PM, Carter Schonwald carter.schonw...@gmail.com wrote: has anyone tried using ghci HEAD? If the problem is linker based... perhaps ghci that uses the system Dylinker might resolve it? If someone gets brave and tries this I'd love to hear if it works. Although,