$ cabal --version
cabal-install version 0.5.2
using version 1.4.0.2 of the Cabal library
$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 6.8.3
Don Stewart wrote:
magicloud.magiclouds:
Hi,
I wanted to install this package. Well,
Building hprotoc-0.3.1...
...
[3 of
On Tue, 2008-10-14 at 13:51 +0800, Magicloud wrote:
Sigh again, something that always makes me think that cabal is unusable
~/.cabal/lib/HTTP-3001.1.3/ghc-6.8.3/libHSHTTP-3001.1.3.a(Browser.o)(.text+0x5aa6):
In function `rp46_info':
: undefined reference to
Excerpts from Magicloud Magiclouds's message of Mon Oct 13 23:58:58 -0500 2008:
Hi,
I wanted to install it with cabal. Well
$ cabal install derive
Resolving dependencies...
cabal: Couldn't read cabal file ./derive/0.1.2/derive.cabal
As I traced a little, it seemed that line:
Hi Ryan.
Thanks a lot, that was exactly the information I needed.
Concerning the type classes, there are methods, but I dropped them,
because they were not necessary for the problem. However, you are right.
Implementation hiding is what I need.
One suggestion. Maybe a HaskellWiki page on design
After rebuilt HTTP-3001.1.3, I reinstalled, no luck, same error.
I am rebuilding GHC-6.8.3, to see
Duncan Coutts wrote:
On Tue, 2008-10-14 at 13:51 +0800, Magicloud wrote:
Sigh again, something that always makes me think that cabal is unusable
OK, I cannot rebuild ghc-6.8.3 on a ghc-6.8.3 existing enviornment, very
good.
Preprocessing library cgi-3001.1.6.0...
Generating Makefile cgi-3001.1.6.0...
make[2]: Entering directory `/home/shidaw/src/ghc-6.8.3/libraries/cgi'
== make way=p -f GNUmakefile all;
../../compiler/stage1/ghc-inplace
Finally, after I hacked some files, everything worksMan!
Magicloud wrote:
OK, I cannot rebuild ghc-6.8.3 on a ghc-6.8.3 existing enviornment,
very good.
Preprocessing library cgi-3001.1.6.0...
Generating Makefile cgi-3001.1.6.0...
make[2]: Entering directory
Can anyone explain why, now that we have cabal and therefore package
installation is just a short cabal install X away do we need
distribution specific binary packages?
I personally prefer my hackage packages freshly cooked ...
titto
On Tue, Oct 14, 2008 at 3:52 AM, Ariel J. Birnbaum
Wow...I have a user. I wrote hprotoc, and I am adding support for
protobuf-2.0.2 options in the next version of protocol-buffers and hprotoc. Let
me see if I can help
I just tested the tarball again and it Works for me. I bet you are compiling
without the necessary ghc flags. Cabal
Christos Chryssochoidis [EMAIL PROTECTED] wrote in article [EMAIL
PROTECTED] in gmane.comp.lang.haskell.cafe:
I'm interested in doing a survey about the use of Haskell in the field
of Artificial Intelligence. I searched in Google, and found in the
HaskellWiki, at
Hi,
If I have a Haskell wrapper (with unsafe...)
over a function that's never going to return
different values and is always side-effect
free, but can change depending on compile time
options of its library; my program is running,
and then the version of my library is updated
by my distribution
Mauricio wrote:
Hi,
If I have a Haskell wrapper (with unsafe...)
over a function that's never going to return
different values and is always side-effect
free, but can change depending on compile time
options of its library; my program is running,
and then the version of my library is updated
by
On Tue, Oct 14, 2008 at 9:33 AM, Titto Assini [EMAIL PROTECTED] wrote:
Can anyone explain why, now that we have cabal and therefore package
installation is just a short cabal install X away do we need
distribution specific binary packages?
I personally prefer my hackage packages freshly
Hi,
If I have a Haskell wrapper (with unsafe...)
over a function that's never going to return
different values and is always side-effect
free, but can change depending on compile time
options of its library; my program is running,
and then the version of my library is updated
by my distribution
I had the same problem with the 6.8.3 install on Dreamhost, unable to
determine current path or something.
Ended up using 6.8.2 install, and had to crack open the rpm of the old
readline version they linked, put it in $HOME/lib, and set $LD_RUN_PATH to
point to that.
Hi Jeroen,
I've done this. I didn't use the stuff from gtk-osx.org, but rather
from the imendio site itself. I'm not sure how it would work with
binary package they now provide, but if you use their jhbuild scripts
you get something usable. It's ugly, but it works for compiled gtk2hs
programs. If
On Tue, Oct 14, 2008 at 04:39:38PM +0100, Claus Reinke wrote:
Where do the semantics of haskell say this? How does it interact with
fixing bugs (which means changing mathematical and universal constant
functions--since all functions are constants)?
What semantics of haskell?-) But if there
David Roundy wrote:
On Tue, Oct 14, 2008 at 04:05:23PM +0100, Jules Bean wrote:
David Roundy wrote:
Constants are mathematical and universal, like pi. That is what the
semantics of haskell say.
Where do the semantics of haskell say this?
You should better ask 'which semantics?'.
The
On Tue, Oct 14, 2008 at 05:20:35PM +0100, Jules Bean wrote:
David Roundy wrote:
On Tue, Oct 14, 2008 at 04:05:23PM +0100, Jules Bean wrote:
Constants are mathematical and universal, like pi. That is what the
semantics of haskell say.
Where do the semantics of haskell say this?
You should
On Tue, Oct 14, 2008 at 04:05:23PM +0100, Jules Bean wrote:
David Roundy wrote:
(Sure this is a weird situation, but I do like to think about worst
cases.)
In practice that is fine, with current RTSes and so on.
In principle it's not fine. A 'constant' should be constant over all
time,
On Tue, Oct 14, 2008 at 3:31 AM, Magicloud
[EMAIL PROTECTED] wrote:
Finally, after I hacked some files, everything worksMan!
Come ON. You're banned from the Internet. Please, never ever do what
you just did again. Tell what you did! This whole thing is useless
otherwise.
On Tue, 2008-10-14 at 12:31 -0400, David Roundy wrote:
On Tue, Oct 14, 2008 at 05:20:35PM +0100, Jules Bean wrote:
David Roundy wrote:
On Tue, Oct 14, 2008 at 04:05:23PM +0100, Jules Bean wrote:
Constants are mathematical and universal, like pi. That is what the
semantics of haskell say.
Are you advocating introducing existential types to beginning
Haskellers? I think something with the scary name existential
quantification would greatly increase the head'splodin' on the
learnin' slope. Certainly there's a place for them, but I wouldn't
want to see new Haskell programmers
Jonathan Cast [EMAIL PROTECTED] wrote:
David Roundy wrote:
Jules Bean wrote:
David Roundy wrote:
How does it interact with fixing bugs (which means changing
mathematical and universal constant functions--since all
functions are constants)?
That's fine. Changing a program changes it
On Tue, 2008-10-14 at 18:15 +0100, John Lato wrote:
Are you advocating introducing existential types to beginning
Haskellers? I think something with the scary name
Invalid argument.
existential
quantification would greatly increase the head'splodin' on the
learnin' slope.
Invalid
Hi,
I was wondering if anybody managed to get gtk2hs working with GTK+OSX
from http://www.gtk-osx.org/
I'm trying but there seems to be a quite long dependency list that keeps on
building up. So I was wondering if it ends and if it works in the end.
Thanks,
Jeroen
David Roundy wrote:
(Sure this is a weird situation, but I do like to think about worst
cases.)
In practice that is fine, with current RTSes and so on.
In principle it's not fine. A 'constant' should be constant over all
time, not just constant over a particular library version or sub-version
Hi,
Wouldn't it be nice if we had something
like 'void' in Foreign.Marshal.Error in
standard monad functions, so that we could
use it instead of, for instance, mapM_
or sequence_?
Best,
MaurÃcio
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On Tue, Oct 14, 2008 at 12:52 PM, Mauricio [EMAIL PROTECTED] wrote:
Wouldn't it be nice if we had something
like 'void' in Foreign.Marshal.Error in
standard monad functions, so that we could
use it instead of, for instance, mapM_
or sequence_?
Dunno. I thought about using 'void' in the
On Tue, Oct 14, 2008 at 9:14 PM, Jonathan Cast
[EMAIL PROTECTED] wrote:
On Tue, 2008-10-14 at 18:15 +0100, John Lato wrote:
Are you advocating introducing existential types to beginning
Haskellers? I think something with the scary name
Invalid argument.
existential
quantification would
On Tue, Oct 14, 2008 at 9:15 PM, John Lato [EMAIL PROTECTED] wrote:
Are you advocating introducing existential types to beginning
Haskellers? I think something with the scary name existential
quantification would greatly increase the head'splodin' on the
learnin' slope. Certainly there's a
Well, they act like interfaces in argument types, just not variable or
return types.
Yours, Alexey Romanov
On Tue, Oct 14, 2008 at 4:11 PM, John Lato [EMAIL PROTECTED] wrote:
I was just thinking about what I wish someone had told me when I
started working with Haskell (not that long ago).
On Fri, Oct 10, 2008 at 7:08 PM, Justin Bailey [EMAIL PROTECTED] wrote:
This is a beta release (which is why I've limited the audience by
using hackage) to get feedback before distributing the PDF to a wider
audience. With that in mind, I welcome your comments or patches[2].
On page 1, you
On Mon, Oct 13, 2008 at 11:31 PM, Brad Larsen [EMAIL PROTECTED] wrote:
In the next C++ standard, type checking capabilities are being added to
templates---concepts specify a set of operations a templated type must
support. See http://en.wikipedia.org/wiki/C%2B%2B0x#Concepts. Seems
Hi Henk-Jan,
I fear that I may not be able to help as much as I would like, but I
did want to give a few pointers, specifically for building wxWidgets
correctly.
On Tue, 14 Oct 2008 00:53:57 +0200, Henk-Jan van Tuyl
[EMAIL PROTECTED] said:
[snip congrats from Dons - pleasing though they are
mapM and mapM_ have different complexity - I don't know if the
compiler would be smart enough to infer mapM_ style behavior for (void
. mapM).
/g
On Tue, Oct 14, 2008 at 10:52 AM, Mauricio [EMAIL PROTECTED] wrote:
Hi,
Wouldn't it be nice if we had something
like 'void' in
Where do the semantics of haskell say this? How does it interact with
fixing bugs (which means changing mathematical and universal constant
functions--since all functions are constants)?
What semantics of haskell?-) But if there was one, it might not talk
about separate compilation (it should,
On Tue, 14 Oct 2008 18:54:45 +0900, shelarcy [EMAIL PROTECTED] wrote:
wxHaskell requires to use cygwin when building on Windows currently.
Because Cabal doesn't support binary distribution yet.
And there is a lot of incompatibility between cygwin and MSYS. We
don't care about that now.
If you
On Tue, Oct 14, 2008 at 12:03 AM, Magicloud
[EMAIL PROTECTED] wrote:
Hi,
I wanted to install this package. Well,
Building hprotoc-0.3.1...
...
[3 of 7] Compiling Text.ProtocolBuffers.ProtoCompile.Parser ...
Text/ProtocolBuffers/ProtoCompile/Parser.hs:48:0:
Type synonym `GenParser'
2008/10/14 Magicloud [EMAIL PROTECTED]:
Sorry, let me say it this way:
1. Ghc cannot be bootstrap-installed. And the ghc-6.8.3 binary from official
website also cannot run in my box, some kind of overflow error. So I have to
look for help, a few hours later, I found 6.4.2 (I am not sure) which
2008/10/14 Titto Assini [EMAIL PROTECTED]:
Hi Magnus,
you wife must be very advanced if she plans to install xmonad, I read
the installation docs recently and recoiled in horror :-)
Installing xmonad in Debian Sid is extremely simple, thanks to it
being packaged in the distro.
To go back to
It would be helpful if you could describe exactly what you did so we
can work on improving the issue in the long term (and help you fix it
in the short term).
2008/10/14 Magicloud [EMAIL PROTECTED]:
1. I cannot install ghc-6.8.3 in my box until I found the old runable
binary.
2. After I
Sorry, let me say it this way:
1. Ghc cannot be bootstrap-installed. And the ghc-6.8.3 binary from
official website also cannot run in my box, some kind of overflow error.
So I have to look for help, a few hours later, I found 6.4.2 (I am not
sure) which runs well in my box, and install
David Roundy wrote:
On Tue, Oct 14, 2008 at 05:20:35PM +0100, Jules Bean wrote:
Running a program on a different interpreter or compiler had better
not change its denotation, otherwise it [the denotation] is not much
use as a basis for reasoning.
But you're saying above that we can't change
Hi Henk-Jan,
On Tue, 14 Oct 2008 07:53:57 +0900, Henk-Jan van Tuyl [EMAIL PROTECTED] wrote:
I downloaded wxWindows 2.8.9 and tried to build it with the supplied
makefile as
suggested in the installation manual (I have MinGW and MSSY installed):
(snip)
Trying to install wxHaskell:
cabal
1. I cannot install ghc-6.8.3 in my box until I found the old runable
binary.
2. After I installed cabal, and upgraded, ghc-6.8.3 cannot rebuild
itself. Because its libraries are conflict with the ones upgraded by cabal.
3. Sometimes, ghc just ignore some libs, because it does not meet its
On Tue, Oct 14, 2008 at 02:05:02PM +0100, Jules Bean wrote:
Mauricio wrote:
If I have a Haskell wrapper (with unsafe...) over a function that's
never going to return different values and is always side-effect free,
but can change depending on compile time options of its library; my
program
Hi Magnus,
you wife must be very advanced if she plans to install xmonad, I read
the installation docs recently and recoiled in horror :-)
To go back to the subject under discussion, I can perfectly see the
need for having ready made distribution packages for:
- the haskell compilers
- cabal
- a
I'm not advocating existential types in this case. I rarely use them myself.
I was just pointing out that the mechanism for doing the OO thing
exists in Haskell too, albeit looking a little different.
I don't think there's anything weird about existential types, except
an unfamiliar name.
On
Ryan Ingram wrote:
Normally I agree with you, apfelmus, but here at least I have to differ!
/me considers map crushToPurée . filter disagrees ;)
On Mon, Oct 13, 2008 at 11:50 AM, apfelmus [EMAIL PROTECTED] wrote:
*HTML toString $ tag b [] [tag i [] [text ], text test]
bilt;gt;/itest/b
Magicloud wrote:
1. I cannot install ghc-6.8.3 in my box until I found the old runable
binary.
2. After I installed cabal, and upgraded, ghc-6.8.3 cannot rebuild
itself. Because its libraries are conflict with the ones upgraded by cabal.
3. Sometimes, ghc just ignore some libs, because it does
On Tuesday 14 October 2008 10:33:17 Titto Assini wrote:
Can anyone explain why, now that we have cabal and therefore package
installation is just a short cabal install X away do we need
distribution specific binary packages?
One reason I can think of is foreign (read not Haskell)
You can do equivalent of
// List and MyList are different classes
if (something) { return new List(); }
else { return new MyList(); }
in Haskell as well. But to do that you have to introduce an
existential wrapper in the return type.
In OO languages the existential wrapper is built in to OO
While this may be true, it's missing the point. The claim that type
classes are like interfaces (the usual argument is that they define an
interface, but not an implementation) misleads OO-grounded programmers
into thinking of type classes in terms of an already-familiar concept.
This is bad
On Tue, 2008-10-14 at 13:11 +0100, John Lato wrote:
I was just thinking about what I wish someone had told me when I
started working with Haskell (not that long ago). It would have saved
me a great deal of trouble.
A recent quote of mine from HWN:
* ddarius: Here's the short guide to
However the package generated the following warnings:
* A 'license-file' is not specified.
* Exposed modules use unallocated top-level names: Algorithms
everything fetchable with darcs get http://code.haskell.org/external-sort
external-sort is on hackage and seems to work (you can run
On Tue, Oct 14, 2008 at 2:14 PM, Jules Bean [EMAIL PROTECTED] wrote:
David Roundy wrote:
On Tue, Oct 14, 2008 at 05:20:35PM +0100, Jules Bean wrote:
Running a program on a different interpreter or compiler had better
not change its denotation, otherwise it [the denotation] is not much
use
On Wed, 2008-10-15 at 05:39 +0800, Lennart Augustsson wrote:
I'm not advocating existential types in this case. I rarely use them myself.
I was just pointing out that the mechanism for doing the OO thing
exists in Haskell too, albeit looking a little different.
In general, to encode OO you
On Tue, 2008-10-14 at 22:28 +0400, Alexey Romanov wrote:
On Tue, Oct 14, 2008 at 9:14 PM, Jonathan Cast
[EMAIL PROTECTED] wrote:
On Tue, 2008-10-14 at 18:15 +0100, John Lato wrote:
Are you advocating introducing existential types to beginning
Haskellers? I think something with the scary
I'm not advocating existential types in this case. I rarely use them myself.
I was just pointing out that the mechanism for doing the OO thing
exists in Haskell too, albeit looking a little different.
I don't think there's anything weird about existential types, except
an unfamiliar name.
On Tue, 2008-10-14 at 07:13 -0500, Antoine Latter wrote:
On Tue, Oct 14, 2008 at 12:03 AM, Magicloud
[EMAIL PROTECTED] wrote:
Hi,
I wanted to install this package. Well,
Building hprotoc-0.3.1...
...
[3 of 7] Compiling Text.ProtocolBuffers.ProtoCompile.Parser ...
On 10/13/08, Andrew Coppin wrote:
Cool. Is there any progress on getting GHC to *not* freak out when you
ask it to compile a CAF containing several hundred KB of string literal? :-}
Yes and no. There's dons' compiled-constants pkg which has a solution:
mjm2002:
On 10/13/08, Andrew Coppin wrote:
Cool. Is there any progress on getting GHC to *not* freak out when you
ask it to compile a CAF containing several hundred KB of string literal? :-}
Yes and no. There's dons' compiled-constants pkg which has a solution:
How exactly QuasiQuote behave, and what
is available to handle them? (Or: can I
find information already on the web?)
A QuasiQuoter is
data QuasiQuoter
= QuasiQuoter {quoteExp :: String - Q Exp,
quotePat :: String - Q Pat}
-- Defined in Language.Haskell.TH.Quote
Am Mittwoch, 15. Oktober 2008 00:34 schrieb Derek Elkins:
It's not technically true. Type classes and interfaces a la Java are
very fundamentally different neither is remotely capable of doing what
the other does.
Could you elaborate on that, please?
I always understood Java's interfaces to
Thank you for your reply.
So the main information I got is that cabal is not safe. And my problems
are all related to cabal, I think, dependency, ABI version
I hope everything could be better soon. At least, tools should not block
the way of producing.
Thomas Schilling wrote:
2008/10/14
On Wed, 2008-10-15 at 02:22 +0200, Daniel Fischer wrote:
Am Mittwoch, 15. Oktober 2008 00:34 schrieb Derek Elkins:
It's not technically true. Type classes and interfaces a la Java are
very fundamentally different neither is remotely capable of doing what
the other does.
Could you
Could you, perhaps, outline a little more of what you're trying to do? I'm
having a hard time seeing what exactly you're doing, and why you can't use
the package provided by your distribution.
We'd love to help you, but you're not being very clear with what your
problem is.
/jve
On Tue, Oct 14,
On Tue, 2008-10-14 at 19:20 -0700, George Pollard wrote:
I'm a little confused. Why is this allowed:
data Blah = Blah
instance Eq Blah where
x == y = True
But not this:
class Stringable a where
toString :: a - String
instance Stringable [Char] where
On Tue, Oct 14, 2008 at 8:20 PM, George Pollard [EMAIL PROTECTED] wrote:
Illegal instance declaration for `Stringable [Char]'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are distinct type *variables*
Use -XFlexibleInstances if you want to
My linux distribution does not have a ghc. It is customed by my company.
So I have to install it from souce.
And the reason that some situation I did not descript clearly is that
they are long time ago, I cannot remember the details
John Van Enk wrote:
Could you, perhaps, outline a little
Hi,
I am using xmonad + xmobar. And I am using sgi screen font.
But sometimes I need to display CJK characters, which need another font.
In gtk2 software, this is OK. I just specify the screen font for
ascii. It can auto-choose a CJK font. Everything looks fine, maybe not
pretty.
Hi,
There is some discussion about the different design choices relevant
for Haskell's class system in the following paper:
Type classes: exploring the design space
Simon Peyton Jones, Mark Jones, Erik Meijer
Presented at the 1997 Haskell Workshop.
Section 4.5 discusses options related to the
John Lato wrote:
Are you advocating introducing existential types to beginning
Haskellers? I think something with the scary name existential
quantification would greatly increase the head'splodin' on the
learnin' slope.
OOP(*) advocates introducing existential types to beginning programmers.
Jules Bean wrote:
I'm saying that we can change programs, and that changes their
denotation, and that's fine, and anyone can do that. But the denotation
of a program is supposed to be something independent of a particular
compiler or OS or MAC address or RAM size or any of the millions of
On Wed, 2008-10-15 at 09:25 +0800, Magicloud wrote:
Thank you for your reply.
So the main information I got is that cabal is not safe. And my problems
are all related to cabal, I think, dependency, ABI version
You're quite right that Cabal does not track ABI versions. So it is
quite
Hi,
As some articles say, do notation is expand to () and (=) when
being compiled.
So I want to know the details. Like:
main = do
a - getArgs
b - getLine
myFunc1 (head a) b
myFunc2 b (head a)
I cannot figure out what is the () and (=) way of this.
Thanks.
On 2008 Oct 14, at 23:55, Magicloud wrote:
As some articles say, do notation is expand to () and (=) when
being compiled.
So I want to know the details. Like:
main = do
a - getArgs
b - getLine
myFunc1 (head a) b
myFunc2 b (head a)
I cannot figure out what is the () and (=) way of this.
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Magicloud wrote:
Hi, As some articles say, do notation is expand to () and (=)
when being compiled. So I want to know the details. Like: main = do
a - getArgs b - getLine myFunc1 (head a) b myFunc2 b (head a)
I cannot figure out what is the ()
On Wed, 2008-10-15 at 11:55 +0800, Magicloud wrote:
Hi,
As some articles say, do notation is expand to () and (=) when
being compiled.
So I want to know the details.
If you want to know the details, ask the Report. It's perfectly
readable.
http://www.haskell.org/onlinereport/
Magicloud wrote:
Hi,
As some articles say, do notation is expand to () and (=)
when
being compiled.
So I want to know the details. Like:
main = do
a - getArgs
b - getLine
myFunc1 (head a) b
myFunc2 b (head a)
I cannot figure out what is the () and (=) way of this.
Derek Elkins wrote:
On Wed, 2008-10-15 at 05:39 +0800, Lennart Augustsson wrote:
I don't think there's anything weird about existential types, except
an unfamiliar name.
Agreed. I'm extremely tired of the I haven't heard this term therefore
it must be 'scary' and complicated and beyond me
82 matches
Mail list logo
