#947: ghc -O space leak: CSE between different CAFs
--+-
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal| Milestone: 6.8
#940: GADT + impredicative polymorphism = stack overflow
-+--
Reporter: guest| Owner: simonpj
Type: bug | Status: new
Priority: normal
#948: Incorrect Core transformations with cost centres
--+-
Reporter: simonmar | Owner:
Type: bug| Status: new
Priority: normal | Milestone:
Component:
#948: Incorrect Core transformations with cost centres
---+
Reporter: simonmar | Owner:
Type: bug| Status: new
Priority: normal | Milestone: _|_
Component:
#949: -hy heap profile shows stg_ap_4_upd_info instead of correct type
--+-
Reporter: simonmar | Owner:
Type: bug| Status: new
Priority: normal | Milestone: _|_
On Tue, 2006-10-17 at 12:15 +0200, Christian Maeder wrote:
Duncan Coutts schrieb:
So ghc -split-objs works now with either -optc-mcpu=v8 or
-opta-mcpu=v9 (or even -opta-mcpu=ultrasparc).
Where should I place what so that my stage1 inplace-compiler works
without SplitObjs=NO in
#791: The program built with ghc 6.4.2 -prof hangs, without -prof works
-+--
Reporter: [EMAIL PROTECTED] | Owner: igloo
Type: bug | Status: closed
Priority: normal
Hi,
apparently the timing doesn't work properly in ghci 6.6 (at least for me), I
always get very small timings, usually 0.01 secs, sometimes 0.00 secs, once
0.07 secs, no matter how long it actually took.
Is that a common problem or is it only me?
Cheers,
Daniel
Simon Marlow schrieb:
You should be able to use any platform with a working GHC 6.6 to
bootstrap from; x86/Linux is fine. Ian bootstraps GHC on new machines
for fun(!), so I'm pretty sure the process has most of the kinks ironed
out at the moment.
Ok, I've got a hc-file-bundle now. Comparing
Clemens Fruhwirth wrote:
Hello everyone,
I would like to hack on GHC interactively. My aim is to load ghc into
ghci and start hacking a source file in one emacs buffer, while the
other hosts an inferior-haskell session connected to GHCi. I really
like this kind of development style and found it
Duncan Coutts schrieb:
So ghc -split-objs works now with either -optc-mcpu=v8 or
-opta-mcpu=v9 (or even -opta-mcpu=ultrasparc).
Where should I place what so that my stage1 inplace-compiler works
without SplitObjs=NO in mk/build.mk?
Try SRC_HC_OPTS = -optc-mcpu=ultrasparc
Hi,
After downloading Haskell 98 (current version), I tried to load stdm by typing :load stdm I kept gettin command line could not find module 'stdm'
Iadded path under system variables under environment variables like this: control panel/system/Aadvanced/(under system variable)Environment
Although this doesn't answer your question, I think it is releated. When
implementing SHA, I need to create a recursive function to append the
length of a string to the string. This function needed to be strict,
because it needed to accumulted the length of the string, and it needed to
be
At Tue, 17 Oct 2006 10:26:15 +0100,
Simon Marlow [EMAIL PROTECTED] wrote:
Clemens Fruhwirth wrote:
* load all .o files (with unboxed types) and load a modified source in
interpreted mode. This doesn't work well because for that approach you
need to mix the source with the object in the
Hi,
I've bundled up a bunch of Win32 installers for various
tools that come in handy when developing withfor GHC:
Alex, Happy, and Haddock (aka The Marlow Collection)
http://galois.com/~sof/msi/alex-2-0-1.msi
http://galois.com/~sof/msi/happy-1-15.msi
Hi Sigbjorn,
I've bundled up a bunch of Win32 installers for various
tools that come in handy when developing withfor GHC:
Alex, Happy, and Haddock (aka The Marlow Collection)
Are the tools used to build these installers available?
Thanks
Neil
___
Hi,
some day (soon)
--sigbjorn
Neil Mitchell wrote:
Hi Sigbjorn,
I've bundled up a bunch of Win32 installers for various
tools that come in handy when developing withfor GHC:
Alex, Happy, and Haddock (aka The Marlow Collection)
Are the tools used to build these installers available?
On Mon, Oct 09, 2006 at 03:54:41PM +0100, Ian Lynagh wrote:
It might be possible, but it sounds tricky. I guess it would have to go
something like try inlining this, run the simplifier, see if it got
small enough, if not back out, which could waste a lot of work if it
fails in lots of cases.
How was that with Haskell and Unicode???
While up to ghc-6.4.2 the following function worked it now doesn't compile:
isSpezGermanChar :: Char - Bool
isSpezGermanChar 'ä' = True
isSpezGermanChar 'ö' = True
isSpezGermanChar 'ü' = True
isSpezGermanChar 'Ä' = True
isSpezGermanChar 'Ö' = True
On 2006-10-17 at 16:31+0200 Andreas Marth wrote:
How was that with Haskell and Unicode???
I think this probably belongs on ghc-users rather than
Haskell.
Anyhow, there aren't any ASCII characters higher than 127.
While up to ghc-6.4.2 the following function worked it now doesn't compile:
Either convert your file to utf-8 encoding or read
http://www.haskell.org/ghc/docs/6.6/html/users_guide/release-6-6.html
GHC now treats source files as UTF-8 (ASCII is a strict subset of UTF-8,
so ASCII source files will continue to work as before). However, invalid
UTF-8 sequences are ignored
Aaron Denney [EMAIL PROTECTED] writes:
(snip)
And I disagree with you. Web forums are usenet reinvented poorly.
It's impossible to keep track of what's new, threading is either poor or
nonexistent. Mailing lists with searchable archives work well. gmane
provides a nice usenet interface to
Bulat Ziganshin wrote:
Hello Lyle and all,
i'm glad to inform you that Stream 0.1 library is now compatible
with just released GHC 6.6. please download new version as
http://www.haskell.org/library/Streams.tar.gz
this archive contains file Streams.cabal.6.6 that is cabal file
developed
since Pattern Guards appear to be popular with the committee,
I suggest to revisit the decision to drop guards from lambdas:
(a) http://www.cse.unsw.edu.au/~dons/haskell-1990-2000/msg00353.html
(b) http://www.cse.unsw.edu.au/~dons/haskell-1990-2000/msg00382.html
1. I disagree that this was a
I think that you misunderstood what I said. When we went from FRP to Yampa,
we
changed from using signals directly, i.e. Signal a, to using signal
functions, i.e.:
SF a b = Signal a - Signal b
When we did this, we made SF abstract, and we adopted the arrow framework to
allow
On Mon, 16 Oct 2006, Jón Fairbairn [EMAIL PROTECTED] wrote:
I made a more concrete proposal later and Phil Wadler tidied it up.
I think It even got as far as a draft of the language, [...]
Do you know where this proposal/draft can be found?
--
/NAD
Nils Anders Danielsson [EMAIL PROTECTED] writes:
On Mon, 16 Oct 2006, Jón Fairbairn [EMAIL PROTECTED] wrote:
I made a more concrete proposal later and Phil Wadler tidied it up.
I think It even got as far as a draft of the language, [...]
Do you know where this proposal/draft can be
I installed HDBC, but when I tried running a simple program that used
it, I get the error message
ghc-6.6:
/usr/local/lib/HDBC-postgresql-1.0.1.0/ghc-6.6/HSHDBC-postgresql-1.0.1.0.o:
unknown symbol `PQserverVersion'
Ah, I figured it out. The PQserverVersion function is documented in the
Hi all,
I'm really newbie to Haskell, and working on a program I'm trying to make
some testing.
I make some test on certain know values ( e.g. adding 10 to 15 must return
25) and some test on random values (eg. adding rnd1 to rnd2 must return
rnd1+rnd2).
The problem that makes me mad is the
Víctor A. Rodríguez wrote:
Hi all,
I'm really newbie to Haskell, and working on a program I'm trying to make
some testing.
I make some test on certain know values ( e.g. adding 10 to 15 must return
25) and some test on random values (eg. adding rnd1 to rnd2 must return
rnd1+rnd2).
The
On Oct 17, 2006, at 12:21 PM, Víctor A. Rodríguez wrote:
Hi all,
I'm really newbie to Haskell, and working on a program I'm trying
to make
some testing.
I make some test on certain know values ( e.g. adding 10 to 15 must
return
25) and some test on random values (eg. adding rnd1 to rnd2
On Tue, Oct 17, 2006 at 01:21:38PM -0300, V?ctor A. Rodr?guez wrote:
To: haskell-cafe@haskell.org
From: Víctor A. Rodríguez [EMAIL PROTECTED]
Date: Tue, 17 Oct 2006 13:21:38 -0300
Subject: [Haskell-cafe] Newbie and working with IO Int and Int
Hi all,
I'm really newbie to Haskell, and
Hi Rob,
I've built Edison 1.2.0.1 using ghc-6.6. (I'm testing the macports,
formerly darwinports, packages for the new 6.6 release.)
The build goes fine, but the ./Setup register fails claiming that the
directory
/opt/local/lib/EdisonAPI-1.2/ghc-6.6/include does not exist. I can
make the
Hi,
What's wrong with doing it this way?
-- ** UNTESTED CODE **
verifyAdd :: Int -gt; Int -gt; Int -gt; Bool
verifyAdd a b sum | a + b == sum = True
otherwise= False
testAddMundane :: Int -gt; Int -gt; Bool
testAddMundane a b = verifyAdd a b (a + b)
-- all the
On Oct 17, 2006, at 12:55 PM, Gregory Wright wrote:
Hi Rob,
I've built Edison 1.2.0.1 using ghc-6.6. (I'm testing the macports,
formerly darwinports, packages for the new 6.6 release.)
The build goes fine, but the ./Setup register fails claiming that
the directory
What's wrong with doing it this way?
-- ** UNTESTED CODE **
verifyAdd :: Int -gt; Int -gt; Int -gt; Bool
verifyAdd a b sum | a + b == sum = True
otherwise = False
testAddMundane :: Int -gt; Int -gt; Bool
testAddMundane a b = verifyAdd a b (a + b)
-- all the IO-dependent stuff is below
On Oct 17, 2006, at 1:37 PM, Víctor A. Rodríguez wrote:
What's wrong with doing it this way?
-- ** UNTESTED CODE **
verifyAdd :: Int -gt; Int -gt; Int -gt; Bool
verifyAdd a b sum | a + b == sum = True
otherwise = False
testAddMundane :: Int -gt; Int -gt; Bool
testAddMundane a b = verifyAdd
On Oct 17, 2006, at 1:07 PM, Robert Dockins wrote:
On Oct 17, 2006, at 12:55 PM, Gregory Wright wrote:
Hi Rob,
I've built Edison 1.2.0.1 using ghc-6.6. (I'm testing the macports,
formerly darwinports, packages for the new 6.6 release.)
The build goes fine, but the ./Setup register fails
Am Dienstag, 17. Oktober 2006 19:37 schrieb Víctor A. Rodríguez:
What's wrong with doing it this way?
-- ** UNTESTED CODE **
verifyAdd :: Int -gt; Int -gt; Int -gt; Bool
verifyAdd a b sum | a + b == sum = True
otherwise = False
testAddMundane :: Int -gt; Int -gt; Bool
I've been writing some code that relies heavily on the type system.
Some of my polymorphic functions end up too polymorphic.
I'm looking for some tips and references regarding prescribing
poly-/mono-morphism. I know of three ways to do it:
1) rely on the monomorphism-restriction -- kind of scary
I'm wondering about creating a data structure that has the type of
decreasing numbers. If I want an increasing list, it is easy...
{-# OPTIONS -fglasgow-exts #-}
data Succ a = S a deriving Show
data Zero = Z deriving Show
data Seq' a = Cons' a (Seq' (Succ a)) | Nil' deriving
Here's an attempt with GADTs:
\begin{code}
{-# OPTIONS_GHC -fglasgow-exts #-}
data Succ a
data Zero
data Seq a b where
Cons :: a - Seq a b - Seq a (Succ b)
Nil :: Seq a Zero
\end{code}
Seems to work for me.
Spencer Janssen
On Oct 17, 2006, at 6:37 PM, Greg Buchholz wrote:
I'm
Spencer Janssen wrote:
] Here's an attempt with GADTs:
]
] \begin{code}
] {-# OPTIONS_GHC -fglasgow-exts #-}
] data Succ a
] data Zero
] data Seq a b where
] Cons :: a - Seq a b - Seq a (Succ b)
] Nil :: Seq a Zero
] \end{code}
]
] Seems to work for me.
Hmm. Maybe I'm missing
Hello,
Good, writeCSV writes out every row immediately after it got it. I
eliminated (++ [nl]) in the hope of reducing the constant factor
slightly. Using difference lists for that is nicer but here you go.
I'm not sure how you'd use difference lists here.
Also, for some reason GHC runs
44 matches
Mail list logo