February 2010 - Haskell-Cafe

data-accessor-template-0.2.1.3 breaks cabal-install with ghc-6.12
by John Lato 12 Feb '10

12 Feb '10

Hello, I've recently run across an odd situation. I have a brand new install of GHC-6.12.1 (just did a fresh install of OSX 10.6), and am reinstalling some libraries. I've run into an unusual problem. I'm not sure if this would be considered a cabal bug or not, but I don't think it's a good situation. data-accessor-template depends upon template-haskell (>=2.2 && <2.4), unless built with the flag -ftemplate_2_4, in which case it depends upon template-haskell 2.4 (appropriate for ghc-6.12.1). The relevant lines of the .cabal file are: Flag template_2_4 description: Adapt to TemplateHaskell version of GHC-6.12 default: False If flag(template_2_4) Hs-Source-Dirs: src-5 Build-Depends: template-haskell >=2.4 && <2.5 Else Hs-Source-Dirs: src-3 Build-Depends: template-haskell >=2.2 && <2.4 I can install data-accessor-template when the template_2_4 flag is used, but then when I try to install a package that depends upon data-accessor-template cabal-install calculates the template-haskell >=2.2 && <2.4 dependency and attempts to fulfill it. Which fails at packedstring (can't find Data.Data in a hidden base package). I've included output from attempting to install Chart that demonstrates the behavior. Note that even though cabal-install sees data-accessor-template as installed, it attempts to reinstall it. John-Latos-MacBook:packages johnlato$ cabal install -v -O Chart In order, the following would be installed: packedstring-0.1.0.1 (new package) template-haskell-2.3.0.1 (new version) data-accessor-template-0.2.1.3 (reinstall) changes: template-haskell-2.4.0.0 -> 2.3.0.1 Chart-0.12 (new package) This affects everything down the dependency tree, notably Chart, criterion, and yi. I can work around this by specifying a previous version of data-accessor-template, but unfortunately I don't know how to address the real problem. Cheers, John

1 0

haskell-src type inference algorithm?
by Job Vranish 12 Feb '10

12 Feb '10

Anyone know of a type inference utility that can run right on haskell-src types? or one that could be easily adapted? I want to be able to pass in an HsExp and get back an HsQualType. It doesn't have to be fancy, plain Haskell98 types would do. It wouldn't be to hard to make one myself, but I figured there might be one floating around already and it'd be a shame to write it twice :) Thanks, - Job

7 10

Where are the Takusen sources?
by Jason Dagit 12 Feb '10

12 Feb '10

Hello, I wanted the takusen sources as I may want to add features. I looked on hackage and it lists this url for the repository: http://darcs.haskell.org/takusen I get a 404 on that URL. I checked Oleg's website: http://okmij.org/ftp/Haskell/misc.html#takusen And the links on that page have similar problems. I see that the 0.8.5 release has source on hackage, but I would prefer access to the full repository as I may want to send patches. Does anyone know what has happened to Takusen? Thanks, Jason

2 2

ANN: hmatrix 0.8.3
by Alberto Ruiz 12 Feb '10

12 Feb '10

Hello, I have released a new version of hmatrix, a library for numeric computation based on LAPACK, BLAS and GSL. Recent developments include improved SVD functions, a simple ODE solver, easier OS/X installation (thanks to H. Apfelmus), and updated tutorial. hackage : http://hackage.haskell.org/package/hmatrix home page: http://code.haskell.org/hmatrix tutorial : http://code.haskell.org/hmatrix/hmatrix.pdf Any feedback is welcome! Alberto Ruiz

2 1

haddock forgets parens in type sigs?
by Johannes Waldmann 12 Feb '10

12 Feb '10

The annotated type of "update" is missing parentheses: http://hackage.haskell.org/packages/archive/haskelldb/0.12/doc/html/Databas… (compare with the signature given in the source) - Best, J.W.

2 1

Type arithmetic with ATs
by Andrew Coppin 12 Feb '10

12 Feb '10

OK, so I sat down today and tried this, but I can't figure out how. There are various examples of type-level arithmetic around the place. For example, http://www.haskell.org/haskellwiki/Type_arithmetic (This is THE first hit on Google, by the way. Haskell is apparently THAT popular!) But this does type arithmetic using functional dependencies; what I'm trying to figure out is how to do that with associated types. Any hints? (I know for a fact that other people have done this - rule 34 requires it.)

5 9

Haskell IDEs on Windows; gtk2hs
by Alistair Bayley 12 Feb '10

12 Feb '10

I thought I'd try some of the Haskell IDEs: eclipsefp, leksah, and yi. So far, leksah requires gtk2hs (and apparently yi can use it too?), and the latest gtk2hs installer for Windows doesn't like the latest Haskell Platform, so I'm going to try building gtk2hs from source, unless anyone tells me that it's a waste of time. Building yi fails with: Yi\Prelude.hs:182:9: Duplicate instance declarations: instance Category Accessor.T -- Defined at Yi\Prelude.hs:182:9-38 instance Category Accessor.T -- Defined in data-accessor-0.2.1.2:Data.Accessor.Private cabal: Error: some packages failed to install: yi-0.6.1 failed during the building phase. The exception was: exit: ExitFailure 1 Presumably data-accessor has been updated, but yi has not? What is the easiest fix? Downgrade to an earlier version of data-accessor? So that just leaves eclipsefp. Still trying to figure out how to install eclipse plugins... Alistair

2 1

Call for Copy: Monad.Reader Issue 16
by Brent Yorgey 12 Feb '10

12 Feb '10

Call for Copy: The Monad.Reader - Issue 16 ------------------------------------------ Whether you're an established academic or have only just started learning Haskell, if you have something to say, please consider writing an article for The Monad.Reader! The submission deadline for Issue 16 will be: **Friday, April 16, 2010** The Monad.Reader ~~~~~~~~~~~~~~~~ The Monad.Reader is a electronic magazine about all things Haskell. It is less formal than journal, but somehow more enduring than a wiki- page. There have been a wide variety of articles: exciting code fragments, intriguing puzzles, book reviews, tutorials, and even half-baked research ideas. Submission Details ~~~~~~~~~~~~~~~~~~ Get in touch with me if you intend to submit something -- the sooner you let me know what you're up to, the better. Please submit articles for the next issue to me by e-mail (byorgey at cis.upenn.edu) Articles should be written according to the guidelines available from http://themonadreader.wordpress.com/contributing/ Please submit your article in PDF, together with any source files you used. The sources will be released together with the magazine under a BSD license. If you would like to submit an article, but have trouble with LaTeX please let me know and we'll work something out.

1 0

Re: Haskell-Cafe Digest, Vol 78, Issue 14
by John Lato 12 Feb '10

12 Feb '10

Edward's reply was quite good. I'll just try to fill in a few items he didn't address. > From: Maciej Piechotka <uzytkownik2(a)gmail.com> > > I read a lot about iteratee IO and it seemed very interesting > (Unfortunately it lacks tutorial). Especially features like 'no input > yet' in network programming (with lazy IO + parsec I run into problems > as it tried to evaluate the first response character before sending > output). > > I decided first write a simple program and then attempt write a Stream > implementation for parsec. > >> {-# LANGUAGE FlexibleInstances #-} >> {-# LANGUAGE MultiParamTypeClasses #-} >> import Data.Iteratee >> import Text.Parse >> >> data Buffer a = Buffer >> instance Monad m => Stream (Buffer a) (IterateeG [] a m) a where >> uncons Buffer = IterateeG loop >> where loop (Chunk []) = >> return $! Cont (IterateeG loop) Nothing >> loop (Chunk (x:xs)) = >> return $! Done (Just (x, Buffer)) >> (Chunk xs) >> loop (EOF Nothing) = >> return $! Done Nothing (EOF Nothing) >> loop (EOF (Just e)) = >> return $! throwErr e > > > 2. Is there any package which contains this stream definition? I believe this Stream instance is incorrect. According to the parsec-3.0.1 docs, "A Stream instance is responsible for maintaining the 'position within the stream' in the stream state s. This is trivial unless you are using the monad in a non-trivial way." This is necessary for referential integrity. That is, "uncons s" needs to always evaluate to the same result for the same 's'. Your Stream instance doesn't preserve this. As an example, > testIter = let b = Buffer in uncons b >> uncons b should be an iteratee that returns a "Maybe (t, buffer)" where t is the first element in the enumeration, but with your instance it will return the second. See http://inmachina.net/~jwlato/haskell/ParsecIteratee.hs for a valid Stream instance using iteratee. Also Gregory Collins recently posted an iteratee wrapper for Attoparsec to haskell-cafe. To my knowledge these are not yet in any packages, but hackage is vast. > > 3. Why Seek FileOffset is error message? Version 3 of iteratee is somewhat experimental, one of the ideas on trial is that of resumable exceptions. This framework is perfectly suited to handle control messages as well, which is why Seek is included as an error message. I don't want to make a major release just to fix this, but both error handling and control messages will undergo a substantial cleanup in the next major version. Included in this will be a proper separation between control messages and true exceptions, most likely based upon the extensible-exceptions framework. Cheers, John

4 9

MissingH dropped QuickCheck dep
by John Goerzen 12 Feb '10

12 Feb '10

On Fri, Feb 12, 2010 at 08:45:09AM -0800, John MacFarlane wrote: > +++ thomas hartman [Feb 11 10 21:07 ]: > > gitit on hackage is still blocked because of dependency on missingh, > > which depends on qc1. Not an easy fix -- I couldn't figure out how to > > migrate testpack to qc2. > > > > However, missingh dependency was removed from gitit head > > > > http://github.com/jgm/gitit > > > > so that's good. > > No, gitit head still depends on MissingH, via ConfigFile. > > I imagine John will update MissingH to use QuickCheck2 soon... Hey guys, I took a look at MissingH and there was no need for the main library to depend on QuickCheck in the first place. It was only needed by the tests. So I've uploaded a new MissingH 1.1.0.2 to Hackage that drops that dep. That ought to solve it for you. -- John > > John > > >

2 2