- Haskell-Cafe - Haskell.org

Re: [Haskell-cafe] Using _ on the RHS of an equation?
by Paul Keir 05 Apr '11

05 Apr '11

Hi Jason, I like the idea. I've seen some code from Oleg Kiselyov which uses __ (two underscores) in this way. The thing that stops me though, is when I get it wrong, and undefined fires somewhere, but I don't know where. Something like you propose, but with a line number, would be sweet. Paul The University of Glasgow, charity number SC004401

3 2

broken on build encoding
by Gang Yu 05 Apr '11

05 Apr '11

Hi, cafe, I always get the following build failure when I try to install encoding: Configuring encoding-0.6.4... Warning: This package indirectly depends on multiple versions of the same package. This is highly likely to cause a compile failure. package haskell98-1.0.1.1 requires random-1.0.0.2 package HaXml-1.20.2 requires random-1.0.0.2 package random-1.0.0.2 requires time-1.1.4 package random-1.0.0.2 requires time-1.2.0.4 Preprocessing library encoding-0.6.4... Building encoding-0.6.4... Data/Encoding/ByteSource.hs:124:0: warning: extra tokens at end of #ifndef directive Data/Encoding/ByteSink.hs:104:0: warning: extra tokens at end of #ifndef directive [ 1 of 65] Compiling Data.Static ( Data/Static.hs, dist/build/Data/Static.o ) [ 2 of 65] Compiling Data.Array.Static ( Data/Array/Static.hs, dist/build/Data/Array/Static.o ) Data/Array/Static.hs:14:35: Warning: Bindings containing unlifted types must use an outermost bang pattern: { (I# ri) = index (s, e) i } *** This will be an error in GHC 6.14! Fix your code now! In the expression: let (I# ri) = index (s, e) i in extract addr ri In the definition of `!': ! (StaticArray s e addr) i = let (I# ri) = index ... i in extract addr ri [ 3 of 65] Compiling Data.Map.Static ( Data/Map/Static.hs, dist/build/Data/Map/Static.o ) [ 4 of 65] Compiling Control.Throws ( Control/Throws.hs, dist/build/Control/Throws.o ) [ 5 of 65] Compiling Data.Encoding.Exception ( Data/Encoding/Exception.hs, dist/build/Data/Encoding/Exception.o ) [ 6 of 65] Compiling Data.Encoding.ByteSource ( Data/Encoding/ByteSource.hs, dist/build/Data/Encoding/ByteSource.o ) Data/Encoding/ByteSource.hs:151:17: Not in scope: data constructor `State' cabal: Error: some packages failed to install: encoding-0.6.4 failed during the building phase. The exception was: ExitFailure 1https://mail.google.com/mail/?shva=1#compose I manually installed a ghc-6.12.3, a ubuntu ghc-6.12.1, all the same? anybody can provide helps? thanks Gang

3 7

ANN: Google Summer of Code student application period opens today
by Johan Tibell 05 Apr '11

05 Apr '11

Hi, The Google Summer of Code student application period starts today at 19:00 UTC. If you're a student and like to get paid to work on a Haskell project this summer I recommend you go find an interesting project [1] and start working on your application. You can find more information on the wiki [2]. Cheers, Johan 1. http://hackage.haskell.org/trac/summer-of-code/report/1 2. http://hackage.haskell.org/trac/summer-of-code/wiki/Soc2011

4 5

lhs2tex and comment
by Mitar 05 Apr '11

05 Apr '11

Hi! I have problems with lhs2tex and nested (long) comments. It formats it all in one long line and does not wrap it. Is there a way to define those comments so that it would maybe automatically wrap them at the end of the page? (And still take into the account possible indentation of comments.) Or at least to not ignore newlines in comments? I am using poly mode. Mitar

1 0

why is ghci trying to load hsc file ??
by briand＠aracnet.com 04 Apr '11

04 Apr '11

Howdy, I worked out a small hdf5 binding using cabal and bindings-DSL and sqlite3 as my example. Time to try it ! ghci -idist/build/ dist/build/Bindings/HDF5.o -lhdf5 -lhdf5_hl hdf5_pkg_test.hs GHCi, version 6.12.1: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading object (static) dist/build/Bindings/HDF5.o ... done Loading object (dynamic) hdf5 ... done Loading object (dynamic) hdf5_hl ... done final link ... done [1 of 2] Compiling Bindings.HDF5 ( dist/build/Bindings/HDF5.hs, interpreted ) src/Bindings/HDF5.hsc:49:8: parse error on input `import' Failed, modules loaded: none. Huh ? Why is it trying to read HDF5.hsc ?? What's even more interesting is that line 49 of that file doesn't have an import on it, so something is fubar. No idea how this could be happening. I've included a copy of my cabal file. BTW. I have to specify the hdf5 libraries, i.e. libhdf5 and libhdf5_hl on the command line. It seems like the build process should have taken care of that in some way, maybe... ? Certainly when I use something like sqlite3, I'm not specifying libsqlite3 on the command line. Thanks, Brian

7 11

Fast conversion between Vector Double and Vector CDouble
by Bas van Dijk 04 Apr '11

04 Apr '11

Hello, I just rewrote my levmar library[1] to use Vectors (from the vector package[2]) instead of lists. I was expecting to see a significant performance improvement. Unfortunately I only saw a 10% improvement. However, I noticed I had a lot of conversions from Vector Double to Vector CDouble and visa versa in my code: import Data.Vector.Storable ( Vector ) mapRealToFrac ∷ (Storable α, Storable β, Real α, Fractional β) ⇒ Vector α → Vector β mapRealToFrac = VS.map realToFrac When I replace this with: mapRealToFrac = unsafeCoerce My application computes the same result but does it 28 times faster! My question are: 1) Is this always safe? In other words: are the runtime representations of Double and CDouble always equivalent or do they vary between platforms? 2) Can the same improvement be accomplished using RULE pragma's? 3) Are there disadvantages of using CDouble instead of Double in the levmar API? For some reason it feels wrong to use CDouble in the API but I don't have a good argument against it yet. Thanks, Bas [1] http://hackage.haskell.org/package/levmar [2] http://hackage.haskell.org/package/vector

4 4

ANN: stm-chans: Additional types of channels for STM.
by wren ng thornton 04 Apr '11

04 Apr '11

-------------------------------------------- -- stm-chans 1.0.0 -------------------------------------------- The stm-chans package offers a collection of channel types, similar to Control.Concurrent.STM.TChan but with additional features. In particular it offers these types: * Control.Concurrent.STM.TBChan: Bounded FIFO channels. When the channel is full, writers will block/retry. This ensures that the writers do not get too far ahead of the readers, which helps to make sure that memory and cpu resources are used responsibly. * Control.Concurrent.STM.TMChan: Closeable FIFO channels. This is like TChan (Maybe a) but with a monotonicity guarantee that once Nothing is returned all future reads will be Nothing as well. * Control.Concurrent.STM.TBMChan: Bounded Closeable FIFO channels. This combines the capabilities of TBChan and TMChan. In addition, the stm-chans package offers a (partial) compatibility layer for some API improvements still making their way into the stm package[1]. These new functions include: * tryReadTChan :: TChan a -> STM (Maybe a) A version of readTChan which does not retry. Instead it returns Nothing if no value is available. * peekTChan :: TChan a -> STM a Get the next value from the TChan without removing it, retrying if the channel is empty. * tryPeekTChan :: TChan a -> STM (Maybe a) A version of peekTChan which does not retry. Instead it returns Nothing if no value is available. [1] http://article.gmane.org/gmane.comp.lang.haskell.libraries/15507 -------------------------------------------- -- Links -------------------------------------------- Homepage: http://code.haskell.org/~wren/ Hackage: http://hackage.haskell.org/package/stm-chans Darcs: http://community.haskell.org/~wren/stm-chans Haddock (Darcs version): http://community.haskell.org/~wren/stm-chans/dist/doc/html/stm-chans -- Live well, ~wren

3 3

Ann: contstuff, dnscache, ihttp, ismtp, netlines, yesod-tableview
by Ertugrul Soeylemez 04 Apr '11

04 Apr '11

Hello fellow Haskellers, (once again posted to the cafe, because the Haskell mailing list rejects my mails.) I have released quite a few libraries over time on Hackage. I feel they are stable enough now to announce them here. * contstuff: Fast and flexible monad transformers based on the CPS concept. Mainly it helps getting rid of large transformer stacks, because it unifies some monad transformers (like StateT and ContT), and it is also faster than the naive approach. This library is comparable to a combination of the transformers package with Edward Kmett's monad-ran package, but without hiding the CPS transformation. In early benchmarks ChoiceT turned out to be twice as fast as normal Haskell lists, and it is also a proper list monad transformer. Finally in the Control.ContStuff.Classes module you find lots of useful utility classes, which seem to be unique to contstuff. * dnscache: Handy DNS caching library. This library automatically manages a set of resolver threads for you, which share a reply cache. This allows very fast mass-resolution. The library also comes with a handy command line utility called 'massdns' for quick resolution of even very large lists of entities. Call massdns without arguments to get usage help. * ihttp: This is an HTTP library based on enumerators giving you maximum flexibility and control over the connection. Using proper iteratees you can simply implement e.g. proxy clients (my main use case), but also HTTP servers. Using proper enumeratees you can also encapsulate the connection in an SSL/TLS layer, but unfortunately there doesn't seem to be such an SSL/TLS implementation yet. * ismtp: This is an advanced ESMTP library, which allows you to structure your sessions as you like. It also features an automated resolver for MX records using the dnscache library. Right now there is support for most of the base functionalities of the protocol as specified in RFC 821 (SMTP) and RFC 1425 (service extensions). An update to RFC 2821 is planned, but is not necessary for practical purposes. The new RFC mainly removes some unneeded features and unifies the two mentioned RFCs. Right now there is no support for SMTL (SASL) authentication, but it is planned for a near future release. For the time being you can implement your own iteratees for this purpose, if you depend on authentication. * netlines: This is a library for writing implementations of text-based protocols. In particular it allows reading lines safely from untrusted sources with a maximum length in constant space. * yesod-tableview: For web applications using Michael Snoyman's Yesod web framework this library implements an easy to use table renderer mainly for database records. It is in an early stage of development right now, but as the need arises, I will extend it. To use the networking libraries, you should be familiar with John Millikin's 'enumerator' package. If you're not, I recommend studying it, because it is a useful library for all kinds of stream processing like network connections, files and concurrent channels. All mentioned libraries have been tested extensively for correctness and safety. Especially the networking libraries have undergone a lot of penetration testing. However, I'm only one developer, so I would be glad to hear about any vulnerabilities and other shortcomings you find. Usually I have a very short response time to bugs in these libraries, so please don't hesitate to contact me. Feature requests are also welcome, of course. =) Please note that major version numbers specify interface versions in my libraries. In other words, a new major version of a package usually means that the API has changed in a way, which is likely to break dependent packages. I would like to use this opportunity to thank a few people in particular (alphabetically): - Cale Gibbard, - Edward Kmett, - John Millikin, - Bryan O'Sullivan and - Michael Snoyman. I appreciate your efforts both in libraries and support. Many thanks, guys! Thanks also to the rest of the innovative and helpful Haskell community. Greets, Ertugrul -- Key-ID: E5DD8D11 "Ertugrul Soeylemez <es(a)ertes.de>" FPrint: 0F12 0912 DFC8 2FC5 E2B8 A23E 6BAC 998E CE40 2012 Keysrv: hkp://subkeys.pgp.net/ -- nightmare = unsafePerformIO (getWrongWife >>= sex) http://ertes.de/

2 1

ANNOUNCE: FreeType 2 Bindings
by Jason Dagit 04 Apr '11

04 Apr '11

I'm excited to announce the immediate availability of FreeType 2 bindings on hackage. These bindings are based off the 2.4.4 release of FreeType 2 and use the BSD licensing option for FreeType 2. This package should be of interest to OpenGL users as it provides a way to get nice looking fonts into your OpenGL programs. This binding is still in its infancy, hence version 0.0.1, but enough of the API is exposed that I was able to convert the example1.c program in the FreeType tutorial to Haskell. Here are a few relevant links: * What is FreeType: http://www.freetype.org/freetype2/index.html * Example program and tutorial: * http://www.freetype.org/freetype2/docs/tutorial/step1.html * http://www.freetype.org/freetype2/docs/tutorial/example1.c * Haskell version of tutorial: * https://github.com/dagit/freetype2/blob/cabalization/Main.hs * Example program output (yes, their tutorial example really does draw the bitmap as a grid of text, scroll around to find the word "blah"), more interesting examples to come later: * http://hpaste.org/45239/aoeu The current API level is "raw" and makes no attempts to present a good Haskell-like interface to the library. My plan is to build a higher level interface on top once a sufficient portion of the API is available to Haskell. You can find the source on github in the cabalization branch: * https://github.com/dagit/freetype2 Patches welcome! Thanks, Jason

2 2

llvm package on Windows
by Jacques Carette 04 Apr '11

04 Apr '11

I am trying to install llvm-0.9.0.1 on Windows (through cygwin), on top of a clean install of Haskell Platform 2010.2.0.0. I do cabal install llvm --configure-option --with-llvm-prefix="C:\\llvm" (which is where I unpacked llvm-gcc4.2-2.8-x86-mingw43.tar.bz2). This fails with .....mingw\bin\ld.exe: cannot find -lLLVMXCoreAsmPrinter (which is indeed the first -l option on the gcc line). [I also tried the llvm-ht package, same issue; I can't tell which of the 2 packages is 'best' from the online doc] Perhaps I need to 'install' llvm more thoroughly? [Most of the instructions online seem to assume you want to use llvm-gcc, which is not my case] Any clues? Jacques

2 1