I tried building it from hackage. I got an error:
Setup.hs: sh: createProcess: does not exist (No such file or directory)
...which is very similar to the error I get if I try to build it using 6.10:
Setup.hs: sh: runGenProcess: does not exist (No such file or directory)
I don't know if
Hello all,
when I tried to install plugins package with cabal, I've got the
following error:
# sudo cabal install plugins --global
Resolving dependencies...
cabal: dependencies conflict: ghc-6.10.1 requires process ==1.0.1.1
however
process-1.0.1.1 was excluded because ghc-6.10.1 requires
I'm reading SPJ's The Implementation of Functional Programming Languages, and
on page 32, it defines the multiplication operator in its extended lambda
calculus as:
Eval[[ * ]] a b = a x b
Eval[[ * ]] _|_ b = _|_
Eval[[ * ]] a _|_ = _|_
Is that complete? What are the denotational
Any suggestions?
a) ignore it and hope you don't get segfaults or problems.
b) choose one process libraries and rebuild the other packages using
that one.
About a)
I'm not totally sure what could happen. I just can say That i've used
different cabal versions and it went fine. I guess that
well, the first and most immediate problem is that I can not even
fetch the package from hackage using cabal:
# cabal fetch plugins Resolving dependencies...
cabal: dependencies conflict: ghc-6.10.1 requires process ==1.0.1.1
however
process-1.0.1.1 was excluded because ghc-6.10.1 requires
On Sat, 2009-01-31 at 22:47 +0100, Peter Verswyvelen wrote:
I should have mentioned that my tests have been done only on Windows
and OSX.
Ah, right. Well there are Win32 and Quartz backends too.
I guess I would have to try on a system that supports XRender to
compare.
Unfortunately, the
On 2009 Jan 31, at 20:28, Marc Weber wrote:
tmp %./test1
/tmp nixos
ALERT test, should be shown and should create the sublogger
ALERT test, should not be shown cause we have changed to EMERGENCY
which is quite confusing because I haven't told hslogger explicitely
to use a log level printing
On Fri, 2009-01-30 at 18:29 -0600, John Goerzen wrote:
On Fri, Jan 30, 2009 at 03:50:30PM -0800, Michael Snoyman wrote:
[3 of 7] Compiling Database.HDBC.Statement ( Database/HDBC/Statement.hs,
dist/build/Database/HDBC/Statement.o )
Database/HDBC/Statement.hs:113:9:
Type
On Fri, 2009-01-30 at 18:31 -0600, John Goerzen wrote:
I can't hard-code base = 4 into .cabal because that would break for
GHC 6.8 users. I have CPP code that selects what to compile based on
GHC version.
Ahh, but the version of base is no longer determined by the version of
GHC, so using
On Sun, 2009-02-01 at 01:33 -0800, Valentyn Kamyshenko wrote:
Hello all,
when I tried to install plugins package with cabal, I've got the
following error:
# sudo cabal install plugins --global
Resolving dependencies...
cabal: dependencies conflict: ghc-6.10.1 requires process ==1.0.1.1
It looks that you need MSYS or Cygwin to complete this build. Here you can
find instructions regarding MSYS (and also GLUT, but you can ignore that
part):
http://www.haskell.org/pipermail/haskell-cafe/2007-September/031535.html
All best
Christopher Skrzętnicki
2009/2/1 Lyle Kopnicky
So in the next cabal-install release (which should be pretty soon now)
configure will do the same thing and pick base 3 unless you specify
build-depends base = 4.
... and so there will never be any incentive for these many packages
to migrate to base-4, which also has consequences for packages
On Sat, 2009-01-31 at 14:02 -0800, Don Stewart wrote:
not really :) e.g. my output on a Windows Vista system with GHC
6.10.1
cabal install sdl
Configuring SDL-0.5.4...
setup.exe: sh: runGenProcess: does not exist (No such file or directory)
Isn't this missing C library
Often when trying to run my GTK2HS application the first time with GHCi I
get
: panic! (the 'impossible' happened)
(GHC version 6.10.1 for i386-unknown-mingw32):
loadObj: failed
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
This only occurs when I forgot to set my
On Sun, 2009-02-01 at 15:56 +0100, Niklas Broberg wrote:
So in the next cabal-install release (which should be pretty soon now)
configure will do the same thing and pick base 3 unless you specify
build-depends base = 4.
... and so there will never be any incentive for these many packages
On Sun, Feb 1, 2009 at 12:54 PM, Paulo J. Matos pocma...@gmail.com wrote:
What's the state of the art of automatically
verifying properties of programs written in Haskell?
This is a large field that isn't as black and white as many people
frame it. You can write a proof [1] then translate that
Hi all,
Much is talked that Haskell, since it is purely functional is easier
to be verified.
However, most of the research I have seen in software verification
(either through model checking or theorem proving) targets C/C++ or
subsets of these. What's the state of the art of automatically
On 31 Jan 2009, at 20:54, Gregg Reynolds wrote:
On Sat, Jan 31, 2009 at 1:02 PM, Ben Moseley ben_mose...@mac.com
wrote:
You can view a polymorphic unary type constructor of type :: a -
T as a
polymorphic function.
Shouldn't that be * :: a - T a ?
Yes, you're right. And when I say
On Sat, 2009-01-31 at 16:50 -0800, Don Stewart wrote:
Windows people need to set up a wind...@haskell.org to sort out their
packaging issues, like we have for debian, arch, gentoo, freebsd and
other distros.
Unless people take action to get things working well on their platform,
it will be
I really really think this is the wrong way to go. Occasional
destruction is desperately needed for progress, else things will
invariably stagnate.
I disagree. Having everything fail (we measured it as ~90% of hackage)
when people upgraded to ghc-6.10 would have been a disaster. Do you
On Sun, 2009-02-01 at 15:56 +0100, Niklas Broberg wrote:
So in the next cabal-install release (which should be pretty soon now)
configure will do the same thing and pick base 3 unless you specify
build-depends base = 4.
... and so there will never be any incentive for these many packages
I'm pleased to announce (yet another) package for
processing text with regular expressions: regex-xmlschema
The W3C XML Schema specification (http://www.w3.org/TR/xmlschema11-2/#regexs)
defines a language for regular expressions. This language is used in the
XML Schema spec when defining the data
On Sun, Feb 1, 2009 at 8:26 AM, Ben Moseley ben_mose...@mac.com wrote:
]
So, the idea is that any polymorphic Haskell function (including Data
constructors) can be seen as a natural transformation - so a function from
any object (ie type) to an arrow (ie function). So, take listToMaybe :: [a]
On Sun, 2009-02-01 at 17:22 +0100, Niklas Broberg wrote:
I really really think this is the wrong way to go. Occasional
destruction is desperately needed for progress, else things will
invariably stagnate.
I disagree. Having everything fail (we measured it as ~90% of hackage)
when
I've just uploaded gitit 0.5.1 to HackageDb. Gitit is a wiki program
that uses git or darcs as a filestore and HAppS as a server.
Changes:
* Major code reorganization, making gitit more modular.
* Gitit can now optionally be built using Happstack instead of HAppS
(just use -fhappstack when
On Sun, 2009-02-01 at 16:50 +, Sebastian Sylvan wrote:
Isn't this missing C library dependencies, which cabal head now warns
about?
No, it's about packages using configure scripts which require MSYS on
Windows.
In principle we should be able to notice this while doing the
A common standard would be useful, but OpenVG doesn't look
like ready soon. On the declarative side, there's also SVG..
Seems I've got to qualify that remark somewhat - apart from some
commercial/closed-source implementations, there is also a open
source ANSI C one (implemented on top of
--
From: Duncan Coutts duncan.cou...@worc.ox.ac.uk
Sent: Sunday, February 01, 2009 2:59 PM
To: Don Stewart d...@galois.com
Cc: haskell-cafe@haskell.org
Subject: Re: [Haskell-cafe] 1,000 packages, so let's build a few!
On Sat, 2009-01-31 at 14:02
On Sat, Jan 31, 2009 at 3:14 PM, David Menendez d...@zednenem.com wrote:
There's a paper about defining catamorphisms for GADTs and nested
recursive types that models type constructors that way.
If you recall a title or author I'll google it.
So this gives us two functors, but they operate
Funny story,
If I do the following three things, I get errors on my Intel Mac OS 10.5:
* Build an executable with Cabal
* Have the executable have a build-dep of pcre-light in the .cabal
* use haskeline in the executable itself
I get crazy linker errors relating to haskeline and libiconv:
This is caused by OS X's libiconv being entirely CPP macros, the FFI
has nothing to get hold of. IIRC there's a ghc bug report open for it.
Bob
On 1 Feb 2009, at 18:57, Antoine Latter wrote:
Funny story,
If I do the following three things, I get errors on my Intel Mac OS
10.5:
* Build
On Sun, Feb 1, 2009 at 12:01 PM, Thomas Davie tom.da...@gmail.com wrote:
This is caused by OS X's libiconv being entirely CPP macros, the FFI has
nothing to get hold of. IIRC there's a ghc bug report open for it.
Bob
So why does it sometimes work? I can write and compile executables
using
On Sat, Jan 31, 2009 at 4:26 PM, wren ng thornton w...@freegeek.org wrote:
But a data constructor Dcon a is an /element/ mapping taking elements
(values) of one type to elements of another type. So it too can be
construed as a functor, if each type itself is construed as a
category.
On Sat, Jan 31, 2009 at 5:11 PM, Derek Elkins derek.a.elk...@gmail.com wrote:
But a data constructor Dcon a is an /element/ mapping taking elements
(values) of one type to elements of another type. So it too can be
construed as a functor, if each type itself is construed as a
category.
On Sun, Feb 1, 2009 at 12:04 PM, Antoine Latter aslat...@gmail.com wrote:
On Sun, Feb 1, 2009 at 12:01 PM, Thomas Davie tom.da...@gmail.com wrote:
This is caused by OS X's libiconv being entirely CPP macros, the FFI has
nothing to get hold of. IIRC there's a ghc bug report open for it.
Bob
Hi Haskeleers
I am trying to track down the cause of an error occurring in the Linux
version of wxHaskell. The error occurs before the main function is
executed. That is, it occurs if one imports the wxHaskell libraries, and
it occurs even if one do not execute any wxHaskell function.
briqueabraque:
Hi,
Are there plans to include C99 'complex' type
in Foreign, maybe as CFloatComplex, CDoubleComplex
and CLongDoubleComplex? This seems an easy addition
to the standard and would allow binding of a few
interesting libraries, like GSL.
A separate library for new types to
On 1 Feb 2009, at 19:43, Antoine Latter wrote:
On Sun, Feb 1, 2009 at 12:04 PM, Antoine Latter aslat...@gmail.com
wrote:
On Sun, Feb 1, 2009 at 12:01 PM, Thomas Davie tom.da...@gmail.com
wrote:
This is caused by OS X's libiconv being entirely CPP macros, the
FFI has
nothing to get hold
On Sun, Feb 1, 2009 at 10:04 AM, Antoine Latter aslat...@gmail.com wrote:
On Sun, Feb 1, 2009 at 12:01 PM, Thomas Davie tom.da...@gmail.com wrote:
This is caused by OS X's libiconv being entirely CPP macros, the FFI has
nothing to get hold of. IIRC there's a ghc bug report open for it.
Bob
Hello haskell-cafe,
pure functional denotation for crisis:
(_|_)
--
Best regards,
Bulat mailto:bulat.zigans...@gmail.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Hello,
Has anyone some exampe usages of : Network.UrlDisp ?
thanks in advance,
Pieter
--
Pieter Laeremans pie...@laeremans.org
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On Sun, Feb 1, 2009 at 11:57 AM, Antoine Latter aslat...@gmail.com wrote:
Funny story,
If I do the following three things, I get errors on my Intel Mac OS 10.5:
* Build an executable with Cabal
* Have the executable have a build-dep of pcre-light in the .cabal
* use haskeline in the
Duncan Coutts wrote:
On Sun, 2009-02-01 at 15:56 +0100, Niklas Broberg wrote:
So in the next cabal-install release (which should be pretty soon now)
configure will do the same thing and pick base 3 unless you specify
build-depends base = 4.
... and so there will never be any incentive for
Nice! Well well well, we have exciting times ahead!
If this implementation is somewhat stable, I guess we need to put a binding
on Hackage :)
Of course Microsoft provides the new Direct2D API for something similar, but
having a multi platform solution is preferable.
I also played a bit with an
Bulat Ziganshin wrote:
Hello haskell-cafe,
pure functional denotation for crisis:
(_|_)
See also:
http://www.haskell.org/haskellwiki/Humor/Enron
http://paulspontifications.blogspot.com/2008/09/why-banks-collapsed-and-how-paper-on.html
Paul.
Hi Conal,
On Sat, Jan 31, 2009 at 12:10 AM, Conal Elliott co...@conal.net wrote:
Hopefully some enterprising Haskell hacker will wrap Cairo in a nice
purely functional API.
Jefferson Heard is working on such a thing, called Hieroglyph. [...]
In the process, I realized more clearly that the
On Sun, 2009-02-01 at 13:58 -0600, John Goerzen wrote:
So my plan is to make hackage require an upper bound on the version of
base for all new packages. That should avoid the need to use the
preferences hack the next time around.
Hrm. I can see why you might do that, if you keep the old
Hi all,
The following code creates a symbolic link in the current directory
and then uses System.Posix.Files.getFileStatus to get the status of
the link.
However, isDirectory returns True and isSymbolicLink returns False
which is very different from what the stat() system call on a POSIX
system
You can probably just remove the Setup.lhs and build with defaults
(we're doing that at galois, we use Takusen).
-- Don
I'm surprised this works, unless you also change the imports of
Control.Exception to Control.OldException. The new exception module is
part of the reason it's taking me
alistair:
You can probably just remove the Setup.lhs and build with defaults
(we're doing that at galois, we use Takusen).
-- Don
I'm surprised this works, unless you also change the imports of
Control.Exception to Control.OldException. The new exception module is
part of the
Erik de Castro Lopo wrote:
The following code creates a symbolic link in the current directory
and then uses System.Posix.Files.getFileStatus to get the status of
the link.
If I use getSymbolicLinkStatus instead of getFileStatus I get the
result I expect. However, using getSymbolicLinkStatus
I get a curious message when trying to run 'cabal list':
$ cabal list
omit some lines...
..
Latest version available: 0.3
Category: Network
Synopsis: Pure bindings for the MaxMind IP database.
License: OtherLicense
cabal: Couldn't
Everyone, I'll be releasing Hieroglyph this week. Right now I'm unit
testing and I've been out of town this past weekend without much
opportunity to work on it. It's not yet a complete functional
re-working of Cairo -- for instance, right now patterns aren't
supported, and Pango layouts aren't
Thanks, Peter, for the paper link... I'll look at this, as it's
exactly what it sounds like I want for the future of Hieroglyph...
2009/1/31 Peter Verswyvelen bugf...@gmail.com:
Hi Conal,
Do you have any links to this interesting work of Jefferson Heard? Blogs or
something? I failed to Google
Oh, and by functional, I mean that it isn't a complete re-wrapping of
the library, not that you have IO creeping in all over the place.
Pardon my unclearness.
On Sun, Feb 1, 2009 at 6:10 PM, Jeff Heard jefferson.r.he...@gmail.com wrote:
Everyone, I'll be releasing Hieroglyph this week. Right
Cool! Looking forward to it.
On Mon, Feb 2, 2009 at 12:10 AM, Jeff Heard jefferson.r.he...@gmail.comwrote:
Everyone, I'll be releasing Hieroglyph this week. Right now I'm unit
testing and I've been out of town this past weekend without much
opportunity to work on it. It's not yet a complete
John Van Enk wrote:
Try something like this:
module Main where
import Network.Socket
main = withSocketsDo $ do
-- Make a UDP socket
s - socket AF_INET Datagram defaultProtocol
-- We want to listen on all interfaces (0.0.0.0)
bindAddr - inet_addr 0.0.0.0
-- Bind to
Are there plans to include C99 'complex' type
in Foreign, maybe as CFloatComplex, CDoubleComplex
and CLongDoubleComplex? This seems an easy addition
to the standard and would allow binding of a few
interesting libraries, like GSL.
A separate library for new types to add to Foreign would be the
briqueabraque:
Are there plans to include C99 'complex' type
in Foreign, maybe as CFloatComplex, CDoubleComplex
and CLongDoubleComplex? This seems an easy addition
to the standard and would allow binding of a few
interesting libraries, like GSL.
A separate library for new types to add to
On Sun, 2009-02-01 at 23:04 +, Dougal Stanton wrote:
I get a curious message when trying to run 'cabal list':
$ cabal list
omit some lines...
..
Latest version available: 0.3
Category: Network
Synopsis: Pure bindings for the
On Mon, 2009-02-02 at 09:49 +1100, Erik de Castro Lopo wrote:
Hi all,
The following code creates a symbolic link in the current directory
and then uses System.Posix.Files.getFileStatus to get the status of
the link.
However, isDirectory returns True and isSymbolicLink returns False
which
[re-sending the cc to -cafe as I sent from the wrong address the first time]
On Sun, 2009-02-01 at 12:43 -0600, Antoine Latter wrote:
After a bit of digging, I saw this snippet in the .cabal file for the
iconv package on hackage:
-- We need to compile via C because on some platforms
I'm not working on hvac at the moment, but the UrlDisp code was split
out of it by Artyom Shalkhakov. So some of the old example code from
hvac should still be of interest. The following, for example, was an
implementation of a threaded message board:
Hello
I've written a Haskell binding to the Shiva-VG OpenVG implementation.
Hopefully it should appear on Hackage in the next couple of days - but
for the moment it is available here:
http://slackwise.org/spt/files/OpenVG-0.1.tar.gz
I've tested it on MacOSX leopard and Windows with MinGW /
On Sun, Feb 1, 2009 at 4:07 PM, Duncan Coutts
duncan.cou...@worc.ox.ac.uk wrote:
[re-sending the cc to -cafe as I sent from the wrong address the first time]
On Sun, 2009-02-01 at 12:43 -0600, Antoine Latter wrote:
After a bit of digging, I saw this snippet in the .cabal file for the
iconv
On 01/02/2009, at 8:49 PM, Devin Mullins wrote:
I'm reading SPJ's The Implementation of Functional Programming
Languages, and
on page 32, it defines the multiplication operator in its extended
lambda
calculus as:
Eval[[ * ]] a b = a x b
Eval[[ * ]] _|_ b = _|_
Eval[[ * ]] a _|_ =
Are there plans to include C99 'complex' type
in Foreign, maybe as CFloatComplex, CDoubleComplex
and CLongDoubleComplex? (...)
A separate library for new types to add to Foreign would be the easiest
way forward. (...)
If it's not true, i.e., I could actually have some
arbitrary sized
Hi Antony,
My primary claim for success is that the
representation of Picture in Haven type checks and doesn't appeal to
IO; IO only creeps in when we attempt to render a Picture.
You did something much more meaningful to me that what you say here.
It is easy to define a type that satisfies
2009/2/1 Andrew Coppin andrewcop...@btinternet.com:
Yeah, I just assumed that the bind step was only necessary for
connection-oriented protocols. (Interestingly enough, the matching send
program doesn't bind at all, yet seems to work fine...)
socket() system call creates a socket (a
On Sun, 2009-02-01 at 17:10 -0800, Judah Jacobson wrote:
Someone said that it is just the macports version of iconv that has this
problem but I don't understand that at all. If we're using default
ghc/gcc then we should not be looking in any non-standard include
directories at all.
The
My primary claim for success is that the
representation of Picture in Haven type checks and doesn't appeal to
IO; IO only creeps in when we attempt to render a Picture.
You did something much more meaningful to me that what you say here.
Thanks. ;-)
[...]
I think what you did in Haven
Is there any sensible way to make
newtype FooT m e = FooT (StateT Bar m e) deriving (MonadState)
work to give instance MonadState Bar (FooT m e)?
That is, I'm asking if there would be a semantically sensible way of
modifying GeneralizedNewtypeDeriving to handle multi-parameter type classes
when
So, in practical terms, you suggest that no new version of the package
that ghc package depends on (directly or indirectly) should ever be
installed?
For example, as soon as process-1.0.1.1 is installed on my computer,
I'll have this problem with every package that depends on process?
On Feb 2, 2009, at 1:06 AM, Louis Wasserman wrote:
Is there any sensible way to make
newtype FooT m e = FooT (StateT Bar m e) deriving (MonadState)
work to give instance MonadState Bar (FooT m e)?
That is, I'm asking if there would be a semantically sensible way of
modifying
I will happily check it on Linux. I'm only vaguely familiar with
OpenVG... In theory it's a good API, and would support exactly what
I'd need for a backend to Hieroglyph that isn't Cairo based, but we'd
still need a good image API and probably to bind to Pango to get text
and layout support.
For
I have a reduction system in which a rule takes a term and returns a
set of terms.
The reduction system creates a tree that originates at a starting
value called the root.
For most problems, the reduction system terminates, but a step count
limit protects
from non-termination. Rule application is
On Sun, 01 Feb 2009 15:01:28 +, Duncan Coutts
duncan.cou...@worc.ox.ac.uk wrote:
On Sat, 2009-01-31 at 16:50 -0800, Don Stewart wrote:
Windows people need to set up a wind...@haskell.org to sort out their
packaging issues, like we have for debian, arch, gentoo, freebsd and
other distros.
Hello,
2009/2/2 Pieter Laeremans pie...@laeremans.org:
Has anyone some exampe usages of : Network.UrlDisp ?
I'll write it up in a few days. Right now, you can read the blog posts
of Sterling Clover, topics covered there still apply.
I would be grateful if anybody told me how to upload Haddock
On Mon, Feb 02, 2009 at 10:55:52AM +0600, Artyom Shalkhakov wrote:
Hello,
2009/2/2 Pieter Laeremans pie...@laeremans.org:
Has anyone some exampe usages of : Network.UrlDisp ?
I'll write it up in a few days. Right now, you can read the blog posts
of Sterling Clover, topics covered there
Hello,
2009/2/2 Brent Yorgey byor...@seas.upenn.edu:
I would be grateful if anybody told me how to upload Haddock
documentation to Hackage. The code itself contains documentation,
but I couldn't get it to show up on Hackage.
Haddock documentation is automatically built for packages on
80 matches
Mail list logo
