[Haskell] Re: Haskell Packages 6.6?

2006-10-03 Thread Isaac Jones
I'd like to trim the followup to cabal-devel@ or libraries@ so we don't cross-post to all lists. Lemmih <[EMAIL PROTECTED]> writes: > On 10/4/06, Isaac Jones <[EMAIL PROTECTED]> wrote: >> Hello good Haskell Hackers. >> >> We're pretty well al

[Haskell] Haskell Packages 6.6?

2006-10-03 Thread Isaac Jones
Hello good Haskell Hackers. We're pretty well along the way to getting cabal-install and friends working nicely. We've got almost 30 packages in the database. Let's imagine something that would be awesome. A set of Haskell packages which are all known to work together with a particular version

[Haskell] Haskell Standard: Please email me if you want to join the committee.

2006-09-27 Thread Isaac Jones
Greetings, As announced at the Haskell Workshop, the Haskell Prime process is running another committee selection round. We are specifically looking for people to write sections of the Haskell Report for the "definitely in" and "probably in" proposals, as described in: http://hackage.haskell.org

[Haskell] Haskell' Status Report

2006-09-27 Thread Isaac Jones
Ravi Nanavati has very helpfully put together a status report for the Haskell Prime process. Please see this link, or read the pasted text below: http://hackage.haskell.org/trac/haskell-prime/wiki/Status' peace, isaac Summary: Since the Haskell Workshop last year, the Haskell community has

Re: [Haskell] Haskell / Full-fledge verified OS

2006-08-25 Thread Isaac Jones
We at Galois are quite interested in formally verified software. An OS would be very exciting. We have offered Halfs, a Haskell filesystem, and would be delighted if someone worked to formally verify this. As the primary author, I'd be happy to tweak the Halfs code to make it easier for someone

Re: [Haskell] A road for Haskell into the kernel of a full-fledged OS

2006-06-08 Thread Isaac Jones
Joel Reymont <[EMAIL PROTECTED]> writes: > On Jun 2, 2006, at 5:41 PM, [EMAIL PROTECTED] wrote: > >> It is quite instructive to compare a device driver in Haskell >> with the original C driver -- it terms of length, speed, time to >> write, number of bugs, etc. > > I think this is an awesome idea.

Re: [Haskell] Haskell.org and Google Summer of Code 2006

2006-04-22 Thread Isaac Jones
of the project (The site[4] does explain it all.) > > I contacted many of the people who usually reside in the #haskell IRC > channel asking for collaboration, and they promptly accepted, forming > a quite big number of well organized people -- as now, those three > people are i

[Haskell] Haskell' status & summary

2006-04-22 Thread Isaac Jones
Greetings! I'll try to update the Haskell community periodically on the status of the Haskell' language standard. As mentioned previously, we are currently focusing on two topics, concurrency and the class system. If you feel that you have anything important to contribute to those topics, now is

[Haskell] Announcing Halfs, a Haskell Filesystem

2006-04-12 Thread Isaac Jones
Halfs is a filesystem implemented in the functional programming language Haskell. Halfs can be mounted and used like any other Linux filesystem, or used as a library. Halfs is a fork (and a port) of the filesystem developed by Galois Connections. We've created a virtual machine to make using Half

Re: [Haskell] System.FilePath survey

2006-02-03 Thread Isaac Jones
Wolfgang Jeltsch <[EMAIL PROTECTED]> writes: > Am Freitag, 3. Februar 2006 12:03 schrieb Krasimir Angelov: >> [...] > >> * Will you be happy with a library that represents the file path >> as String? The opposite is to use ADT for it. The disadvantage is that >> with the current IO library we

[Haskell] Haskell': Kicking off the process of defining the next Haskell standard.

2006-01-21 Thread Isaac Jones
l applications in the Haskell language. We will work closely with the rest of the Haskell community to create this standard. Your Haskell' Committee is as follows (slightly munged email addresses follow): * Manuel M T Chakravarty * John Goerzen * Bastiaan Heeren * Isaac Jones * John

Re: [Haskell] Re: Cabal support for djinn

2005-12-14 Thread Isaac Jones
Lennart Augustsson <[EMAIL PROTECTED]> writes: > Thanks! It's in the next version. > I'll also make the license less restrictive. (With no > explicit copyright information in the files the default > copyright applies, i.e., I have all rights.) I just grabbed the darcs version and uploaded it to

Re: [Haskell] cabal and ghcconfigure.h

2005-12-07 Thread Isaac Jones
Robert Dockins <[EMAIL PROTECTED]> writes: > [snip] > >> So you are listing extensions in the source files rather than the >> .cabal file, which should be OK (except that it's non-portable, of >> course). So cabal really shouldn't have anything to do with it. So >> it _should_ be all about how c

Re: [Haskell] cabal and ghcconfigure.h

2005-12-05 Thread Isaac Jones
"Robert" <[EMAIL PROTECTED]> writes: > On Dec 1, 2005, at 10:18 AM, Duncan Coutts wrote: >> On Wed, 2005-11-30 at 22:48 -0500, Robert Dockins wrote: >>> I've just run across a problem with my cabal build system -- I'm not yet >>> sure >>> if this is a cabal problem or a system configuration probl

Re: [Haskell] Re: [Haskell-cafe] Interest in helping w/ Haskell standard

2005-10-12 Thread Isaac Jones
(Trimming CC list. Maybe we should take this to haskell-cafe?) Sebastian Sylvan <[EMAIL PROTECTED]> writes: (snip quotes) > I'm wondering what "incremental and moderate" extension means? > Does it mean "completely backwards compatible" or can it mean > completely new features including ones whic

[Haskell] Interest in helping w/ Haskell standard

2005-10-12 Thread Isaac Jones
ant to take it to the next level. If you raised your hand, or if you think this describes you, please email John Launchbury at [EMAIL PROTECTED] peace, Isaac Jones & Andres Loeh ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] Re: cannot compile ghc on Debian unstable

2005-09-06 Thread Isaac Jones
Yitzchak Gale <[EMAIL PROTECTED]> writes: > Isaac Jones wrote: >> Aaron Denney writes: >> > Isaac Jones wrote: >> >> Michael Vanier writes: > >> >>> Right now, the Debian unstable package for >> >>> GHC 6.4 won't install

Re: [Haskell] Missing docs on Debian?

2005-09-06 Thread Isaac Jones
Yitzchak Gale <[EMAIL PROTECTED]> writes: (on the Haskell Unsafe debian repository) > For the benefit of other Debian users, Google took > me here: > > http://haskell-unsafe.alioth.debian.org/haskell-unsafe.html > > where I found the following lines to add to my > /etc/apt/sources.list file: > > d

Re: [Haskell] Missing docs on Debian?

2005-09-05 Thread Isaac Jones
Yitzchak Gale <[EMAIL PROTECTED]> writes: > Using Debian testing with the ghc6-doc package > installed (version 6.4-3), It looks to me like this isn't the version from "testing" fwiw, but the version from "unstable". You might want to make sure that your versions of ghc and ghc-doc are consiste

Re: [Haskell] Re: cannot compile ghc on Debian unstable

2005-09-01 Thread Isaac Jones
Aaron Denney <[EMAIL PROTECTED]> writes: > On 2005-08-30, Isaac Jones <[EMAIL PROTECTED]> wrote: >> Michael Vanier <[EMAIL PROTECTED]> writes: >> >>> Right now, the Debian unstable package for GHC 6.4 won't install due to >>> some conflic

Re: [Haskell] cannot compile ghc on Debian unstable

2005-08-30 Thread Isaac Jones
Michael Vanier <[EMAIL PROTECTED]> writes: > Right now, the Debian unstable package for GHC 6.4 won't install due to > some conflict with libgmp3 (the package maintainer has been notified). The trick to getting this to work is to install the libgmp3 from stable. apt-get install libgmp3/stable

Re: [Haskell] PHI ¿ Python Haskell Interface

2005-08-20 Thread Isaac Jones
"Gottfried F. Zojer" <[EMAIL PROTECTED]> writes: > Hello, > Is anybody aware about the development status of > PHI Python Haskell Interface > Any time when I want to access I get a timeout > > http://page-208.caltech.edu/phi/ > > Any feedback welcomed I don't know anything about PHI, but there

Re: [Haskell] HaskellForge

2005-05-29 Thread Isaac Jones
Samuel Bronson <[EMAIL PROTECTED]> writes: (snip) > I think we might actually be suffering from the "invented here" > syndrome, namely because we got early exposure to darcs and many of us > got hooked. I kinda disagree here. Haskell people were not using sourceforge way before we had Darcs :)

Re: [Haskell] Cabal problems

2005-05-09 Thread Isaac Jones
Sorry it took me so long to get back to you. I don't follow this mailing list as closely as I follow [EMAIL PROTECTED] Cabal bugs should be reported there or CC'd to me... Peter Simons <[EMAIL PROTECTED]> writes: > Hi, > > I've run into a problem when trying to build a package with > Cabal usin

Re: [Haskell] haddock -cpp ? Cabal support for haddock ?

2005-04-22 Thread Isaac Jones
(CC'ing libraries) (snip) >> > I'd certainly welcome Cabal support for other haddock features as >> > well (--source, --read-interface). I am not sure where to put all >> > these arguments in the .cabal file. >> >> Cabal doesn't support these yet, though. Maybe in the future. > > Dear Isaac, > >

Re: [Haskell] cabal feature request

2005-04-22 Thread Isaac Jones
Benjamin Franksen <[EMAIL PROTECTED]> writes: > I finally succeeded using cabal for a project that uses hsc2hs. My problem > was/is I need to give special options to hsc2hs, for instance a different > template header file to use. Cabal doesn't support this at the moment. > > I propose to give th

Re: [Haskell] haddock -cpp ? Cabal support for haddock ?

2005-04-22 Thread Isaac Jones
Johannes Waldmann <[EMAIL PROTECTED]> writes: > What is the preferred way to generate haddockumentation > from code that must be preprocessed (ghc -cpp)? > > Would Cabal support this? Cabal does support this. If you use the CPP extension, it'll preprocess the code before running haddock on it.

[Haskell] Debian packages of new Hugs and GHC releases

2005-03-11 Thread Isaac Jones
Debian packages for both Hugs and GHC are now available! Hugs March 2005: http://packages.debian.org/unstable/interpreters/hugs GHC 6.4 (Thanks to Ian Lynagh): http://haskell-unsafe.alioth.debian.org/haskell-unsafe.html If you're already using Debian unstable and have Haskell Unsafe in your sour

Re: [Haskell] signature of when, unless

2005-01-17 Thread Isaac Jones
Frederik Eaton <[EMAIL PROTECTED]> writes: > Wouldn't it be more useful if the type was > > when :: Monad m => Bool -> m a -> m () > > not > > when :: Monad m => Bool -> m () -> m () Seconded. peace, isaac ___ Haskell mailing list Haskell@haskell.or

[Haskell] ANN: Cabal 0.4

2005-01-17 Thread Isaac Jones
] and Isaac Jones: [EMAIL PROTECTED] ABOUT: The Haskell Cabal is meant to be a part of a larger infrastructure for distributing, organizing, and cataloging Haskell Libraries and Tools. It is an effort to provide a framework for developers to more effectively contribute their software to the Haskell

[Haskell] more haskell in the news (for nerds)

2004-12-04 Thread isaac jones
(please followup-to haskell-cafe) This slashdot story mentions Haskell being used to solve puzzles: http://developers.slashdot.org/developers/04/12/04/0116231.shtml?tid=159&tid=156 I did a quick search on slashdot to discover that Haskell has been in the topic of a slashdot story 4 times in the

[Haskell] Announce: Cabal 0.1 (Library Infrastructure Project)

2004-08-01 Thread Isaac Jones
e the interfaces and explore the concepts of these tools. Download the Cabal here: http://www.haskell.org/cabal/download.html BUGS: Please report bugs and wish-list items here: http://sourceforge.net/tracker/?func=add&group_id=44807&atid=440922 Or email Isaac Jones: [EMAIL PROTECTED] ABOUT:

Re: [Haskell] Reading a directory tree

2004-06-28 Thread Isaac Jones
[Followups to [EMAIL PROTECTED] This thread makes me want to mention that I'm starting to put together a little library of useful path-based functions (I started it based on OS.Path in Python). Not sure how to organize it, exactly, since some things that might make sense here are already in Syste

[Haskell] new Library Infrastructure spec.

2004-06-01 Thread Isaac Jones
vary. Haskell compilers vary. Packages have dependencies. Etc. Isaac Jones has coordinated an effort to address this problem. We've had a lot of discussion between him and (at least some of) the folk involved in the GHC, Hugs, and nhc implementations. This discussion has led to a new con

Re: Hugs98 November 2003 Debian Packages

2003-12-02 Thread Isaac Jones
Ferenc Wagner <[EMAIL PROTECTED]> writes: > Isaac Jones <[EMAIL PROTECTED]> writes: > >> Let me know if anyone is interested in Woody (stable) backports. > > Yes, I am. I could probably make them myself, but if you > are willing to do so, I will let my 20

Hugs98 November 2003 Debian Packages

2003-11-27 Thread Isaac Jones
Hugs98 November 2003 packages for the Debian GNU/Linux System (unstable) are now available on the Haskell Experimental Debian archive. This package will be uploaded to the Debian servers as soon as the servers are available again. Let me know if anyone is interested in Woody (stable) backports.

Re: Graduate Student

2003-10-21 Thread Isaac Jones
Keith Wansbrough <[EMAIL PROTECTED]> writes: > (SNIP!) > You might find the Wiki pages more interesting; try starting at > > http://haskell.org/hawiki/HaskellTwo > > and browsing around. Otherwise, the mailing list archives are > probably the best place to look. And if you find anything that's

Re: Library Infrastructure Proposal & Home Page

2003-10-05 Thread Isaac Jones
Sorry I haven't gotten around to replying to everyone's comments. I've been shifting apartments :) "Simon Marlow" <[EMAIL PROTECTED]> writes: > I think the proposal is great. Thanks! > It might be worth saying earlier on that the library infrastructure is > expected to be a layer underneath the

Library Infrastructure Proposal & Home Page

2003-09-24 Thread Isaac Jones
ding tools to assist developers, end users, and operating system distributers. This is a draft proposal. If you have comments, please email Isaac Jones. The latest version of this document should be available in a variety of formats from the Library Infrastructu

Re: Syntax extensions

2003-09-11 Thread Isaac Jones
I don't mind pointing out that either solution, compiler independent pragmas or extension import lists, would be great for the Library Infrastructure Project, since it will save us from having to include per-file command-line flags in a package configuration database (see my message to [EMAIL PROTE