On 12/11/2010 07:49, Mitar wrote:
On Wed, Nov 10, 2010 at 4:48 PM, Simon Marlowmarlo...@gmail.com wrote:
You can use maskUninterruptible in GHC 7, but that is not generally
recommended,
Maybe there should be some function like maskUninterruptibleExceptUser
which would mask everything except
Hi Edward,
Sorry for taking so long to get around to reviewing this one.
On 07/11/2010 14:29, Edward Z. Yang wrote:
I finally got some spare time to do some GHC hacking, and after feeling my
way around http://hackage.haskell.org/trac/ghc/ticket/4262 I came up with the
following patch, which
On 12/11/2010 07:49, Mitar wrote:
On Wed, Nov 10, 2010 at 4:48 PM, Simon Marlowmarlo...@gmail.com wrote:
You can use maskUninterruptible in GHC 7, but that is not generally
recommended,
Maybe there should be some function like maskUninterruptibleExceptUser
which would mask everything except
On 12/11/2010 17:25, Donn Cave wrote:
Quoth Simon Marlowmarlo...@gmail.com,
...
Is there anything that we could do in GHC to improve the situation? I
suppose we could have a dedicated OS thread who's job it was to sit
around and run the signal handler every Nth of a second.
Since the
On 11/11/2010 22:41, Bryan O'Sullivan wrote:
On Thu, Nov 11, 2010 at 2:32 PM, Edward Z. Yang ezy...@mit.edu
mailto:ezy...@mit.edu wrote:
I was under the impression we fixed this:
http://hackage.haskell.org/trac/ghc/ticket/850
That is, we should be using SIGVTALRM, not SIGALRM,
On 10/11/2010 17:52, Mitar wrote:
Hi!
On Wed, Nov 10, 2010 at 4:16 PM, Simon Marlowmarlo...@gmail.com wrote:
The right way to fix it is like this:
Optimist. ;-)
let run = unblock doSomething `catches` [
Handler (\(_ :: MyTerminateException) - return ()),
On 11/11/2010 11:17, John Lato wrote:
Hi Greg,
Thanks very much for all your work on this, and Barney Stratford too.
This is great news. I'm doing a lot of numerical work with Doubles at
the moment, so progress is quite welcome!
FYI, GHC 7.0.1 has -msse2 which makes floating-point
On 10/11/2010 17:52, Mitar wrote:
Hi!
On Wed, Nov 10, 2010 at 4:16 PM, Simon Marlowmarlo...@gmail.com wrote:
The right way to fix it is like this:
Optimist. ;-)
let run = unblock doSomething `catches` [
Handler (\(_ :: MyTerminateException) - return ()),
On 04/11/2010 22:38, Lennart Augustsson wrote:
It happened at various universities around the world. Look at the
original Haskell committee and you'll get a good idea where.
The smallest Haskell I know of is Gofer/Hugs; it originally ran on a 640k PCs.
Before that languages like SASL and KRC
is raised.
Hopefully one of the GHC devs (probably Simon Marlow) can confirm this
behavior and shed some more light on it.
I think it's behaving as expected - there's a short window during which
exceptions are unblocked and a second exception can be thrown. The
program has
let run = doSomething
On 10/11/2010 13:39, Mitar wrote:
I know that (I read one post from you some time ago). It is in TODO
commend before this code. I am waiting for GHC 7.0 for this because I
do not like current block/unblock approach.
Because blocked parts can still be interrupted, good example of that
is
On 08/11/2010 15:44, Max Bolingbroke wrote:
On 6 November 2010 04:47, David Peixottod...@rice.edu wrote:
Are you sure about R1 aliasing Sp? AFAIK, R1 points to a closure on the heap,
not to a stack location. That is, it can alias pointers on the stack or Hp but
it can't alias the Sp itself.
is raised.
Hopefully one of the GHC devs (probably Simon Marlow) can confirm this
behavior and shed some more light on it.
I think it's behaving as expected - there's a short window during which
exceptions are unblocked and a second exception can be thrown. The
program has
let run = doSomething
On 10/11/2010 13:39, Mitar wrote:
I know that (I read one post from you some time ago). It is in TODO
commend before this code. I am waiting for GHC 7.0 for this because I
do not like current block/unblock approach.
Because blocked parts can still be interrupted, good example of that
is
On 07/11/2010 17:47, Jan Christiansen wrote:
On 02.11.2010, at 10:20, Simon Marlow wrote:
It's not really a question of priority, rather that we don't know of a
good way to fix it!
I would not have guessed that there exists a Haskell related problem
that cannot immediately be fixed
On 29/10/2010 23:24, Ganesh Sittampalam wrote:
On Fri, 22 Oct 2010, Sigbjorn Finne wrote:
On Fri, Oct 22, 2010 at 9:35 AM, Sittampalam, Ganesh
ganesh.sittampa...@credit-suisse.com wrote:
libraries@, what's the right way to proceed? Can I make a Debian-style
non-maintainer upload with
On 01/11/2010 16:52, Jan Christiansen wrote:
On 01.11.2010, at 10:38, Simon Marlow wrote:
On 28/10/2010 14:21, Bertram Felgenhauer wrote:
Right. The optimization works by producing special thunks for tuple
selectors which the garbage collector can recognize and evaluate
during GC.
However
On 02/11/2010 07:37, Sittampalam, Ganesh wrote:
I've just been updating darcs 2.5 for GHC 7.0. I had to add about 40
signatures for MonoLocalBinds in about 140 files/30K LOC. Is that about
normal? darcs does make fairly heavy use of rank 2 polymorphism which
leads to quite a lot of local
On 02/11/2010 08:17, Christian Höner zu Siederdissen wrote:
Hi,
is the following problem a job for ghc or the code generation backend
(llvm)?
We are given this program:
{-# LANGUAGE BangPatterns #-}
module Main where
f :: Int - Int - Int - Int - Int
f !i !j !s !m
| i == 0= s+m
On 30/10/2010 16:52, David Fox wrote:
On Sat, Oct 30, 2010 at 4:43 AM, Serge D. Mechvelianimech...@botik.ru wrote:
Dear GHC developers,
I am testing this fresh ghc-7.0.0.20101028
on Debian Linux, i386-family.
Making it from source by ghc-6.12.3 is all right.
Then, making it from source by
On 28/10/2010 14:21, Bertram Felgenhauer wrote:
Hi,
let (first,rest) = break (const False) input
in
print (length (first ++ rest))
When I compile this program using -O2 and use a large text file as
input the code runs in constant space. If I understand correctly,
the program runs in
On 30/10/2010 16:52, David Fox wrote:
On Sat, Oct 30, 2010 at 4:43 AM, Serge D. Mechvelianimech...@botik.ru wrote:
Dear GHC developers,
I am testing this fresh ghc-7.0.0.20101028
on Debian Linux, i386-family.
Making it from source by ghc-6.12.3 is all right.
Then, making it from source by
On 26/10/10 07:10, Antoine Latter wrote:
On Tue, Oct 26, 2010 at 12:21 AM, Johan Tibelljohan.tib...@gmail.com wrote:
On Sun, Oct 24, 2010 at 2:02 AM, Johan Tibelljohan.tib...@gmail.com wrote:
I noticed that indexWordArray# only allows for aligned reads (by
forcing the offset to be in words,
On 18/10/2010 05:53, Vivian McPhail wrote:
On 18 October 2010 15:37, Vivian McPhail
haskell.vivian.mcph...@gmail.com
mailto:haskell.vivian.mcph...@gmail.com wrote:
Hi,
In attempting to use the lexer to see whether we are within an
alternative layout context:
[..]
I have a
On 15/10/2010 16:35, Mischa Dieterle wrote:
Hi,
I'm getting a build failure when I try to compile ghc-6.12 from the
http://darcs.haskell.org/ghc-6.12 repo.
ghc-cabal: Missing dependency on a foreign library:
* Missing C library: iconv
This problem can usually be solved by installing the
On 12/10/2010 15:17, Daniel Fischer wrote:
On Tuesday 12 October 2010 11:18:39, Simon Marlow wrote:
On 09/10/2010 10:07, Daniel Fischer wrote:
On Saturday 09 October 2010 06:34:32, Lennart Augustsson wrote:
That code is incorrect. You can't assume that the base for floating
point numbers
On 12/10/2010 06:22, Bryan O'Sullivan wrote:
I've been trying to use a library compiled with profiling in 7.0.1rc1,
where I'm compiling the library with -auto-all, but I'm getting output
when I run an app linked against the library that contains almost no
information from inside the library:
On 09/10/2010 10:07, Daniel Fischer wrote:
On Saturday 09 October 2010 06:34:32, Lennart Augustsson wrote:
That code is incorrect. You can't assume that the base for floating
point numbers is 2, that's something you have to check.
(POWER6 and z9 has hardware support for base 10 floating
On 10/10/2010 05:22, Alexander Dunlap wrote:
On Fri, Oct 8, 2010 at 12:46 AM, Simon Marlowmarlo...@gmail.com wrote:
On 08/10/2010 03:23, Alexander Dunlap wrote:
I recently upgraded my Arch Linux system to glibc 2.12 and static
binaries compiled with GHC 6.12.3 all fail with the message
On 08/10/2010 03:23, Alexander Dunlap wrote:
I recently upgraded my Arch Linux system to glibc 2.12 and static
binaries compiled with GHC 6.12.3 all fail with the message
mkTextEncoding: invalid argument (Invalid argument). This did not
happen with glibc 2.11. Has anyone else had this problem?
On 07/10/2010 14:03, Derek Elkins wrote:
On Thu, Oct 7, 2010 at 8:44 AM, Luke Palmerlrpal...@gmail.com wrote:
On Thu, Oct 7, 2010 at 6:17 AM, Brent Yorgeybyor...@seas.upenn.edu wrote:
The source code seems to be easy to read, but I don't think I understand that.
For me I think if I change
On 07/10/2010 02:45, Jason Dagit wrote:
+ well documented workflow for lightweight changes
+ heavy weight process for major work.
+ bugs, tickets.
+ Simon Marlow contributions are going up, and process is working well
That's reassuring. Is their workflow
On 05/10/2010 16:54, Stefan Wehr wrote:
here is some profiling output which shows strange behavior:
COST CENTRE MODULE
no. entries %time %alloc %time %alloc
MAIN MAIN
1 00.0
On 06/10/2010 00:26, Max Bolingbroke wrote:
On 5 October 2010 15:41, George Giorgidzegiorgi...@gmail.com wrote:
One can also look at how recently introduced 'order by' and 'group by'
constructs generalise to monad comprehensions. If that works, one could
implement even more stylish monad
On 06/10/2010 00:04, Max Bolingbroke wrote:
On 5 October 2010 17:38, Henning Thielemann
schlepp...@henning-thielemann.de wrote:
Richard O'Keefe schrieb:
I'd prefer to see something like
\ 1 - f
| 2 - g
but I'm sure something could be worked out.
In order to be consistent
On 29/09/2010 07:25, Vivian McPhail wrote:
Trying to build rc1 from source
linux x86_64
BuildFlavour = perf
It seems that the -fPIC flag is set, but an error still occurs (
/usr/bin/ld: libraries/integer-gmp/gmp/objs/abs.o: relocation
R_X86_64_32 against `.text' can not be used when making a
On 03/10/2010 00:12, Brandon S Allbery KF8NH wrote:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 10/2/10 18:07 , Christian Höner zu Siederdissen wrote:
cd syb-0.2.1
* remove base4.3 constraint from syb.cabal
cabal install
* syb-0.2.1 is now installed and works!
$ cabal install
On 26/09/2010 18:14, Alex Suraci wrote:
On Sep 23, 2010, at 7:11 AM, Simon Marlow wrote:
If you are making separate runGhc calls and still don't see the
memory being reclaimed, then there might be a leak - but it's hard
to see where, since everything is reachable from the Session only.
I
On 05/10/2010 14:32, Alex Suraci wrote:
On Oct 5, 2010, at 9:25 AM, Simon Marlow wrote:
On 26/09/2010 18:14, Alex Suraci wrote:
On Sep 23, 2010, at 7:11 AM, Simon Marlow wrote:
If you are making separate runGhc calls and still don't see the
memory being reclaimed, then there might be a leak
On 29/09/10 04:54, Mathieu Giorgino wrote:
Hi all,
I'm wondering if there is a way to get an hashcode from references
(IORef or STRef)? I have looked in the library and a little in the
sources of GHC but haven't found anything allowing to do this.
I'm generating Haskell code from the
On 28/09/10 11:08, Ian Lynagh wrote:
On Sun, Sep 26, 2010 at 02:52:30PM -0700, David Fox wrote:
In order to bootstrap with the compiler we are using, I had to rename the
function at line 13 of compiler/utils/Exception.hs from mask_ to mask.
Hmm, curious. mask_ has mask's type, which seems
On 26/09/10 17:52, David Fox wrote:
In order to bootstrap with the compiler we are using, I had to rename
the function at line 13 of compiler/utils/Exception.hs from mask_ to
mask. Sorry I didn't reply to the announcement, I just found out I
wasn't subscribed to this list. (I also had to
On 27/09/10 12:19, Ganesh Sittampalam wrote:
On Sun, 26 Sep 2010, Ian Lynagh wrote:
We are pleased to announce the first release candidate for GHC 7.0.1:
http://new-www.haskell.org/ghc/dist/7.0.1-rc1/
This includes the source tarball, installers for OS X and Windows, and
bindists for
On 22/09/2010 01:19, Alex Suraci wrote:
On Tue, Sep 21, 2010 at 10:30 AM, Daniel Gorínjcpetru...@gmail.com wrote:
Hi
What I make of this is that you should run a new interpreter (i.e. use
runInterpreter(T)) instead of calling reset.
Could you try this this approach and see if it works?
for output in order to get proper
Unicode encoding. Since then, the IO library has gained support for
Unicode encoding, so we don't need to do this any more. It looks like I
tried to modify GHCi to bypass Haskeline for output, but didn't do a
complete job:
Fri Sep 18 15:40:41 BST 2009 Simon
On 22/09/2010 02:18, Mitar wrote:
Hi!
On Tue, Sep 21, 2010 at 11:10 PM, Simon Marlowmarlo...@gmail.com wrote:
So rather than admitting defeat here I'd like to see it become the norm to
write async-exception-safe code.
This is also what I think. You have to make your code work with
On 22/09/2010 09:51, Mitar wrote:
Hi!
On Wed, Sep 22, 2010 at 10:21 AM, Simon Marlowmarlo...@gmail.com wrote:
You could use maskUninterruptible, but that's not a good solution either - if
an
operation during cleanup really does block, you'd like to be able to Control-C
your
way out.
So
On 19/09/2010 13:11, Stefan Wehr wrote:
Hi all,
I'm profiling a Haskell program and now getting that the program
spents 56% of its individual time in the cost centre MAIN (note the
capital letters).
I searched the documentation for this cost centre, with no success. In
all profiling results so
On 18/09/2010 03:03, Alex Suraci wrote:
Context: My language uses hint to interpret Haskell code at runtime,
via `load: path/to/file.hs`. Hint works similar to :load foo.hs
in GHCi (it uses the GHC API). After the source is interpreted the
module's `load` function is executed in the language's
On 14/09/10 19:29, Bryan O'Sullivan wrote:
On Tue, Sep 14, 2010 at 11:21 AM, Edward Z. Yang ezy...@mit.edu
mailto:ezy...@mit.edu wrote:
Pure code can always be safely asynchronously interrupted (even code
using state like the ST monad), and IO code can be made to interact
correctly
On 15/09/2010 03:33, Edward Z. Yang wrote:
Excerpts from Simon Marlow's message of Mon Sep 13 05:10:13 -0400 2010:
The idea of having user-definable cancellation mechanisms seems quite
sensible, given that we have so many ways to do this. However it seems
quite hard in practice: for
On 15/09/2010 03:49, Bruno Martínez Aguerre wrote:
To understand better whether ghc is taking advantage of my UNPACK
pragmas, I want to profile my program and sort the allocations by type.
I couldn't find an option to do this. -p is only by cost-center, and -hy
only works for live data, and I
On 14/09/2010 02:09, Thomas DuBuisson wrote:
All,
A recent SO question [1] led me to do a quick test on hard-coding RTS
options as suggested in the manual rts-hooks section [2].
Unfortunately the timing tests indicate ghc_rts_opts isn't being
used; tests with flags besides -N (ex: -H1024m) also
On 14/09/2010 20:00, Dimitry Golubovsky wrote:
In the GHC I/O system, a Handle may be backed by a device (IODevice
instance) with IODeviceType = Directory
There doesn't seem to be any (at least Google search did not give
anything) code that uses this; however, what is supposed to be read
from
On 09/09/2010 17:18, Christian Maeder wrote:
David Peixotto schrieb:
On Sep 9, 2010, at 6:37 AM, Simon Marlow wrote:
On 09/09/2010 10:39, Christian Maeder wrote:
Christian Maeder schrieb:
Hi,
we call from our haskell application the metis prover via
On 11/09/2010 07:59, Edward Z. Yang wrote:
So I did a writeup of what I thought might be the next direction to
go with the interruptible patch:
http://blog.ezyang.com/2010/09/towards-platform-agnostic-interruptibility/
The really interesting bit (which I didn't cover) is what information
On 08/09/2010 15:57, Edward Z. Yang wrote:
Excerpts from Simon Marlow's message of Wed Sep 08 03:40:42 -0400 2010:
Maybe. As a first step I think we could just document what happens when
a call is interrupted (pthread_cancel() on POSIX, ??? on Windows) and
let the user handle it. Is there
On 06/09/2010 19:03, Evan Laforge wrote:
So a long time ago (I think when 6.10 first came out, the problem
didn't happen with the previous version, and I think 6.10 changed how
the FFI used alignment) I filed a ghc ticket about a gc assertion
failure. Unfortunately it was so hard to reproduce
On 09/09/2010 00:28, Daniel Fischer wrote:
On Wednesday 08 September 2010 23:55:35, Don Stewart wrote:
simonpj:
| ghc-6.12.3:
|89,330,672 bytes allocated in the heap
|15,092 bytes copied during GC
|35,980 bytes maximum residency (1 sample(s))
|
On 09/09/2010 10:39, Christian Maeder wrote:
Christian Maeder schrieb:
Hi,
we call from our haskell application the metis prover via
System.Process.readProcessWithExitCode metis filename
However, we are not able to get rid of this process if metis does not
terminate by itself. In
On 09/09/2010 15:08, Daniel Fischer wrote:
On Thursday 09 September 2010 13:19:23, Simon Marlow wrote:
I think I've found the problem, GHC.IO.Handle.Text:
bufReadNBEmpty :: Handle__ - Buffer Word8 - Ptr Word8 - Int - Int -
IO Int
bufReadNBEmpty h...@handle__{..}
b
On 06/09/10 19:16, Edward Z. Yang wrote:
Excerpts from Simon Marlow's message of Mon Sep 06 05:57:59 -0400 2010:
What did you have in mind with respect to portable equivalents of
pthread functions? I'm not sure we need to do anything along these
lines at all, and I'd much rather we didn't
On 03/09/2010 22:00, Bryan O'Sullivan wrote:
I spent some time this morning trying to use HDBC-mysql to talk to a
database. It uses the C mysql bindings, which talks over a blocking
socket to the database server. Not surprisingly, it fails reliably when
the thread it's running in is hit by an
On 01/09/2010 04:22, Edward Z. Yang wrote:
Not sure what you mean here: what's a bound FFI call?
Good point: we don’t distinguish between FFI calls that require thread
local state and which ones don’t: this might be a good thing to allow
annotating. If we did know, then we could simply
On 28/08/2010 07:45, Edward Z. Yang wrote:
Excerpts from Simon Marlow's message of Fri Aug 27 04:05:46 -0400 2010:
You should walk cap-suspended_ccalls instead, no lock is required for that.
For stress testing, you want to construct an example that has lots of
threads making foreign cals and
On 26/08/2010 18:20, Edward Z. Yang wrote:
Ahem, the logic in that last iteration was not quite correct.
Here is the more correct version:
case BlockedOnCCall:
case BlockedOnCCall_NoUnblockExc:
{
#ifdef THREADED_RTS
Task *task = NULL;
if (!target-bound) {
On 26/08/2010 06:57, Edward Z. Yang wrote:
Excerpts from Edward Z. Yang's message of Thu Aug 26 01:22:22 -0400 2010:
I spent some time looking at the code, and I've been having a difficult
time finding the thread ID of the worker thread that is performing the
safe FFI call. The target TSO is
On 26/08/2010 08:10, Edward Z. Yang wrote:
Here is a possible implementation:
Task *task = NULL;
blockedThrowTo(cap,target,msg);
if (target-bound) {
// maybe not supposed to kill bound threads, but it
// seems to work ok (as long as they don't want to try
On 22/08/2010 11:41, Andrew Coppin wrote:
Ivan Lazar Miljenovic wrote:
Hackage has limited support for distro maintainers to state which
packages are available on the distribution. Last I checked, it required
distro maintainers to keep a text file somewhere up to date.
Note that not all
On 25/08/2010 16:37, Christian Maeder wrote:
Christian Maeder schrieb:
Simon Marlow schrieb:
On 23/08/2010 17:45, Brandon S Allbery KF8NH wrote:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 8/23/10 11:57 , Christian Maeder wrote:
However, when I try to compile the simplest source
On 20/08/2010 20:13, Christian Höner zu Siederdissen wrote:
Hi,
using:
http://www.haskell.org/ghc/dist/current/dist/ghc-6.13.20100819-x86_64-unknown-linux.tar.bz2
parallel-3.1.0.0
and the most-common test program ... ever:
module Main where
import Control.Parallel.Strategies
fib :: Int -
On 21/08/2010 04:30, John Millikin wrote:
This also changes the binary enumHandle to use non-blocking IO, as
recommended by Magnus Therning. I'm embarrassed to admit I still don't
understand the improvement, exactly, but three people so far have told
me it's a good idea.
The issue is that
On 23/08/2010 12:10, Felipe Lessa wrote:
Hello, Simon!
On Mon, Aug 23, 2010 at 8:00 AM, Simon Marlowmarlo...@gmail.com wrote:
The issue is that hGet always waits for a complete buffer-full of data
before returning. The hWaitForInput/hGetNonBlocking combination fixes that
problem, but you
On 23/08/2010 12:38, Felipe Lessa wrote:
On Mon, Aug 23, 2010 at 8:29 AM, Simon Marlowmarlo...@gmail.com wrote:
Which documentation are you referring to? This looks ok to me:
http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/System-IO.html#v%3AhGetBuf
Indeed, while there
On 23/08/2010 12:57, Felipe Lessa wrote:
On Mon, Aug 23, 2010 at 8:51 AM, Simon Marlowmarlo...@gmail.com wrote:
Hmm, RawIO.read looks ok:
-- | Read up to the specified number of bytes, returning the number
-- of bytes actually read. This function should only block if there
-- is no data
On 19/08/2010 18:21, John Millikin wrote:
On Wed, Aug 18, 2010 at 23:33, Jason Dagitda...@codersbase.com wrote:
The main reason I would use iteratees is for performance reasons. To help
me, as a potential consumer of your library, could you please provide
benchmarks for comparing the
On 17/08/2010 06:09, Gregory Collins wrote:
Does GHC expose any primitives for things like atomic compare-and-swap?
I can't seem to find anything in the docs. I'm wondering if it's
possible, for example, to implement things like the wait-free concurrent
queue from [1] or a lock-free wait-free
On 14/08/2010 22:29, Yitzchak Gale wrote:
Lennart Augustsson wrote:
So it's a bug in the garbage collector. It's closing a handle that
clearly is still reachable, otherwise this would not have happened.
Simon Marlow wrote:
The handle is in fact not reachable from the roots, because
On 14/08/10 02:30, Lennart Augustsson wrote:
So it's a bug in the garbage collector. It's closing a handle that
clearly is still reachable, otherwise this would not have happened.
The handle is in fact not reachable from the roots, because the thread
that points to it is also not reachable.
On 13/08/10 17:00, Tillmann Rendel wrote:
Simon Marlow wrote:
Really hClose shouldn't complain about a finalized handle, I'll see if
I can fix that.
That sounds like a work-around to me, not a fix, because it would not
fix more complicated exception handlers.
I don't think there's
On 12/08/2010 21:59, Yitzchak Gale wrote:
Wei Hu wrote:
nonTermination _ = blackhole where blackhole = blackhole
My original example was actually:
process :: String - String
process = let x = x in x
Ah yes, that works too. But other similar versions don't, like this one:
process ::
On 13/08/2010 09:53, Simon Marlow wrote:
On 12/08/2010 21:59, Yitzchak Gale wrote:
Wei Hu wrote:
nonTermination _ = blackhole where blackhole = blackhole
My original example was actually:
process :: String - String
process = let x = x in x
Ah yes, that works too. But other similar
On 11/08/2010 17:03, Johan Tibell wrote:
Inspired by the generic maps example at
http://www.haskell.org/haskellwiki/GHC/Indexed_types
I tried to use associated data types to create a generic finite map that
unpacks both the key and value into the leaf data constructor.
What you're trying to
On 11/08/2010 22:31, Greg Fitzgerald wrote:
Is there any documentation or examples available that shows what needs
to be linked to get a haskell executable to print hello world?
Instead of using GHC to link, I'm interested in using gcc, ar, or link
directly. For starters, what implements the
On 12/08/2010 11:13, Johan Tibell wrote:
There needs to be some amount of code generation, but much of the
implementation can still be shared. I previously tried to defined the
type class as
{-# LANGUAGE MultiParamTypeClasses, TypeFamilies #-}
module Ex2 where
import Prelude
On 12/08/2010 12:28, Johan Tibell wrote:
This doesn't quite work though as two MapIntDouble defined in two
different libraries are incompatible. This is essentially the same
problem as with instance collisions.
But you get to choose the module name, so you can
On 12/08/10 15:09, Yitzchak Gale wrote:
The file error_puzzle.hs begins like this:
main = do
inp- readFile input
writeFile output $ process inp
process :: String - String
When compiled with GHC 6.12.3 and run, it
gives the following result:
$ ./error_puzzle
error_puzzle: output:
On 06/08/2010 21:16, Edward Z. Yang wrote:
Excerpts from Corey O'Connor's message of Fri Aug 06 16:15:21 -0400 2010:
In your test cases that fail are your C computations foreign unsafe imports?
First thing I checked. :-) They were safe imports, and the Haskell code
did get called--just the C
On 06/08/10 03:15, Jeff Zaroyko wrote:
On Thu, Aug 5, 2010 at 11:48 PM, Johan Tibelljohan.tib...@gmail.com wrote:
On Thu, Aug 5, 2010 at 3:35 PM, Dino Morellid...@ui3.info wrote:
On Wed, 4 Aug 2010, Mark Lentczner wrote:
One thing I haven't seen anyone else comment on is the width of the
On 27/07/2010 01:54, John Meacham wrote:
For each type I can statically generate an optimal layout based on its
structure. For instance, maybe benefits from two of these optimizations,
first of all, nullary constructors (Nothing) need never appear in the
heap, so they are given values that pack
On 20/07/10 17:05, Sean Leather wrote:
I just saw a lot of spam posts to the GHC Trac. Is there any way to
prevent future occurrences of this?
All the spam has been removed from the Trac, though unfortunately we
can't remove it from the mailing list archives so easily.
I'm not sure exactly
On 20/07/10 22:08, Ian Lynagh wrote:
On Tue, Jul 20, 2010 at 10:45:36PM +0200, Johan Tibell wrote:
Building from a clean checkout of HEAD (from today) I get:
ghc-stage2: internal error: Invalid Mach-O file:Address out of bounds while
relocating object file
(GHC version 6.13.20100720 for
University of Technology)
* Duncan Coutts - co-chair (Well-Typed LLP)
* Iavor Diatchki (Galois)
* Simon Marlow - co-chair (Microsoft Research)
* Ben Lippmeier (University of New South Wales)
* Neil Mitchell (Standard Chartered)
___
Haskell mailing list
On 15/07/2010 00:26, John Meacham wrote:
On Wed, Jul 14, 2010 at 10:35:50AM +0100, Simon Marlow wrote:
http://portal.acm.org/citation.cfm?id=773044
Ah, this paper looks very interesting, I was wondering if you had
experimented with prefetching just ahead of the allocation pointer.
Looks
On 15/07/2010 23:41, Albert Y. C. Lai wrote:
Suppose I start ghci, use a value from a package, causing it to be
linked, then I modify the package and reinstall, same version number,
without quitting my ghci session. Is there a way to tell the ghci
session to refresh and use the modified package?
On 16/07/2010 12:36, Axel Simon wrote:
Dear Haskell maintainers,
I've progressed a little and found that the problem is down to
accessing global variables that are declared in dynamic libraries. In
a nutshell, this doesn't as the addresses of these global variables
are all wrong when ghci is
On 16/07/2010 14:04, Axel Simon wrote:
Hi Simon,
On 16.07.2010, at 14:29, Simon Marlow wrote:
On 16/07/2010 12:36, Axel Simon wrote:
Dear Haskell maintainers,
I've progressed a little and found that the problem is down to
accessing global variables that are declared in dynamic libraries
On 15/07/2010 13:46, Christian Maeder wrote:
Hi,
seeing
http://www.haskell.org/ghc/docs/6.12.2/html/users_guide/syntax-extns.html#new-qualified-operators
Could you add:
Spaces are not allowed in new qualified operators!
For
{-# LANGUAGE NewQualifiedOperators #-}
f1 = (+)
f2 = ( +)
f3 =
On 12/07/2010 13:09, John Meacham wrote:
On Mon, Jul 12, 2010 at 11:57:18AM +0100, Simon Marlow wrote:
On 09/07/2010 18:46, John Meacham wrote:
On Fri, Jul 09, 2010 at 12:39:38PM +0100, Simon Marlow wrote:
On 08/07/2010 22:46, John Meacham wrote:
Ack, I just noticed that IntPtr,IntMax
On 14/07/2010 03:36, John Meacham wrote:
On Tue, Jul 13, 2010 at 10:24:00AM +0100, Simon Marlow wrote:
Well, a main useful case is that I can do -phaskell98 and -phaskell2010
at the same time. So I can make the default jhc behavior be the union of
the two languages easily.
That works in GHC
501 - 600 of 5259 matches
Mail list logo
