Daniel == Daniel Fischer daniel.is.fisc...@googlemail.com writes:
Daniel On Tuesday 21 December 2010 19:34:11, Felipe Almeida Lessa wrote:
Theorem mirror_mirror : forall A (x : Tree A), mirror (mirror x) = x.
induction x; simpl; auto. rewrite IHx1; rewrite IHx2; trivial.
David == David Fox dds...@gmail.com writes:
David On Thu, Nov 4, 2010 at 2:41 PM, Albert Y. C. Lai tre...@vex.net
wrote:
On 10-11-03 10:00 PM, Jonathan Geddes wrote:
It's called The *Ultimate* Computer Language Guide, and it's on the
internets, so it must be correct, right?
Don == Don Stewart d...@galois.com writes:
Let me explain.
Haskell is an advanced purely functional programming language.
Good start, if only the advanced were replaced with something
more characteristic, like lazy, or statically typed. Which,
BTW, both do
Max == Max Bolingbroke batterseapo...@hotmail.com writes:
Prelude (if then Haskell else Cafe) False
Max Cafe
My reaction is to ask:
Can you write this as:
(if then else) False Haskell Cafe
?
--
Colin Adams
Preston Lancashire
() ascii ribbon campaign - against html e-mail
/\
Henning == Henning Thielemann lemm...@henning-thielemann.de writes:
Henning On Wed, 8 Sep 2010, Gregory Crosswhite wrote:
ExceptionT is a different matter because it handles fail as an
uncaught error and places no restrictions on the error type, so
one could implement the same
Ketil == Ketil Malde ke...@malde.org writes:
Ketil Johan Tibell johan.tib...@gmail.com writes:
It's not clear to me that using UTF-16 internally does make
Data.Text noticeably slower.
Ketil I think that *IF* we are aiming for a single, grand, unified
Ketil text library to
Ivan == Ivan Lazar Miljenovic ivan.miljeno...@gmail.com writes:
Char is not an encoding, right?
Ivan No, but in GHC at least it corresponds to a Unicode codepoint.
I don't think this is right, or shouldn't be right, anyway.. Surely it
stands for a character. Unicode codepoints include
Johan == Johan Tibell johan.tib...@gmail.com writes:
Johan On Tue, Aug 17, 2010 at 1:36 PM, Tako Schotanus t...@codejive.org
wrote:
Johan Yeah, I tried looking it up but I could find the
Johan technical definition for Char, but in the end I found that
Johan maxBound was
Bryan == Bryan O'Sullivan b...@serpentine.com writes:
Bryan On Sat, Aug 14, 2010 at 10:46 PM, Michael Snoyman
mich...@snoyman.com wrote:
Bryan When I'm writing a web app, my code is sitting on a Linux
Bryan system where the default encoding is UTF-8, communicating
Bryan with
Alexander == Alexander Solla a...@2piix.com writes:
Alexander On Aug 3, 2010, at 2:51 PM, aditya siram wrote:
I am looking for suggestions on how to introduce the concept and its
implications. I'd also like to include a section on why monads
exist and why we don't really see them
Kevin == Kevin Jardine kevinjard...@gmail.com writes:
Kevin The more I learn about monads, however, the less I understand
Kevin them. I've seen plenty of comments suggesting that monads
Kevin are easy to understand, but for me they are not.
I used to have the same problem.
Then I
Conor == Conor McBride co...@strictlypositive.org writes:
Conor Remember, Haskell is the world's most popular dependently
Conor typed functional programming language...
Could you justify that claim please?
--
Colin Adams
Preston Lancashire
() ascii ribbon campaign - against html
aditya == aditya siram aditya.si...@gmail.com writes:
aditya This is awesome! GHC-devs , please mainline the CONTRACT
aditya pragma.
I think it needs a LOT more work before it is usable. (I hope I'm wrong,
but Dana reckoned it needed about 7 more man-years of work.)
Dana sent me a
Pekka == Pekka Enberg penb...@cs.helsinki.fi writes:
Pekka On Tue, Apr 6, 2010 at 7:32 AM, Ivan Miljenovic
Pekka ivan.miljeno...@gmail.com wrote:
5) No-one is convincing anyone else to their point of view, so we
have a stale mate.
Pekka Can you really legally distribute
Neil == Neil Brown nc...@kent.ac.uk writes:
Neil That did indeed turn out to be the fix. That will teach me to
Neil release a package without remembering to test it on GHC 6.10
Neil first. I've uploaded chp-plus 1.2.0 to Hackage, which should
Neil fix this issue (among other
Has anyone ever written a server in Haskell for managing live
game-playing (any game) across the internet?
--
Colin Adams
Preston Lancashire
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
I'm getting these errors (ghc 6.10.4 on Linux x86_64):
Building chp-plus-1.1.0...
[1 of 9] Compiling Control.Concurrent.CHP.Test (
Control/Concurrent/CHP/Test.hs, dist/build/Control/Concurrent/CHP/Test.o )
[2 of 9] Compiling Control.Concurrent.CHP.Console (
Control/Concurrent/CHP/Console.hs,
Günther == Günther Schmidt gue.schm...@web.de writes:
Günther But now I need to amend the attributes of some elements
Günther with looked up values from the outside, the lookup-key is a
Günther particular attribute value of the nodes. This I cannot do
Günther through xslt
Günther == Günther Schmidt gue.schm...@web.de writes:
Günther Dear Alistair, after working intensely with XSLT again
Günther (with a break for several years), I wholeheartedly concur.
Günther You guys are right though, through the document function it
Günther would be possible.
Günther == Günther Schmidt gue.schm...@web.de writes:
Günther Hello Johannes, no, sorry, HaskellDB is only meant for RDBM
Günther back ends, it eventually generates SQL (Strings).
I recall that there WAS an experimental in-memory backend.
--
Colin Adams
Preston Lancashire
Johannes == Johannes Waldmann waldm...@imn.htwk-leipzig.de writes:
Johannes Michael Snoyman michael at snoyman.com writes:
Did you append an empty string in the SELECT statement?
Johannes Magnus says 1. is wrong, but I don't see how the DB server
Johannes could be convinced to
Johannes == Johannes Waldmann waldm...@imn.htwk-leipzig.de writes:
That is exactly the problem - it is wrong for CalendarT.
Johannes what do you mean by it ... what package should be fixed
Johannes (old-locale, haskelldb-hdbc-postgreqsl, ...)? Because
Johannes obviously
Casey == Casey Hawthorne cas...@istar.ca writes:
Casey You could also implement stacks with mutable data structures,
Casey e.g. STArray, etc.
Casey What do you want to use a stack ADT for?
BTW, There is a Myers stack in Edison.
Disclaimer - I don't know what a Myers stack is.
--
Johannes == Johannes Waldmann waldm...@imn.htwk-leipzig.de writes:
Johannes anyone know what's happening here? I get this when
Johannes executing a query via haskelldb-hdbc-postgresql-0.12 (The
Johannes date is actually in the DB, so it's not a connection
Johannes problem.)
Günther == Günther Schmidt gue.schm...@web.de writes:
Günther My question is: do formlets only work server based or is it
Günther also possible to use formlet sans happs?
Yes (I think) and yes.
--
Colin Adams
Preston Lancashire
___
Roel == Roel van Dijk vandijk.r...@gmail.com writes:
Roel I think it is time for an Obfuscated Haskell Contest :-)
Are you allowed to use obsolete scripts for your identifiers? :-)
--
Colin Adams
Preston Lancashire
___
Haskell-Cafe mailing list
Tom == Tom Tobin korp...@korpios.com writes:
Tom readability. The ASCII characters are universal and easily
Tom recognized
No they are not.
My wife is Chinese. When she was learning pinyin as a child, she asked
her father for help with some homework. He replied that he didn't
Andrew == Andrew Coppin andrewcop...@btinternet.com writes:
Andrew It's weird that us Haskell people complain about there
Andrew being only 26 letters in the alphabet
Which alphabet?
You have plenty of choice in Unicode.
--
Colin Adams
Preston Lancashire
Ketil == Ketil Malde ke...@malde.org writes:
[1] and quite a high proportion of other natural languages.
Ketil Which makes me wonder - might there be a (natural) language
Ketil bias as well?
Sure.
Different languages have different orthographical traditions.
IMHO a project
Daniel == Daniel Fischer daniel.is.fisc...@web.de writes:
Daniel As a pre-alpha version:
Daniel
Daniel module Main (main) where
Daniel import Data.Char (isUpper, isLower, toLower)
Daniel main :: IO () main =
Daniel == Daniel Fischer daniel.is.fisc...@web.de writes:
Daniel Database.Haskell_DB.Sql.Postgre_SQL
Actually, I would be semi-happy with Database.Haskell-DB.Sql.Postgre-SQL
(obviously we need an option whether to use hypens or underscores. I
prefer hyphens.)
Daniel Data.Bits.shiftL
Richard == Richard O'Keefe o...@cs.otago.ac.nz writes:
Richard The real point is that the revised version, with command
Richard line arguments and all, is still just 52 SLOC. (41 if
Richard you don't count type specifications the compiler could
Richard have inferred or the two
Daniel == Daniel Fischer daniel.is.fisc...@web.de writes:
Daniel Now, would you be interested in a transformation the other
Daniel way round, so that you can read other people's code in
Daniel your preferred style?
I would, applied to the output of haddock, at least.
--
Colin
Malcolm == Malcolm Wallace malcolm.wall...@cs.york.ac.uk writes:
there is enough experimentally determined about reading in
general to be certain that visible gaps between words
materially improves readability, and internal capital letters
harm it.
Malcolm Here is a
Is there any free code anywhere for performing logistic regression? I
can't see anything on hackage.
--
Colin Adams
Preston Lancashire
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
I'm seeing messages such as:
Database/HDBC/SqlValue.hs:610:32:
No instance for (Typeable Day)
Is this connected with the in-and-out status of the time library in
the GHC 6.10.x series?
Is there a work-around?
--
Colin Adams
Preston Lancashire
Andrew == Andrew Coppin andrewcop...@btinternet.com writes:
Andrew Casey Hawthorne wrote:
Why in a pattern match like
score (1 3) = 7
can I not have
sizeMax = 3
score (1 sizeMax) = 7
If I had a dollar for every time I've written
Christoph == Christoph Bauer i...@christoph-bauer.net writes:
Christoph Hello, sure, your program could use a database with
Christoph HDBC. But I'll guess (since you love static typing so
Christoph much) you dislike formulating queries in strings and to
Christoph check the
Max == Max Rabkin max.rab...@gmail.com writes:
Max Haskellers, To add image support to fdo-notify, I need an
Max image type. Looking through Hackage, I didn't find any image
Max library with the following features: * Load from a variety of
Max formats (at least PNG and JPG, I'd
Jeremy == Jeremy Shaw jer...@n-heptane.com writes:
Jeremy There is a partial binding to libgd:
Jeremy
http://hackage.haskell.org/packages/archive/gd/3000.4.0/doc/html/Graphics-GD.html
Jeremy http://www.libgd.org/Main_Page
Jeremy But GD itself may not do what you want.
I ended
Magnus == Magnus Therning mag...@therning.org writes:
Magnus It seems I was wrong in my assumption about data
Magnus inheritance, implementation inheritance is just as
Magnus evil.
Both are fine.
--
Colin Adams
Preston Lancashire
___
Brandon == Brandon S Allbery KF8NH allb...@ece.cmu.edu writes:
Brandon That would be the Haskell98 Report: Haskell uses the
Brandon Unicode [11] character set. However, source programs are
Brandon currently biased toward the ASCII character set used in
Brandon earlier versions of
Svein == Svein Ove Aas svein@aas.no writes:
Svein Known bugs: * Occasionally, the haskell-indentation parser
Svein will get stuck on what it considers to be invalid haskell
Quite often.
Svein code, and refuse to accept your commands; this includes,
Svein mainly,
Magnus == Magnus Therning mag...@therning.org writes:
Magnus Again, in my own experience the amount of work to find a
Magnus good developer is about the same, and sometimes stacked in
Magnus favour of using an obscure language.
I would be inclined to agree with you.
Coming from the
Gregory == Gregory Crosswhite gcr...@phys.washington.edu writes:
Gregory Yes, I was once taught that Every time you use
Gregory unsafePerformIO, God kills a kitten, so every time I
Gregory consider using it I first ask myself: is this really
Gregory worth an innocent kitten's
zaxis thank you! In fact i really donot understand
zaxis unsafePerformIO very much !
Then all you have to understand is - never use it!
--
Colin Adams
Preston Lancashire
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Gregg == Gregg Reynolds d...@mobileink.com writes:
Gregg On Thu, Oct 8, 2009 at 6:08 AM, Colin Paul Adams
Gregg co...@colina.demon.co.ukwrote:
George == George Pollard por...@porg.es writes:
George I'd also like to note that the canonical pronunciation of
George DSL ends
George == George Pollard por...@porg.es writes:
George I'd also like to note that the canonical pronunciation of
George DSL ends in -izzle.
Whose canon?
Interestingly, I have always assumed the canonical pronunciation of
DSSSL was diesel, as JADE stands for JAmes's DSSSL Engine.
I
John == John A De Goes j...@n-brain.net writes:
John This is the right approach to a GUI toolkit.
John Note that personally, I believe the details of the
John presentation should be separate from Haskell, stored in a
John separate file that is machine- friendly, so designers can
Does anyone recognize which module/function would emit the following
warnings?
WARNING: nonstandard use of escape in a string literal
LINE 11: '# Pandoc\r\n\r\nPandoc is a program for converting ...
^
HINT: Use the escape string syntax for escapes, e.g., E'\r\n'.
--
Anton == Anton van Straaten an...@appsolutions.com writes:
Anton Colin Paul Adams wrote:
Does anyone recognize which module/function would emit the
following warnings?
WARNING: nonstandard use of escape in a string literal LINE 11:
'# Pandoc\r\n\r\nPandoc
Michael == Michael Snoyman mich...@snoyman.com writes:
Michael not be written in pure Haskell, but then again I'm not
Michael sure if there are any fully W3 compliant browsers *not*
Michael written in C++.
I'm not sure if there are any fully W3 compliant browsers.
How could there
Ivan == Ivan Lazar Miljenovic ivan.miljeno...@gmail.com writes:
Ivan I'd appreciate it if people could give SourceGraph a whirl
Fails to install (Linux x86_64):
Data/Graph/Analysis/Utils.hs:207:43:
Ambiguous occurrence `dotizeGraph'
It could refer to either
Ivan == Ivan Lazar Miljenovic ivan.miljeno...@gmail.com writes:
Ivan Colin Paul Adams co...@colina.demon.co.uk writes: Compare
Ivan the version in the subject to the version you're trying to
Ivan install...
You are right. i forgot to do a cabal update first.
--
Colin Adams
Preston
I'm writing web software for a photograph gallery. I want to be able
to display selective fields from the EXIF data. I thought I would be
able to use the GD and exif libraries from Hackage to do
this. However:
Calling Graphics.GD.loadJpegByteString followed by
Graphics.GD.saveJpegFile does not
Don == Don Stewart d...@galois.com writes:
Don colin:
I'm writing web software for a photograph gallery. I want to be
able to display selective fields from the EXIF data. I thought
I would be able to use the GD and exif libraries from Hackage
to do this. However:
Colin == Colin Paul Adams co...@colina.demon.co.uk writes:
Magicloud == Magicloud Magiclouds magicloud.magiclo...@gmail.com
writes:
Magicloud Hi, I am using haskelldb and
Magicloud haskelldb-hdbc-sqlite3. Well, I finally got the source
Magicloud compiled and ran, I got this error
Magicloud == Magicloud Magiclouds magicloud.magiclo...@gmail.com
writes:
Magicloud Hi, I am using haskelldb and
Magicloud haskelldb-hdbc-sqlite3. Well, I finally got the source
Magicloud compiled and ran, I got this error: App: user error
Magicloud (SQL error: SqlError {seState
Colin == Colin Paul Adams co...@colina.demon.co.uk writes:
Colin I've just installed the Haskell Platform (2009.2.0.2) on
Colin Mac OSX 10.5.6, including GHC 6.10.4.
Colin Then I started added some packahges with cabal install.
Colin But happstack-helpers-0.30 fails
Colin == Colin Paul Adams co...@colina.demon.co.uk writes:
Colin == Colin Paul Adams co...@colina.demon.co.uk writes:
Colin I've just installed the Haskell Platform (2009.2.0.2) on
Colin Mac OSX 10.5.6, including GHC 6.10.4.
Colin Then I started added some packahges with cabal
Chris Hey everybody, I've just uploaded formlets 0.6.1 to
Chris Hackage, which should fix this bug. Thanks for letting me
Chris know!
Yes, it does fix it.
Thanks.
--
Colin Adams
Preston Lancashire
___
Haskell-Cafe mailing list
I've just installed the Haskell Platform (2009.2.0.2) on Mac OSX
10.5.6, including GHC 6.10.4.
Then I started added some packahges with cabal install.
But happstack-helpers-0.30 fails with:
Happstack/Helpers/DirBrowse.hs:88:105
Couldn't match expected type `String' against inferred type
Jeremy == Jeremy Shaw jer...@n-heptane.com writes:
Jeremy Hello, I hacked your code into a runnable example, and it
Jeremy seems to work for me.
Jeremy Which looks correct to me. Your code looks fine to me as
Jeremy well... Perhaps the error is not in the code you pasted,
What is the procedure to uninstall a cabal package?
--
Colin Adams
Preston Lancashire
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Peter == Peter Robinson thaldy...@gmail.com writes:
Peter As far as I know the current stable release of Cabal
Peter doesn't keep track of installed packages, so you can only #
Peter ghc-pkg unregister pkg-id and then manually delete the
Peter files.
Thanks. That works.
--
Colin == Colin Paul Adams co...@colina.demon.co.uk writes:
Jeremy == Jeremy Shaw jer...@n-heptane.com writes:
Colin apparent data corruprion is occurring. I am suspecting a
Colin bug in the formlets library (I have version 0.6).
Colin So I have created a slightly cut-down
What's the syntax for using a qualified operator (I have a clash of !)?
--
Colin Adams
Preston Lancashire
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Miguel == Miguel Mitrofanov miguelim...@yandex.ru writes:
Miguel firstArgument Cool.Module.Name.%- secondArgument
Thanks.
I think I tried that first, must have have got misled by ghc's other
confusing messages.
Compiling ok now.
--
Colin Adams
Preston Lancashire
I'm trying to validate user input against a database (using HaskellDB,
but that doesn't seem to be the problem, as replacing the database
monadic code with return True gives the same problem.
This is part of my code:
register :: Database - XForm Registration
--register db = Registration $
Antoine == Antoine Latter aslat...@gmail.com writes:
Antoine On Thu, Aug 20, 2009 at 8:58 AM, Colin Paul
Antoine Adamsco...@colina.demon.co.uk wrote:
Hello,
I'm trying to find the API documentation for happstack 0.3
(online is for 0.2).
So I did:
Judah == Judah Jacobson judah.jacob...@gmail.com writes:
Judah On Wed, Aug 19, 2009 at 10:31 AM, Iain Barnettiainsp...@gmail.com
wrote:
Quick question: I've tested this in a couple of different
terminals (roxterm and xterm), so I'm fairly sure it's GHC
that's the problem.
Bulat == Bulat Ziganshin bulat.zigans...@gmail.com writes:
Bulat Hello Colin,
Bulat Thursday, August 20, 2009, 10:13:28 AM, you wrote:
I don't understand where latin-1 comes into this. String is supposed
to be a list of Unicode characters.
Bulat but ghc 6.10 i/o used String
Stuart == Stuart Cook sco...@gmail.com writes:
Stuart On Thu, Aug 20, 2009 at 4:28 PM, Colin Paul
Stuart Adamsco...@colina.demon.co.uk wrote:
But how do you get Latin-1 bytes from a Unicode string? This
would need a transcoding process.
Stuart The first 256 code-points of
Hello,
I'm trying to find the API documentation for happstack 0.3 (online is
for 0.2).
So I did:
cabal install happstack --reinstall --enable-documentation
but I can't find it anywhere within ~/.cabal - where should I look?
--
Colin Adams
Preston Lancashire
Max == Max Desyatov explicitc...@googlemail.com writes:
Max Colin Paul Adams co...@colina.demon.co.uk writes:
I'm trying to find the API documentation for happstack 0.3
(online is for 0.2).
So I did:
cabal install happstack --reinstall --enable-documentation
Gour == Gour g...@gour-nitai.com writes:
Colin == Colin Paul Adams co...@colina.demon.co.uk writes:
Colin So my major decision is what framework and html-generating
Colin libraries to use. There is such a wide choice on the
Colin Haskell Wiki. But I guess some are more maintained
Jon == Jon Fairbairn jon.fairba...@cl.cam.ac.uk writes:
Jon I wrote:
You can get the whole thing with
darcs get --partial
http://homepage.ntlworld.com/jon.fairbairn/Typeful/Text/nHTMLs
Jon but that was a temporary url that I copied and pasted. The
Jon correct
Jon == Jon Fairbairn jon.fairba...@cl.cam.ac.uk writes:
Will it be cabal-ized soon?
Jon That depends on whether anyone wants it done sufficiently
Jon strongly to do it.
Then I guess I will - some time in October.
--
Colin Adams
Preston Lancashire
I installed GHC 6.10.4 (as ./configure said it was required) from a
.bz2 file on the GHC downloads page. I then tried ./configure for the
platform again, and got:
checking ghc actually works... no
configure: error: Your installation of ghc does not appear to work.
It cannot compile a simple
Magnus == Magnus Therning mag...@therning.org writes:
Magnus On Tue, Aug 18, 2009 at 10:25 AM, Colin Paul
Magnus Adamsco...@colina.demon.co.uk wrote:
I installed GHC 6.10.4 (as ./configure said it was required)
from a .bz2 file on the GHC downloads page. I then tried
Magnus == Magnus Therning mag...@therning.org writes:
Magnus Ouch, there only seems to be a version of 6.10.3 in Fedora
Magnus 11, if I read this correctly:
Magnus https://admin.fedoraproject.org/pkgdb/packages/name/ghc
Magnus (I'm not a Fedora user so I might be completely
http://www.haskell.org/ghc/docs/latest/html/libraries/xhtml/Text-XHtml.html
says:
Based on the original Text.Html library by Andy Gill. See
http://www.cse.ogi.edu/~andy/html/intro.htm for an introduction to
that library.
But that link gives a not-found page.
Anyone know where it is know?
--
I'm intending to replace my current website - which uses Drupal, with
a hand-written-in-Haskell version this autumn, for a number of reasons
(a principal one is the lack of an upgrade path in Drupal). So I'm
currently looking into the libraries available to see how much I'll
have to write myself.
Jake == Jake McArthur jake.mcart...@gmail.com writes:
Jake Colin Paul Adams wrote:
One problem will be to get GHC ported to DragonFly BSD, but
that can wait until I have a test version of the site working
on Linux.
Jake I would love to see this. It's the biggest thing
Tom == Tom Tobin korp...@korpios.com writes:
Tom As I understand it, Pandoc is entirely under the GPL (not
Tom LGPL). I'd be very wary of accepting a GPL'd library as a
I'd be very upset if pandoc weren't blessed.
Tom blessed standard library, since it would be completely
Tom
Tom == Tom Tobin korp...@korpios.com writes:
This can surely be tackled by cabal, as it already has the
license information.
Tom I don't see this as a real solution; why would a package be
It should be done anyway, irrespective of the platform.
Tom added to the platform in
Ryan == Ryan Ingram ryani.s...@gmail.com writes:
Ryan Along those lines, what about being able to elide class
Ryan names when they can be unambiguously determined from the
Ryan functions defined?
Ryan instance _ [] where fmap = map pure x = [x] fs * xs = [ f
Ryan x | f - fs,
I've been hoogling like bad to try to determine if a function like
this exists.
getDirectoryContents returns sub-directories as well as file names. I
want only the latter, so I'm looking for a suitable filter.
--
Colin Adams
Preston Lancashire
___
Judah == Judah Jacobson judah.jacob...@gmail.com writes:
Judah On Sun, Jun 21, 2009 at 11:12 PM, Colin Paul
Judah Adamsco...@colina.demon.co.uk wrote:
I've been hoogling like bad to try to determine if a function
like this exists.
getDirectoryContents returns
I tried a cabal install chp: It complained that base was hidden.
So I unpacked the archive, and tried installing using runhaskell
Setup configure/build/install. Now I get (from install):
Setup: You need to re-run the 'configure' command. The version of Cabal being
used has changed (was
Data/Generics/SYB/WithClass/Derive.hs:187:26:
Couldn't match expected type `Pred' against inferred type `Type'
Expected type: PredQ
Inferred type: TypeQ
In the first argument of `map', namely `dataCxt'
In the first argument of `(++)', namely `map dataCxt dataCxtTypes'
False alarm. It compiles OK with ghc 6.10.3.
The failure was with ghc 6.11.20090404.
--
Colin Adams
Preston Lancashire
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Andrew == Andrew Wagner wagner.and...@gmail.com writes:
Andrew Uh, show me such a module, and I'll show you a module
Andrew that's quite bloated and desperately needs to be
Andrew refactored.
How about a module that provides the official Unicode names for each character?
--
Colin
Lennart == Lennart Augustsson lenn...@augustsson.net writes:
Lennart Of course, n+k will be missed by Haskell obfuscators. I
Lennart mean, what will we do without (+) + 1 + 1 = (+) ?
I think what would be missed would you be having the opportunity to
explain to me what it means.
But
Jeff == Jeff Wheeler j...@nokrev.com writes:
Jeff I installed Gtk2Hs on a similar machine earlier tonight,
Jeff with much success, even with Yi.
Jeff I did not use MacPorts, and instead followed the
Jeff instructions on the HaskellWiki [1] under Using the GTK+ OS
Jeff X
[co...@susannah ghc]$ ghc-pkg list
/usr/local/lib/ghc-6.11.20090319/./package.conf:
Cabal-1.7.0, array-0.2.0.1, base-3.0.3.0, base-4.0.0.0,
bytestring-0.9.1.4, containers-0.2.0.1, directory-1.0.0.2,
(dph-base-0.4.0), (dph-par-0.4.0), (dph-prim-interface-0.4.0),
Achim == Achim Schneider bars...@web.de writes:
Achim Colin Paul Adams co...@colina.demon.co.uk wrote:
Why does cabal install nearly everything in the user repository
rather than the global repository?
Achim uh... because you're a mere user and don't have the rights
So why doesn't it find packages then, when they are installed?
--
Colin Adams
Preston Lancashire
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Achim == Achim Schneider bars...@web.de writes:
Achim Colin Paul Adams co...@colina.demon.co.uk wrote:
So why doesn't it find packages then, when they are installed?
Achim I've got no idea, what exactly are you trying to do, and
Achim how?
I'm trying to re-compile ghc
Andrea == Andrea Vezzosi sanzhi...@gmail.com writes:
Andrea On Sun, Mar 22, 2009 at 12:51 PM, Colin Paul Adams
Andrea co...@colina.demon.co.uk wrote:
Achim == Achim Schneider bars...@web.de writes:
Achim Colin Paul Adams co...@colina.demon.co.uk wrote:
So why
1 - 100 of 177 matches
Mail list logo