Dear ATP Researcher,
The CADE-20 Workshop on Empirically Successful Classical Automated Reasoning
(ESCAR) will bring together practioners and researchers who are concerned with
the implementation and deployment of working automated reasoning systems for
classical logic (propositional,
FIRST CALL FOR PAPERS
--
4th International Conference on
Generative Programming and Component Engineering (GPCE'05)
Sep 29 - Oct 1, 2005, Tallinn (Estonia)
hs-plugins 0.9.8 has been released.
hs-plugins is a dynamic loader and runtime compilation library for
Haskell. This release is mostly stability and usability improvments
over its predecessors. It also adds support for library package linking.
You can find the code at:
Bugs item #1146068, was opened at 2005-02-22 01:11
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=1146068group_id=8032
Category: Compiler (Type checker)
Group: 6.4
Status: Open
Bugs item #1146068, was opened at 2005-02-22 10:11
Message generated for change (Comment added) made by p1738j
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=1146068group_id=8032
Category: Compiler (Type checker)
Group: 6.4
Status: Open
Resolution: None
On 21 February 2005 15:19, Matthias Neubauer wrote:
Simon Marlow [EMAIL PROTECTED] writes:
It looks from the log like you might be using -threaded. If you are,
try turning it off.
Not for the current build. But the installed ghc that I am using is a
GHC version 6.0.1 built with
On 22 February 2005 02:04, Thomas Hallgren wrote:
I get the following error when I compile a particular program with
ghc --make -O ..., but not if I omit -O. ghc-6.2.2 works fine in
either case. I can supply more details on demand (I am a lazy
functional programmer, after all :-)
More
Bugs item #1146118, was opened at 2005-02-22 10:34
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=1146118group_id=8032
Category: Compiler (FFI)
Group: 6.4
Status: Open
Bugs item #1146118, was opened at 2005-02-22 10:34
Message generated for change (Comment added) made by simonmar
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=1146118group_id=8032
Category: Compiler (FFI)
Group: 6.4
Status: Open
Resolution: None
Bugs item #1146068, was opened at 2005-02-22 10:11
Message generated for change (Comment added) made by p1738j
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=1146068group_id=8032
Category: Compiler (Type checker)
Group: 6.4
Status: Open
Resolution: None
Quite right. Ross fixed this in November, so it'll be in 6.4.
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-bugs-
| [EMAIL PROTECTED] On Behalf Of Daniel Fischer
| Sent: 17 February 2005 14:13
| To: glasgow-haskell-bugs@haskell.org
| Subject: drop for
Hi,
I managed to distill my program into to the following small example that
still exhibits the problem:
module Bug where
data S e = A | B | C | D | E | F | G | H | I deriving (Eq)
newtype R = T (S R) deriving (Eq)
The output from 'ghc -c -O Bug.hs' is:
ghc-6.4.20050220: panic! (the
On 18 February 2005 09:42, Simon Marlow wrote:
On 18 February 2005 01:02, Donald Bruce Stewart wrote:
This is a known problem with gcc-2.95.
We came across it back in September.
It was noticed in the nightly builds:
http://www.haskell.org/pipermail/cvs-all/2004-September/035116.html
On 22 February 2005 12:05, Anders Höckersten wrote:
It seems the ghc 6.4 release candidates' configure scripts fail if you
run them in a directory structure containing a space. In my case,
being in /home/chucky/My Downloads fails with:
configure: creating ./config.status
config.status:
Simon Marlow [EMAIL PROTECTED] writes:
It seems the ghc 6.4 release candidates' configure scripts fail if you
run them in a directory structure containing a space.
Quite possibly. No doubt we'd have to add a million quotes to the build
system to fix this; it's not going to happen any
On Tue, 2005-02-01 at 11:02 +, Simon Marlow wrote:
I'm making some changes to the way Haddock creates links, and I'd like
to solicit comments on possible alternatives.
The existing approach is for each non-locally-defined identifier in the
current module, we hyperlink to a module that
On Tue, Feb 22, 2005 at 05:45:39PM +, Duncan Coutts wrote:
In gtk2hs we have one huge module which defines all the types (this is
produced by a code generator from a text file which describes the Gtk+
class hierarchy). However we don't ever want this module to be exposed
to users. We
On Tue, 2005-02-22 at 19:10 +, Ross Paterson wrote:
On Tue, Feb 22, 2005 at 05:45:39PM +, Duncan Coutts wrote:
In gtk2hs we have one huge module which defines all the types (this is
produced by a code generator from a text file which describes the Gtk+
class hierarchy). However we
Hello,
I'm having some serious issues getting GHC to run on Suse 9.2/x86 (or x86-64
for that matter, although I didn't really expect that to work without some pain
and suffering). I've had no luck with 6.2.2, or any 6.4 release candidate.
Here is a typical example: after doing a ./configure;
Brian Strand wrote:
Hello,
I'm having some serious issues getting GHC to run on Suse 9.2/x86 (or x86-64
for that matter, although I didn't really expect that to work without some pain
and suffering). I've had no luck with 6.2.2, or any 6.4 release candidate.
Here is a typical example: after
Quoting Jérémy Bobbio ([EMAIL PROTECTED]):
I really see Literate Haskell and Haddock as two orthogonal tools, and
that help me to focus when writing docs.
It impresses me SO much that the COMPUTER SCIENTIST have found a WAY to
ELEVATE mere tools likke Haddock and Literate Haskell as elements
Keean Schupke wrote:
There are problems with this approach...
instance (Ord a, Num a) = ApproxEq a where x ~= y = (abs (x-y) 1)
However it should do what you want with just -foverlapping-instances
-fundecidable-instances.
Only -fallow-incoherent-instances allowes to resolve
3.5 ~= 2.6
Tomasz Zielonka wrote:
Why not forget about ApproxEq for () and Bool and simply define a
function?
(~=) :: (Ord a, Num a) = a - a - Bool
x ~= y = abs (x-y) 1
Indeed, this works best. The instance for lists is also not too important.
Christian
___
Am Dienstag, 22. Februar 2005 00:34 schrieb Daniel Fischer:
snip
That's a very common problem for newbies, so don't panic.
In older versions of hugs (November 2002, e.g.), you would have got an
unresolved overloading also from entering [] to the prompt (this is no
longer so). If such things
-fno-prune-tydecls is a dead flag. Just remove it.
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED] On Behalf Of
| Dmitri Pissarenko
| Sent: 15 February 2005 21:04
| To: haskell-cafe@haskell.org
| Cc: [EMAIL PROTECTED]; [EMAIL PROTECTED]
| Subject: Re:
HAppS is a Haskell library for building Internet applications,
featuring:
* HAppS.ACID: Guarantee application integrity in the face of
unplanned outages using this module's integrated write-ahead logging
and checkpointing framework.
* HAppS.DBMS: Do relational operations in Haskell
Hi,
Hope this is not a stupid question, but I RTFM'd and couldn't find the
answer.
I am designing a form that will be used to edit some data that is in the
database. I want users to pull up the form and have all the input
fields pre-filled with the current state of the database (so they don't
On Tue, Feb 22, 2005 at 04:48:07PM +, John Goerzen wrote:
Hi,
Hope this is not a stupid question, but I RTFM'd and couldn't find the
answer.
I am designing a form that will be used to edit some data that is in the
database. I want users to pull up the form and have all the input
On Tue, Feb 22, 2005 at 06:26:29PM +0100, Tomasz Zielonka wrote:
i - textInputField (uaVALUE default value uaSIZE 10)
or this way if you use CGI, not GuaranteedCGI:
Speaking of which, I couldn't find any documentation on GuaranteedCGI at
all. What's the difference between it and CGI?
On Tue, Feb 22, 2005 at 01:53:08PM -0500, Jeremy Shaw wrote:
For what john asked, I usually do something like:
i - textInputField (fieldVALUE the default value)
Thanks for all the helpful answers. Sorry it didn't occur to me what
this meant at first. It should have :-)
Isaac Jones wrote:
John Goerzen [EMAIL PROTECTED] writes:
Here's an alternative:
module Main where
(snip john's version)
And what list would be complete without a points-free version. It
doesn't operate on stdin, though like John's does:
pointsFreeCat :: IO ()
pointsFreeCat = getArgs = mapM
Hi, I am getting into Haskell so I decided to convert a Perl module of
mine:
http://cpan.uwinnipeg.ca/htdocs/Crypt-Discordian/Crypt/Discordian.html
into Haskell. I was pleased at the cleanliness and conciseness of the
Haskell code. However, I am sure that it can be improved on and am
Hi all,
I'm looking for a Haskell GUI library which supports the display of rendered
Html pages in the same way that web browsers do.
I've been getting to grips recently with wxHaskell as it was recommended on
haskell-cafe. I was hoping that a special pane component (or something
similar)
On Wed, 23 Feb 2005 03:25:47 +, David Owen [EMAIL PROTECTED] wrote:
Hi all,
I'm looking for a Haskell GUI library which supports the display of rendered
Html pages in the same way that web browsers do.
I've been getting to grips recently with wxHaskell as it was recommended on
On Wed, Feb 23, 2005 at 12:27:19AM +, Terrence Brannon wrote:
Hi, I am getting into Haskell so I decided to convert a Perl module of
mine:
http://cpan.uwinnipeg.ca/htdocs/Crypt-Discordian/Crypt/Discordian.html
into Haskell. I was pleased at the cleanliness and conciseness of
On Wed, Feb 23, 2005 at 08:46:23AM +0100, Arthur van Leeuwen wrote:
On Wed, Feb 23, 2005 at 12:27:19AM +, Terrence Brannon wrote:
[snip, encryptia discordia]
How about
module CryptDiscordian
where
import List
vowels = aeiouAEIOU
isVowel = (flip elem) vowel_list
36 matches
Mail list logo