Re: ANNOUNCE: GHC 7.6.2 Release Candidate 1

2013-01-23 Thread Joachim Breitner
Hi, Am Dienstag, den 22.01.2013, 21:39 -0800 schrieb David Terei: ghc/hschooks.c:36:0: error: conflicting types for ‘StackOverflowHook’ oh, is GHC about to have a feature where, upon a compiler error, it will ask the user „would you like me to ask on stack overflow about this for

Re: Cabal and cross compilation

2013-01-23 Thread Duncan Coutts
On 23 January 2013 05:41, Nathan Hüsken nathan.hues...@posteo.de wrote: Hey, I am working on getting ghc to cross compile to android. When trying to get haskeline to compile. I want to change the cabal file such that it sets a flag when compiling for android. For that I changed cabal so

Re: Cabal and cross compilation

2013-01-23 Thread Stephen Paul Weber
Somebody claiming to be Nathan Hüsken wrote: For that I changed cabal so that it recognizes android as a OS. But cabal seems to get its os information from System.Info.os, and from what I can tell this always returns the host os and not the target os.

[Haskell] Haskell Weekly News: Issue 255

2013-01-23 Thread Daniel Santa Cruz
Welcome to issue 255 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the weeks of January 06 to 19, 201. Quotes of the Week * ky3: Indexed monads are just categories in the category of endofunctors, what's the problem?

Re: [Haskell-cafe] ANN: monad-bool 0.1

2013-01-23 Thread Alexander Kjeldaas
If we step back, I think the lesson here is that Haskell libraries exist, but the concepts are far enough from what you expect to exist given background knowledge from another programming language. So what is actually needed is not monad-bool, but the equivalent documentation that makes a

Re: [Haskell-cafe] ANN: monad-bool 0.1

2013-01-23 Thread Felipe Almeida Lessa
Em 23/01/2013 04:03, John Wiegley jo...@fpcomplete.com escreveu: I'll ask Ross Paterson to deprecate monad-bool. And in future, I'll seek review here first before uploading. Release early and release often, don't worry about asking the mailing list beforehand (unless you want to, of course).

Re: [Haskell-cafe] Mobile app development?

2013-01-23 Thread Brandon Allbery
On Tue, Jan 22, 2013 at 8:37 PM, Kristopher Micinski krismicin...@gmail.com wrote: By the way, the Android APIs aren't really meant to be used by native code: the only real use for native code in Android is GPU code and math code (think games and DSP-type programs). They may not be meant to

Re: [Haskell-cafe] Mobile app development?

2013-01-23 Thread Kristopher Micinski
In what way are they exposed for use? I certainly haven't seen any API which lets you touch any of the standard GUI utilities without writing JNI wrappers that communicate to the Java based UI elements. As far as I know there is no way to use the actual Android API: you have to write a wrapper

Re: [Haskell-cafe] Mobile app development?

2013-01-23 Thread Kristopher Micinski
For reference, the only components provided by the Android platform (listed on the Android website, and what I found digging through the provided NDK) are: libc (C library) headers libm (math library) headers JNI interface headers libz (Zlib compression) headers liblog (Android logging) header

[Haskell-cafe] The Coverage Condition of functional dependencies

2013-01-23 Thread Petr P
Hi, trying to understand UndecidableInstances (and to find and answer to http://stackoverflow.com/q/14476230/1333025), I was trying to find out why mtl needs UndecidableInstances. The reason is that instances like instance MonadState s m = MonadState s (ContT r m) where don't satisfy the

[Haskell-cafe] Space leaks in function that uses Data.Vector.Mutable

2013-01-23 Thread Andrey Yankin
Hi! I have a low-level function for insertion element into mutable vector. It looks like this: place :: (PrimMonad m) = MV.MVector (PrimState m) (Int, t) - (Int, t) - Int - m () place v max@(val1,_) i = place' i where place' i = do let j = i - 1 if j 0 then return ()

Re: [Haskell-cafe] ANN: monad-bool 0.1

2013-01-23 Thread Petr P
2013/1/23 John Wiegley jo...@fpcomplete.com John Wiegley jo...@fpcomplete.com writes: Never mind, when/unless + left work just fine for this. You know, it's been a humorous day. ... Don't take it so hard. Trying to reinvent something is always a great exercise and makes you really

Re: [Haskell-cafe] ANN: hgdbmi 0.2, GDB Machine Interface

2013-01-23 Thread Alexander Bernauer
On Sat, Jan 19, 2013 at 1:14 PM, Daniel Trstenjak daniel.trsten...@gmail.com wrote: Yes, I still think that having separate modules can be beneficial, also for the ease of reference. I thought of putting all of your modules under the version indicating module. Thank you, Daniel. I will

Re: [Haskell-cafe] Space leaks in function that uses Data.Vector.Mutable

2013-01-23 Thread Johan Tibell
Hi! You have to look outside the place function, which is strict enough. I would look for a call to unsafeWrite that doesn't evaluate it's argument before writing it into the vector. Perhaps you're doing something like: MV.unsafeWrite (i + 1, ...) Since tuples are lazy the i + 1 will be

Re: [Haskell-cafe] ANN: monad-bool 0.1

2013-01-23 Thread wren ng thornton
On 1/23/13 3:00 AM, Alexander Kjeldaas wrote: If we step back, I think the lesson here is that Haskell libraries exist, but the concepts are far enough from what you expect to exist given background knowledge from another programming language. So what is actually needed is not monad-bool, but

Re: [Haskell-cafe] ANN: monad-bool 0.1

2013-01-23 Thread David Thomas
Couldn't this be actually on hackage, so one search turns up what you want? On Jan 23, 2013 3:24 PM, wren ng thornton w...@freegeek.org wrote: On 1/23/13 3:00 AM, Alexander Kjeldaas wrote: If we step back, I think the lesson here is that Haskell libraries exist, but the concepts are far

Re: [Haskell-cafe] ANN: monad-bool 0.1

2013-01-23 Thread Kim-Ee Yeoh
On Thu, Jan 24, 2013 at 6:23 AM, wren ng thornton w...@freegeek.org wrote: NotOnHackage: a package repository just like Hackage, except the packages are just documentation on why there is no such package. Love the idea! It'll make us even more unique among other PLs and even more ways to be

Re: [Haskell-cafe] ANN: monad-bool 0.1

2013-01-23 Thread John Wiegley
Petr P petr@gmail.com writes: Don't take it so hard. Trying to reinvent something is always a great exercise and makes you really understand the problem. And it can have interesting results too. One of my university professors once heard about some concept, but didn't know the details.

[Haskell-cafe] Haskell Weekly News: Issue 255

2013-01-23 Thread Daniel Santa Cruz
Welcome to issue 255 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the weeks of January 06 to 19, 201. Quotes of the Week * ky3: Indexed monads are just categories in the category of endofunctors, what's the problem?

Re: [Haskell-cafe] ANN: monad-bool 0.1

2013-01-23 Thread Ertugrul Söylemez
David Thomas davidleotho...@gmail.com wrote: We could even set up NotOnHackage: a package repository just like Hackage, except the packages are just documentation on why there is no such package. Implementation-wise it's just a wiki; but the idea is about how to organize the wiki.