My take:
Blacklisting equals releasing a bugfix.
Using version number conventions, identifying such a release should be easy.
If there exists a bugfix release for a package currently in use, then cabal
should emit a warning.
Cheers,
JP.
On Nov 13, 2012 6:12 PM, Andreas Abel
On Tue, Nov 13, 2012 at 11:39 PM, Andreas Abel andreas.a...@ifi.lmu.dewrote:
On 13.11.12 11:13 PM, Jean-Philippe Bernardy wrote:
Blacklisting equals releasing a bugfix.
Not quite.
I propose to *define* blacklisting as such.
package-X.Y.Z.W is blacklisted if there exists package-X.Y.Z.V
Thanks for the release!
The following packages are deprecated:
* gnomevfs (replaced by gio)
I am using the file-monitoring feature of gnomevfs, but I find
no replacement in gio. What is my best move?
Thanks again,
JP.
___
Haskell mailing list
Can you explain why you could not use the parsec name,
with revision number (say) 2.2?
This would help improve hackage/cabal/... versioning mechanism.
Thanks,
JP.
On Mon, Aug 2, 2010 at 4:27 AM, Antoine Latter aslat...@gmail.com wrote:
Hello,
I would like to announce the parsec2 package,
On Tue, Jun 22, 2010 at 1:32 PM, Janis Voigtländer
j...@informatik.uni-bonn.de wrote:
I need to read his paper again for the proof idea. Maybe I'll find a
counter example then.
In personal communication, Jean-Philippe added that for your type (Bool
- a) - a the statement that any such
On Sun, Jun 20, 2010 at 12:47 PM, Janis Voigtländer
j...@informatik.uni-bonn.de wrote:
Sebastian Fischer schrieb:
Hello,
I tried to use the free theorem generator in order to check whether the
only values of type `(Bool - a) - a` are `($True)` and `($False)`.
Did you manage to do this now?
and Koen
Claessen:
http://publications.lib.chalmers.se/cpl/record/index.xsql?pubid=99387
or direct link to the pdf:
http://www.cse.chalmers.se/~bernardy/PolyTest.pdf
Cheers,
Jean-Philippe Bernardy.
PS.
Definition of |combine|
---
combine :: Traversable t = (Int - a) - t
Hello,
I have modified the Alex lexer generator to support unicode.
The general idea is that the state-machine works on the UTF8
representation of the text. I submit my work here for review
in order to off-load the maintainer (Simon Marlow) as far
as possible.
The prototype is available on
On Fri, Apr 3, 2009 at 7:12 AM, Marc A. Ziegert co...@gmx.de wrote:
how about an octopus?
I could not resist the opportunity to combine two great ideas and give
you the haskell octopus logo in attachment. It's a bit rough, but with
a bit more polish, what do you think?
Cheers,
JP.
attachment:
On Mon, Oct 6, 2008 at 9:16 AM, Duncan Coutts
[EMAIL PROTECTED] wrote:
Done!
Four days and 15 patches later I can construct install plans for 710
packages from hackage using the darcs cabal-install and last nights
ghc-6.10. (It would be more like 730 but I've not got gtk2hs built for
6.10,
Branwen
* Jean-Philippe Bernardy
* Jeff Wheeler
* Nicolas Pouillard
* Thomas Schilling
* Tristan Allwood
and all the contributors to the previous versions.
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Ahn, Ki Yung kyagrd at gmail.com writes:
Custom yi (/home/kyagrd/.yi/yi-i386-linux) could not be launched!
This is just fixed in the darcs repo.
The custom file yi-i386-linux does not exist and I don't have
any idea what that is.
Yi tries to compile your config file as it starts. It was
Daryoush Mehrtash dmehrtash at gmail.com writes:
I have been told that for a Haskell/Functional programmer the process
of design starts with defining Semantic Domain, Function, and
denotational model of the problem. I have done some googling on the
topic but haven't found a good reference
I think it would be worth spending some time (on this mailing list,
perhaps, or in another forum) trying to hash out a decent API which
meets most people's requirements, rather than ending up with 4 or 5
slightly different ones.
Indeed. I have my own version here:
Niklas Broberg niklas.broberg at gmail.com writes:
The gtk frontend should not suffer from this:
yi -fgtk
C:\Documents and Settings\Niklas Brobergyi -fgtk
yi: exception :: System.Glib.GError.GError
I'm out of ideas.
Maybe you could ask Krasimir Angelov, which did the win32 port.
stefan kersten sk at k-hornz.de writes:
any ideas what's going wrong? is it finally time to upgrade my ghc
installation?
Yep; I think this is fixed in later GHCs.
-- JP
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
://code.google.com/p/yi-editor/wiki/ReleaseNotes0o4
== Acks ==
This release is brought to you by:
Allan Clark
Andrew Birkett
Corey O'Connor
Duncan Coutts
Evan Martin
Fraser Wilson
Gustav Munkby
Gwern Branwen
Jean-Philippe Bernardy
Krasimr Angelov
Nicolas Pouillard
Sean Leather
Thomas Schilling
Niklas Broberg niklas.broberg at gmail.com writes:
Hi Jean-Philippe,
Using cabal install:
cabal install yi-0.4.1
when I do this on my Windows machine, cabal-install tries to download
the unix-2.3.0.0 package, which clearly won't work. How do I get yi to
install on Windows?
Don Stewart dons at galois.com writes:
$ yi -f pango
Launching custom yi: /home/dons/.yi/yi-x86_64-linux
yi: exception :: System.Glib.GError.GError
Anyone seen this?
Consistently on x64. The pango stuff is generally unstable anyway. I'm not sure
what's to blame.
-- JP
Niklas Broberg niklas.broberg at gmail.com writes:
Thanks, after installing gtk2hs and using the flags you told me I
managed to install it just fine. However...
Good :)
The pango stuff is generally unstable anyway. I'm not sure
what's to blame.
... I got this error too, and I'm on
2008/3/20 ac [EMAIL PROTECTED]:
Is anybody interested in working on this? This is a project I've been
interested in for some time, but recognize I probably need some guidance
before I go off and start hacking on it. As dcoutts pointed out on
#haskell-soc, this may be of particular interest to
: http://code.haskell.org/yi
* get involved: mailto:[EMAIL PROTECTED]
This release is brought to you by:
Allan Clark, Andrew Birkett, Ben Moseley, Corey O'Connor, Daniel McAllansmith,
Fraser Wilson, Gustav Munkby, Gwern Branwen, Jean-Philippe Bernardy,
Jens Petersen, Massimiliano Gubinelli, Michael
Hi
On 10/24/07, Ian Lynagh [EMAIL PROTECTED] wrote:
Hi,
On Wed, Oct 24, 2007 at 09:28:51AM +0200, Jean-Philippe Bernardy wrote:
I ran into this problem with the GHC API (GHC 6.8.1 Second Release
Candidate)
upon doing:
session - GHC.newSession (Just path)
I run
Hello,
I spent some time to make Yi work with 6.8, and failed up to now.
Before I go into details, let's see what I'm trying to do with Yi.
The idea is to have a fully dynamic application where the user is
allowed to run arbitrary haskell code on the command line. This can be
used to quickly
Hello,
I ran into this problem with the GHC API (GHC 6.8.1 Second Release Candidate)
upon doing:
session - GHC.newSession (Just path)
I run into:
yi: Can't find package.conf as /home/jp/usr//lib/ghc-6.8.0.20071019
/driver/package.conf.inplace
Digging into this, I found the SysTool.lhs
Hello folks,
Prompted by Ashley's proposal for Category class, I came up with the following
module, which gives a summary of the overloading situation in the base package.
Maybe it can help people find their way through all the available names...
Failing that it surely was fun to come up with. :)
foldr on ElemsView is defined as such:
foldr f i (ElemsView c) = foldr (f . snd) i c
so, for example:
getElementList = toList . ElemViews
When I designed this code (some years ago), I didn't like the fold of Map to
have the type:
fold :: (a - b - b) - b - Map k a - b
This just doesn't
Michael T. Richter ttmrichter at gmail.com writes:
I am Yi maintainer, and therefore responsible for this mess :)
The Yi build is rather involved (due among others to its dynamic nature), and to
make things worse, the build procedure is not up to date. I'm working on
simplifying things though.
Michael T. Richter ttmrichter at gmail.com writes:
OK, got the builds to work. I did, in fact, have to go two layers down to
build yi-lib and install it before building yi proper. (I think this needs
to be updated in the docs or repaired, whichever is appropriate.)
Please provide (doc)
Claus Reinke claus.reinke at talk21.com writes:
This was followed by Ermacs, a concurrent
Emacs clone written completely in Erlang. Ermacs
is fairly complete – it has major modes for
Erlang and Scheme programming, a built-in Erlang
shell, and support for efficiently
Hello,
The following happened to Johannes Waldmann as trying to run yi, which
embeds the GHC api to dynamically load code.
[EMAIL PROTECTED]:~ yi
yi: can't load .so/.DLL for: pthread (/usr/lib/libpthread.so: invalid
ELF header)
The error doesn't happen on my system (ubuntu feisty); despite
:
Allan Clark
Alson Kemp
Andrii Zvorygin
Bastiaan Zapf
Ben Moseley
Cale Gibbard
Don Stewart
Duncan Coutts
Harald Korneliussen
Henning Guenther
Jason Dagit
Jean-Philippe Bernardy
Mario Lang
Mark Wotton
Samuel Bronson
Shae Erisson
Simon Winwood
Spencer Janssen
Stefan O'Rear
Suleiman Souhlal
Taral
Tim
On 4/16/07, Simon Marlow [EMAIL PROTECTED] wrote:
What do you think of this plan? Are there features/bug-fixes that you really
want to see in 6.8?
I'd rather see ghc 6.8 out early.
What about the implementation of associated/indexed type _synonyms_?
Cheers,
JP.
Dominic Steinitz dominic.steinitz at blueyonder.co.uk writes:
setup: Unrecognised flags: --disable-haddock-use-packages
make[1]: *** [.setup-config] Error 1
make[1]: Leaving directory `/home/dom/yi/yi/packages/yi-vty'
You can either upgrade to the latest Cabal repo, or pull the latest
Dominic Steinitz dominic.steinitz at blueyonder.co.uk writes:
setup: ../../Yi/Syntax/Haskell.x: no alex preprocessor available
You need Alex. http://www.haskell.org/alex/
JP,
I assume this is the sort of feedback you want?
Yes, it allows me to update the installation
Dominic Steinitz dominic.steinitz at blueyonder.co.uk writes:
So make finds alex but make emacs doesn't.
Try to do make clean at the toplevel to re-do a cabal configure.
Cheers,
JP.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Dominic Steinitz dominic.steinitz at blueyonder.co.uk writes:
1. ~/usr/bin isn't on my path. Clearly I can fix.
You can install the cabal packages for everyone (ie. dropping --user)
2. Where should YiConfig.hs live? I know it's in examples but I don't want to
copy it into every directory.
Where can I find a filepath=1.0? The one I have from Neil Mitchell is
version 0.11.
You want filepath from http://darcs.haskell.org/packages/filepath/
Cheers,
JP.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Bas van Dijk v.dijk.bas at gmail.com writes:
bas at bassbox ~/development/haskell/yi $ runhaskell Setup.hs build
*** Exception: failed to extract ghc path from command line
...
What can be the problem?
regards,
Bas van Dijk
As Stephan mentioned, the easy solution is to use the
://www.cse.unsw.edu.au/~dons/yi.html
Patches, comments, criticism welcome... as always!
-- Jean-Philippe Bernardy
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Michael Walter michael.walter at gmail.com writes:
where would you get sourceview=0.9.11 for Win32?
I guess
http://haskell.org/gtk2hs/download/
I haven't tried myself, being a linux user.
Maybe Duncan Coutts can tell you more, should it fail.
Cheers,
JP.
Hi,
Please look at
http://darcs.haskell.org/packages/collections/doc/html/Data-Collections.html
for an effort to make most common operation on bulk types fit in a
single framework.
Also, we expect indexed types to solve, or at least alleviate, some
problems you mention in your rant.
Indeed, Chris Ryder and Simon Thompson claim to have done so in this
paper (complete with source code)
http://www.cs.kent.ac.uk/pubs/2005/2266/content.pdf
Could this replace the old-style hasktags?
Cheers,
JP.
On 2/20/07, Ian Lynagh [EMAIL PROTECTED] wrote:
Better still, of course, if
I would advise against using a wrapper, because that will probably
change the behaviour of FiniteMap in subtle ways (recall the left-bias
stuff), laying the pavement for future headaches.
Cheers,
JP.
On 9/4/06, Duncan Coutts [EMAIL PROTECTED] wrote:
Is it too late to ask that Data.FiniteMap
Hello,
I just moved the documentation (still accessible from the below wiki
page) to here:
http://users.skynet.be/jyp/html/collections/Data.Collections.html
the source being:
http://darcs.haskell.org/packages/collections/Data/Collections.hs
And, since you asked for it, there is something I
There is.
http://darcs.haskell.org/darcsweb
Cheers,
JP.
On 4/9/06, John Meacham [EMAIL PROTECTED] wrote:
is there a darcsweb browser for the ghc repos anywhere?
a la
http://repetae.net/dw/darcsweb.cgi?r=jhc;a=summary
John
--
John Meacham - ⑆repetae.net⑆john⑈
David F. Place d at vidplace.com writes:
I'm currently writing and evolution to the standard collection package that can
be found here:
http://darcs.haskell.org/packages/collections/
We integrate your module there. What would you say?
Cheers,
JP.
On 4/3/06, David F. Place [EMAIL PROTECTED] wrote:
On Apr 3, 2006, at 1:31 PM, Benjamin Franksen wrote:
wondered about the Ord instance. Wouldn't it be faster to compare
(word-) representations?
I thought about that some. Since the set representation is based
completely on the
- Concerns about support and maintenance. Those bright developers may
not be around in the long term.
This seems to be a hen egg problem.
Students do not study functional programming deeply because it seems
irrelevant to finding a job. Decision makers, on the other hand, either
have
On 3/18/06, Manuel M T Chakravarty [EMAIL PROTECTED] wrote:
Here addition and multiplication on Peano numerals using MPTCs and FDs:
data Z
data S a
class Add a b c | a b - c
instance Add Z b b
instance Add a b c = Add (S a) b (S c)
class
Hello Bulat,
From my (limited) knowledge of GHC backend, the difficult part of your
plan is that STG is not suited to compilation to native C at all. You
might need to do quite advanced translation from STG to another
intemediate language, (as GRIN for example), and then some more
advanced
Hello,
I'd wish to use Trac to manage my work on the libraries, though I
can't find a subproject or something dedicated to the base package.
Are there plans/policies regarding usage of Trac for libraries ?
Cheers,
JP.
On 12/6/05, Simon Marlow [EMAIL PROTECTED] wrote:
Hi Folks,
We've been
We could also use multi licensing. A possibility is to have, by
default, everything licensed at the same time under BSD, CC, FDL and
GPL.
(For those who wonder, this suggestion is serious /and/ sarcastic at
the same time)
Cheers,
JP.
On 1/9/06, Ian Lynagh [EMAIL PROTECTED] wrote:
On Sun, Jan
Christian Maeder maeder at tzi.de writes:
Hi,
could I ask you for efficient StringMap implementations, i.e. based on
tries or hash keys? It's mainly for the sake of interest. In the (not
too distant) future I'd like to see a library module Data.MapString
along the lines of Data.Map
Maybe SVG is a suitable target/intermediate format. IIRC cairo (and
thus probably gtk2hs) can render it.
On 12/20/05, David Roundy [EMAIL PROTECTED] wrote:
On Tue, Dec 20, 2005 at 03:14:29PM +0100, Gerbrand van Dieijen wrote:
I plan to develop a library in Haskell to draw charts, such as pie
Thanks,
I'll apply ASAP.
Cheers,
JP.
On 10/28/05, Arthur van Leeuwen [EMAIL PROTECTED] wrote:
On 27-okt-2005, at 15:30, Ketil Malde wrote:
Sigh. My system insists on rewriting outgoing mail headers, and
ghc-users refuses non-subscribers to post there. I'm too tired to
fight this at
My interaction depends on the (subtle order of) evaluation of a pure and
total function?
Pure, yes; total, no.
Many important things depend on order of evaluation in lazy programs:
for example, whether they compute a well-defined value at all! The
interleaving of demand in the argument
Dear GHC developpers,
Could you please make Data.Tree Typeable-aware by declaring the
appropriate instances?
Thanks in advance,
Jean-Philippe Bernardy.
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org
On 6/29/05, Seth Kurtzberg [EMAIL PROTECTED] wrote:
I just wanted to correct any assumption that imperative language don't
suffer from error message problems. Fundamentally, they suffer more, and
are in many cases impossible to fix. In my experience GHC error locations
always have some
We've been discussing these issues last year on the libraries list,
and we reached the concensus that no concensus could be reached ( :) )
on the ultimate class-based collection framewor (tm). Hence we choose
to go for concrete implementation of Set and Map types. Please refer
to the libraries
60 matches
Mail list logo