Re: [Haskell-cafe] Proposal: Polymorphic typeclass and Records

2013-08-29 Thread Adam Gundry
Hi, On 28/08/13 21:05, Wvv wrote: Let we have data in one module as this: data Person = Person { personId :: Int, name :: String } data Address a = Address { personId :: Int, address :: String , way :: a} It was discussed a lot in topics OverloadedRecordFields This is

Re: [Haskell-cafe] enumerators: exception that can't be catched

2013-08-29 Thread Yuras Shumovich
Hi, Thank you for the reply. Unlikely it is the case (if I understand it correctly). The exception is thrown by enumSocket, I added traces to prove that. And it is propagated to runWithSocket (

Re: [Haskell-cafe] enumerators: exception that can't be catched

2013-08-29 Thread Yuras Shumovich
Hi, Isn't it by design? Consider the next code: import Data.Enumerator (($$), (==)) import qualified Data.Enumerator as E import qualified Data.Enumerator.List as EL import Control.Exception import Control.Monad.IO.Class main :: IO () main = do res - E.run $ myEnum $$ EL.take 5

[Haskell-cafe] Template Haskell and Unit

2013-08-29 Thread Jose A. Lopes
Hi, I am positive about the following situation, but I can't find any concrete answer on the Web. Can anyone confirm this ? In template-haskell-2.7.0, the following quote [t| () |] appears as a (ConT name), where name is the name for unit. However, in template-haskell-2.8.0, the same quote

Re: [Haskell-cafe] Template Haskell and Unit

2013-08-29 Thread Richard Eisenberg
I can't answer about expected behavior, but I can say that those two constructions should be considered identical by the $(…) splice construct. For better or worse, Template Haskell often offers multiple ways of encoding the same source Haskell phrase, and any code that processes Template

Re: [Haskell-cafe] Building recent Cabal/cabal-install

2013-08-29 Thread Johan Tibell
Hi, Cabal 1.18 is still in the release candidate stage so it has in fact not been released yet. We could either bump the dependency on base to 4.8 before the 1.8 release or we could make a Cabal-1.8.0.1 release together with the GHC release that bumps the dependency. -- Johan On Wed, Aug 28,

Re: [Haskell-cafe] Template Haskell and Unit

2013-08-29 Thread Jose A. Lopes
I can't answer about expected behavior, but I can say that those two constructions should be considered identical by the $(…) splice construct. For better or worse, Template Haskell often offers multiple ways of encoding the same source Haskell phrase, and any code that processes Template

Re: [Haskell-cafe] Template Haskell and Unit

2013-08-29 Thread adam vogt
Hi Jose and Richard, haskell-src-meta has Language.Haskell.Meta.Utils.normalizeT which can help with making code treat the two constructs equivalently, though I imagine using th-desugar instead will make that process harder to mess up. Adam On Thu, Aug 29, 2013 at 10:13 AM, Richard Eisenberg

Re: [Haskell-cafe] Template Haskell and Unit

2013-08-29 Thread Richard Eisenberg
I've always considered Unit to just be a nullary tuple. This intuition has never steered me wrong, and it seems that Template Haskell is making the same assumption. If there's some reason that this conflation of ideas is wrong, I would be eager to know -- th-desugar makes this assumption in

[Haskell-cafe] Compiler stops at SpecConstr optimization

2013-08-29 Thread Daniel Díaz Casanueva
Hello. While hacking in one of my projects, one of my modules stopped to compile for apparently no reason. The compiler just freezes (like if it where in an infinite loop) while trying to compile that particular module. Since I had this problem I have been trying to reduce the problem as much as

Re: [Haskell-cafe] Compiler stops at SpecConstr optimization

2013-08-29 Thread Manuel Gómez
On Thu, Aug 29, 2013 at 12:08 PM, Daniel Díaz Casanueva dhelta.d...@gmail.com wrote: Since this problem can be OS-dependent, my system is Debian 7 and I didn't try yet to reproduce my problem in other systems (mainly because I don't have access to other systems at the moment). FWIW, it’s not

Re: [Haskell-cafe] Compiler stops at SpecConstr optimization

2013-08-29 Thread Carter Schonwald
This is a known GHC bug that (i believe?) is fixed in head. Links to the relevant tickets from when I hit this problem trying to build lambdabot are here https://github.com/mokus0/random-fu/issues/13 The work around is to build those libraries with -O1 On Thu, Aug 29, 2013 at 1:00 PM, Manuel

[Haskell-cafe] Announcing GHC iOS

2013-08-29 Thread Luke Iannini
Hi all! (in case you don't read /r/haskell : )) Stephen Blackheath and I are extremely happy to report that as of today, GHC can natively build binaries for iOS devices and the iOS Simulator. You'll find everything you need here: http://ghc.haskell.org/trac/ghc/wiki/Building/CrossCompiling/iOS

Re: [Haskell-cafe] Announcing GHC iOS

2013-08-29 Thread Luke Iannini
Stephen provided some more credits — thanks so much to all! Three connected projects concerning cross-compilation: *Registerised ARM support, added using David Terei's LLVM compiler back end with Stephen Blackheath doing an initial ARMv5 version and LLVM patch and Karel Gardas working on

[Haskell-cafe] Debugging ByteString and Data.Binary.Get memory usage

2013-08-29 Thread Kyle Hanson
OK I have a bunch of BSON documents that I convert to ByteStrings, put in a Map, and write to a socket based on the response. I noticed some high memory usage (in the GBs) so I decided to investigate. I simplified my problem into a small program that demonstrates clearer what is happening. I

Re: [Haskell-cafe] Debugging ByteString and Data.Binary.Get memory usage

2013-08-29 Thread Johan Tibell
A good starting point is to estimate how much space you think the data should take using e.g. http://blog.johantibell.com/2011/06/memory-footprints-of-some-common-data.html If you do that, is the actual space usage close to what you expected? On Thu, Aug 29, 2013 at 5:35 PM, Kyle Hanson

[Haskell-cafe] ANN: th-desugar simplifies Template Haskell processing

2013-08-29 Thread Richard Eisenberg
I've just uploaded my new th-desugar package, which enables easier processing of Template Haskell source syntax by desugaring it into a much simpler core language. The meaning of the code after desugaring is identical to before desugaring, but the syntax is much simpler. To wit, th-desugar

Re: [Haskell-cafe] Compiler stops at SpecConstr optimization

2013-08-29 Thread Ben Lippmeier
On 30/08/2013, at 2:38 AM, Daniel Díaz Casanueva wrote: While hacking in one of my projects, one of my modules stopped to compile for apparently no reason. The compiler just freezes (like if it where in an infinite loop) while trying to compile that particular module. Since I had this

[Haskell-cafe] Tasty not compiling

2013-08-29 Thread Thiago Negri
I can't install tasty with cabal. Anyone with the same issue or a fix? $ cabal install tasty ... Test\Tasty\Core.hs:147:11: Not in scope: `witness' ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] On Markdown in Haddock and why it's not going to happen

2013-08-29 Thread Mateusz Kowalczyk
Greetings café, Perhaps some saddening news for Markdown fans out there. As you might remember, there was a fair amount of push for having Markdown as an alternate syntax for Haddock. Unfortunately, this is probably not going to happen for reasons listed on the post I just published at [1].

Re: [Haskell-cafe] Debugging ByteString and Data.Binary.Get memory usage

2013-08-29 Thread Bob Ippolito
Building a map with foldr seems unwise, have you tried doing it with fromListWith instead? Or foldl'? In either case, since you don't even put the map into WHNF, none of the computation is done at all in either case until the first lookup. On Thu, Aug 29, 2013 at 3:35 PM, Kyle Hanson

Re: [Haskell-cafe] Debugging ByteString and Data.Binary.Get memory usage

2013-08-29 Thread Kyle Hanson
Thanks Bob, I made it foldr because it was meant to simulate the sequential IO action that my server uses to populate the Map. I found the problem to be that I need to force the map to evaluate so adding a little $! fixed the problem -- Kyle Hanson On Thu, Aug 29, 2013 at 9:09 PM, Bob

Re: [Haskell-cafe] Debugging ByteString and Data.Binary.Get memory usage

2013-08-29 Thread Bob Ippolito
foldl' is the right way to simulate the sequential IO action, foldr would be doing it in reverse (and for large enough input will stack overflow). On Thu, Aug 29, 2013 at 9:33 PM, Kyle Hanson hanoo...@gmail.com wrote: Thanks Bob, I made it foldr because it was meant to simulate the