[Haskell-cafe] Hackage and version control

2009-07-20 Thread Vasili I. Galchin
Hello, It seems to me that Hackage doesn't provide version control, e.g. check out and check in. Am I incorrect? Kind regards, Vasili ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] FFI problem - possibility of CStringLen overflow?

2009-07-20 Thread Robin Green
While rewriting cautious-file to use ByteStrings and FFI just now, I came across this potential problem: Why does the FFI specification define CStringLen as (Ptr CChar, Int)? As the FFI specification itself notes, Haskell 98 implementors are allowed to have a quite small range for Int (only up to

Re: [Haskell-cafe] FFI problem - possibility of CStringLen overflow?

2009-07-20 Thread Bulat Ziganshin
Hello Robin, Monday, July 20, 2009, 6:24:49 AM, you wrote: Why does the FFI specification define CStringLen as (Ptr CChar, Int)? 1. i think it was done to simplify using the api 2. hugs usually don't used for data-massive apps, it's niche is learning and quick development -- Best regards,

Re: [Haskell-cafe] Hackage and version control

2009-07-20 Thread Magnus Therning
On Mon, Jul 20, 2009 at 9:26 AM, Vasili I. Galchinvigalc...@gmail.com wrote: Hello, It seems to me that Hackage doesn't provide version control, e.g. check out and check in. Am I incorrect? Hackage is, AFAIU, a repository where _released_ versions of libraries/tools/etc related to

[Haskell-cafe] Re: was: Debugging methods for haskell structured data types the right way in haskell

2009-07-20 Thread Jon Fairbairn
Fernan Bolando fernanbola...@mailc.net writes: On Sun, Jul 19, 2009 at 7:40 AM, wren ng thorntonw...@freegeek.org wrote: Fernan Bolando wrote: The intention is z0 is a system parameter and database, it contains a set of info needed to define a particular simulation A single-constructor

Re: [Haskell-cafe] Hackage and version control

2009-07-20 Thread Bulat Ziganshin
Hello Vasili, Monday, July 20, 2009, 12:26:52 PM, you wrote: It seems to me that Hackage doesn't provide version control, e.g. check out and check in. Am I incorrect? i recommend you to use either codeplex or code.google -- Best regards, Bulat

Re: [Haskell-cafe] Hackage and version control

2009-07-20 Thread Robin Green
On Mon, 20 Jul 2009 10:03:56 +0100 Magnus Therning mag...@therning.org wrote: On Mon, Jul 20, 2009 at 9:26 AM, Vasili I. Galchinvigalc...@gmail.com wrote: Hello, It seems to me that Hackage doesn't provide version control, e.g. check out and check in. Am I incorrect? Hackage is,

Re: [Haskell-cafe] Hackage and version control

2009-07-20 Thread Miguel Mitrofanov
Or patch-tag.com On 20 Jul 2009, at 13:27, Bulat Ziganshin wrote: Hello Vasili, Monday, July 20, 2009, 12:26:52 PM, you wrote: It seems to me that Hackage doesn't provide version control, e.g. check out and check in. Am I incorrect? i recommend you to use either codeplex or

Re: [Haskell-cafe] Hackage and version control

2009-07-20 Thread Joe Fredette
Don't forget about Patch-tag! Bulat Ziganshin wrote: Hello Vasili, Monday, July 20, 2009, 12:26:52 PM, you wrote: It seems to me that Hackage doesn't provide version control, e.g. check out and check in. Am I incorrect? i recommend you to use either codeplex or code.google

Re: [Haskell-cafe] Hackage and version control

2009-07-20 Thread Wolfgang Jeltsch
Am Montag, 20. Juli 2009 05:25 schrieb Robin Green: community.haskell.org requires you to wait for a volunteer to review every new project request. However, response times are usually low. Best wishes, Wolfgang ___ Haskell-Cafe mailing list

Re[2]: [Haskell-cafe] Hackage and version control

2009-07-20 Thread Bulat Ziganshin
Hello Joe, Monday, July 20, 2009, 2:36:28 PM, you wrote: afaik it provides minimal features, only VCS, while sitea i mentioned provides full service for OSS developer Don't forget about Patch-tag! Bulat Ziganshin wrote: Hello Vasili, Monday, July 20, 2009, 12:26:52 PM, you wrote:

Re: [Haskell-cafe] ANN: cautious-file 0.1.1: Ways to write a file cautiously, to avoid data loss

2009-07-20 Thread Robin Green
I've since uploaded two new versions with the following changes: 0.1.2: Fixed an issue where it would clobber symbolic links to files, which is usually not what you want. Test case added for this. 0.1.3: ByteString support! FFI is also now used under the hood to do things in a slightly less

Re: [Haskell-cafe] Implicit concatenation in list comprehensions

2009-07-20 Thread Roel van Dijk
I think the tuple sections are a great idea! It also makes tuple types and constructors more alike: x :: (,) String Double x = (,) Pi 3.14159 I can also see some uses in writing pointfree code. I would definitely want this in a future GHC (or any other Haskell compiler/interpreter) release. I'm

Re: [Haskell-cafe] ANN: cautious-file 0.1.1: Ways to write a file cautiously, to avoid data loss

2009-07-20 Thread Felipe Lessa
Nice library! On Sun, Jul 19, 2009 at 11:35:34PM +0100, Robin Green wrote: A variant, writeFileWithBackup, also allows you to supply a custom backup computation to backup old copy(ies) of the destination file It would be nice to have the backup action receive the file name as a parameter, so

[Haskell-cafe] Typeclass default implementation in subclasses

2009-07-20 Thread Andy Gimblett
Hi all, This email is literate Haskell. I have a question about default implementations of typeclasses. {-# LANGUAGE TypeSynonymInstances #-} module Thing where import Text.PrettyPrint.HughesPJ Let say I want to pretty-print some values, enclosed in double quotes. The natural thing to do

[Haskell-cafe] ICFP contest write-up

2009-07-20 Thread Rafael Gustavo da Cunha Pereira Pinto
For all Portuguese reading haskellers, I am describing my ICFP 2009 contest write-up on my blog. Feel free to comment. http://rafaelgcpp.blogspot.com/search/label/ICFP2009 For the non-Portuguese readers, Google translation tools do a lousy job, but it is still readable. Regards Rafael Gustavo

[Haskell-cafe] SpecConstr difficulties

2009-07-20 Thread Reiner Pope
Hi everyone, I've been having some trouble getting SpecConstr to work as I want it to. The following example (see end of email) came up in some code I was playing around with. The loops g1 and g2 both compute the same thing: the maximum element of the list (which has been fused away) of numbers

Re: [Haskell-cafe] Typeclass default implementation in subclasses

2009-07-20 Thread Roel van Dijk
This post is also literate haskell. By enabling these potentially dangerous extensions you'll get the behaviour you want. {-# LANGUAGE TypeSynonymInstances #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE OverlappingInstances #-} module Thing where

[Haskell-cafe] ANNOUNCE: graphviz-2999.1.0.1

2009-07-20 Thread Ivan Lazar Miljenovic
This is a bug-fix release to fix the various Attribute-related problems in the previous release (2999.0.0.0) spotted mainly by Zsolt Dollenstein. Please disregard version 2999.1.0.0; it had a small bug. Similarly, people should avoid using 2999.0.0.0 unless they don't use any Either-based

Re: [Haskell-cafe] Implicit concatenation in list comprehensions

2009-07-20 Thread Roel van Dijk
On Mon, Jul 20, 2009 at 1:27 PM, Roel van Dijkvandijk.r...@gmail.com wrote: I think the tuple sections are a great idea! It also makes tuple types and constructors more alike: x :: (,) String Double x = (,) Pi 3.14159 I just realised this is already in GHC :-) But does you patch also add the

RE: [Haskell-cafe] Implicit concatenation in list comprehensions

2009-07-20 Thread Sittampalam, Ganesh
Roel van Dijk wrote: On Mon, Jul 20, 2009 at 1:27 PM, Roel van Dijkvandijk.r...@gmail.com wrote: I think the tuple sections are a great idea! It also makes tuple types and constructors more alike: x :: (,) String Double x = (,) Pi 3.14159 I just realised this is already in GHC :-) But

Re: [Haskell-cafe] Implicit concatenation in list comprehensions

2009-07-20 Thread Roel van Dijk
I am also wondering what the following would/should mean:   (1, , ( , 2), ) 'a' 'b' 'c' I would expect it to be a type error, since I think the following is the only sane type the tuple can have (assuming numeric literals :: Int): (1, , ( , 2), ) :: a - b - (Int, a, c - (c, Int), b)

Re: [Haskell-cafe] FFI problem - possibility of CStringLen overflow?

2009-07-20 Thread Jason Dagit
On Sun, Jul 19, 2009 at 7:24 PM, Robin Green gree...@greenrd.org wrote: While rewriting cautious-file to use ByteStrings and FFI just now, I came across this potential problem: Why does the FFI specification define CStringLen as (Ptr CChar, Int)? Do you think it was a typo and the author(s)

[Haskell-cafe] Anglohaskell - wifi signups

2009-07-20 Thread Philippa Cowderoy
Wifi signups are Anglohaskell are now on the wiki - please add your details by the 31st of July if you want a wifi account at MS Research for the Friday. Alternatively, reply to this email with your full name, institution, country of residence and email address. The Anglohaskell wiki page can

[Haskell-cafe] Pruning the Front Page

2009-07-20 Thread Thomas DuBuisson
All, I think we should remove unmaintained or refocused implementations from the haskell.org front page. This would mean removing: YHC - unmaintained, hasn't built for me in a while LHC - Not a standalone compiler these days - perhaps should be linked as a GHC subproject? Other than

Re: [Haskell-cafe] Pruning the Front Page

2009-07-20 Thread Don Stewart
thomas.dubuisson: All, I think we should remove unmaintained or refocused implementations from the haskell.org front page. This would mean removing: YHC - unmaintained, hasn't built for me in a while LHC - Not a standalone compiler these days - perhaps should be linked as a GHC

Re: [Haskell-cafe] Implicit concatenation in list comprehensions

2009-07-20 Thread Max Bolingbroke
2009/7/20 Roel van Dijk vandijk.r...@gmail.com: I just realised this is already in GHC :-) But does you patch also add the equivalent for tuple type annotations? x :: (String, ) Double x = (Pi, ) 3.14159 It doesn't, and indeed it would only work in the special case where your only missing

Re: [Haskell-cafe] Ambiguous type variable - help!

2009-07-20 Thread phil
On 19 Jul 2009, at 21:18, Yitzchak Gale wrote: Hi Phil, I've concocted a very simple example to illustrate this (below) - but it doesn't compile because ghc complains that my type is ambiguous arising from my use of 'fromSeq'. Notice that you have given two completely separate sets

Re: [Haskell-cafe] Implicit concatenation in list comprehensions

2009-07-20 Thread Nicolas Pouillard
Excerpts from Max Bolingbroke's message of Sun Jul 19 16:58:08 +0200 2009: Dear Cafe, For fun, I spent a few hours yesterday implement support for this syntax in GHC, originally propsed by Koen Claessen: [...] P.S. I also implemented tuple sections

Re: [Haskell-cafe] Implicit concatenation in list comprehensions

2009-07-20 Thread porges
2009/7/21 Roel van Dijk vandijk.r...@gmail.com: I am also wondering what the following would/should mean:   (1, , ( , 2), ) 'a' 'b' 'c' I would expect it to be a type error, since I think the following is the only sane type the tuple can have (assuming numeric literals :: Int): (1, , ( , 2),

Re: [Haskell-cafe] Pruning the Front Page

2009-07-20 Thread Gwern Branwen
On Mon, Jul 20, 2009 at 2:09 PM, Thomas DuBuissonthomas.dubuis...@gmail.com wrote: All, I think we should remove unmaintained or refocused implementations from the haskell.org front page.  This would mean removing:    YHC - unmaintained, hasn't built for me in a while    LHC - Not a

[Haskell-cafe] understanding HXT's insertChildrenAfter

2009-07-20 Thread Jake
Playing on HXT 8.3.0 via cabal on GHC 6.10.2. While there are plenty of useful examples of extract data from XML, applying the appropriate API to transform and/or merging still baffle me. In this case, it is the insertChildrenAfter, let's try it with the following example: given 2 files ---