When you type
1+5
to the GHCi prompt, the expression has type
Num a = a
and the defaulting mechanism (4.3.4 in the Report) chooses a=Integer,
and then solves the Num constraint.
The defaulting mechanism only works for standard classes, not for
user-defined ones.
You have an
Yes, this is a known bug, in SourceForge. (It's open source, so you can
see the bug list.)
http://sourceforge.net/tracker/index.php?func=detailaid=756454group_id
=8032atid=108032
Fixing it is pretty easy, but I've spent 2 yrs not getting around to it!
Simon
| -Original
On Mon, Sep 01, 2003 at 12:12:23PM +0100, Simon Marlow wrote:
It looks like you should force a load of the haskell98 package before
loading Fudgets.o. Try adding a -package haskell98 on the command line.
After getting past some more problems with fudgets finding its
symbols, I am down to
Hi Don,
Here is a (long) summary of how I have bootstraped GHC on
various os/arch combinations using 6.0.1 .hc source, including
getting an unregisterised build, over the weekend.
Thanks for all this. I recently went through the unregisterised
bootstrap process myself (for amd64), and I've
simonmar:
Thanks for all this. I recently went through the unregisterised
bootstrap process myself (for amd64), and I've written some detailed
instructions in the Building Guide - you might want to take a look and
see if you have anything to add.
I've been working from that document the
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hello,
I'm trying to make generic helper functions for database querying. I would
like to be able to define functions that work for every monad that holds a
database connection and is built on top of the IO monad. For this, I have
defined the
Did anyone reply to this? It's an open bug
http://sourceforge.net/tracker/index.php?func=detailaid=710864group_id
=8032atid=108032
but we don't have a small example that demonstrates it.
Can you provide one? Or can Amanda?
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
Dear Sir,
I am Dr. Makam Somo, a native of Cape Town in South Africa and I am an
Executive Accountant with the South Africa Department of Mining
Energy Resources. First and foremost, I apologized using this medium
to reach you for a transaction/business of this magnitude, but this is
due to
dons:
simonmar:
Thanks for all this. I recently went through the unregisterised
bootstrap process myself (for amd64), and I've written some detailed
instructions in the Building Guide - you might want to take a look and
see if you have anything to add.
On Wed, Sep 03, 2003 at 12:39:33PM +1000, Donald Bruce Stewart wrote:
$ ghc/ghc-6.0.1/ghc/compiler/ghc-inplace
ghc-6.0.1: no input files
Usage: For basic information, try the `--help' option.
$ ghc/ghc-6.0.1/ghc/compiler/ghc-inplace hello.hs
| Since the opening of this thread by Hal Daume 11 (binary), we see a
constant
| flow of interesting contributions/confessions. Plenty of applications,
it
| seems that Haskell is really used in a wider context than we might
think.
| It is a pleasure to read all this.
Yes, it is indeed! As Jerzy
| I'm wondering if the general method of avoiding non-termination can be
| made to work in these more complex cases.
|
| Incidentally, the constraint solver stack overflow problem can be
| turned to our advantage. The typechecker's exhausting the stack should
| be considered a failure to match
| b) at the moment dictionaries have the property that you can always
| evaluate them using call-by-value; if they could be recursively
| defined (as you suggest) that would no longer be the case
|
| Mind you, GHC doesn't currently take advantage of (b), so maybe it
| should be
I use Haskell to design and verify circuits that are used at my company and
by our customers.
A Haskell-based methodology for producing circuits has proved to be
successful in some situations when a conventional flow based on Java or
hardware description languages (VHDL and Verilog) was not able
On Fri, Aug 29, 2003 at 05:39:09PM -0700, Hal Daume III wrote:
I'm attempting to get a sense of the topology of the Haskell
community. Based on the Haskell Communities Activities reports, it
seems that the large majority of people use Haskell for Haskell's sake.
If you use Haskell for a
Hello,
I am a student from Germany and I have used Haskell for several purposes
as well:
- to implement and compare algorithms quickly, e.g. Travelling Salesman,
Sorting, etc.
- to calculate state spaces and blocking probabilities in networks
- to solve some of our cryptography and
On Fri, Aug 29, 2003 at 05:39:09PM -0700, Hal Daume III wrote:
I'm attempting to get a sense of the topology of the Haskell
I work at Galois Connections http://galois.com and much of the
software we write (mostly government contracting) is written in
Haskell. I've written an ASN.1 parser
I apologize to anyone who wrote me last week and did not get any response. For a
reason unknown to me I can no longer access the email account which I used when
subscribing to this list. I hope this address will remain stable enough.
Jan
___
Haskell
G'day all.
On Fri, Aug 29, 2003 at 05:39:09PM -0700, Hal Daume III wrote:
I'm attempting to get a sense of the topology of the Haskell
community.
I used Haskell to write a compiler for the RenderMan shading language
for a former employer. Unfortunately, the compiler never shipped.
I still
The Timber group at OHSU/OGI are using Haskell to write their Timber
compiler
and Timber VM executable specification.
Andy Gill
Hal Daume III wrote:
Hi fellow Haskellers,
I'm attempting to get a sense of the topology of the Haskell
community. Based on the Haskell Communities Activities
Steffen Mazanek posed a problem: given the monad:
data Error a = Error String | Ok a
data TI a = TI (Subst - Int - Error (Subst, Int, a))
instance Monad TI where
return x = TI (\s n - Ok (s,n,x))
TI f = g = TI (\s n - case f s n of
Ok (s',m,x) - let TI gx = g
Hi.
The stream of votes has dried up, and the ICFP people and monthly
digest people have had an opportunity, so here's the collated result.
22 people voted.
(A) Give a perfect answer.
(B) Give a subtly flawed answer.
(C) Give an obfuscated answer.
(D) Give a critique of what the questioner has
22 matches
Mail list logo
