On Sat, Mar 9, 2013 at 6:23 AM, Edward Z. Yang wrote:
> Excerpts from Remi Turk's message of Fri Mar 08 18:28:56 -0800 2013:
>> 1) The documentation suggests, but does not explicitly state, that
>> castStablePtrToPtr `liftM` newStablePtr x
>> will never yield a nullPtr. Is this guaranteed to be
ng that foo
and main might be in different packages written by different authors,
this makes correct use rather complicated. Is this behaviour (and the
consequential undefinedness) intentional?
With kind regards,
Remi Turk
[1]
http://www.haskell.org/ghc/docs/latest
On Thu, Feb 12, 2009 at 08:47:36AM +, Simon Marlow wrote:
> Remi Turk wrote:
>> On Tue, Feb 10, 2009 at 01:31:24PM +, Simon Marlow wrote:
>>> My vote would be:
>>>
>>> :info class Show
>>> :info type Show
>>> :info instance Show
>>
On Tue, Feb 10, 2009 at 01:31:24PM +, Simon Marlow wrote:
> Remi Turk wrote:
>> On Sat, Feb 07, 2009 at 12:39:03AM -0500, Brandon S. Allbery KF8NH wrote:
>>> On 2009 Feb 5, at 5:49, Remi Turk wrote:
>>>> SPJ agreed with the idea itself, but suggested an alte
On Sat, Feb 07, 2009 at 12:39:03AM -0500, Brandon S. Allbery KF8NH wrote:
> On 2009 Feb 5, at 5:49, Remi Turk wrote:
>> SPJ agreed with the idea itself, but suggested an alternative set of
>> commands:
>>
>> :info Show-- See class definition only
>> :
On Thu, Feb 05, 2009 at 12:35:43PM +0100, Peter Hercek wrote:
> Remi Turk wrote:
>> SPJ agreed with the idea itself, but suggested an alternative set of
>> commands:
>>
>>:info Show-- See class definition only
>>:instances Show -- See instances o
One of my most used GHCi commands is :info, but quite often
the type or class definitions that I'm interested in get drowned
in lots of instances.
So a week ago I wrote a feature request and a little patch that
allowed the following:
:info Show -- See class definition and instances
:inf
Hi,
during the past semester I followed a seminar on the "Efficient
implementation of functional languages" by Jeroen Fokker at the
University Utrecht. During that course we worked on a feedback
directed GHC optimisation, but that got me interested in another
possible GHC backend micro-optimisatio
On Fri, Oct 19, 2007 at 08:25:22AM +0100, Simon Peyton-Jones wrote:
> | What does this imply for 6.8 support for FD's, as they now use
> | the same type-coercions?
>
> Actually FDs do not use type coercions, in GHC at least. As Mark
Excuse me, it turns out I didn't look carefully enough: It's no
On Thu, Oct 18, 2007 at 02:58:21AM +0100, Simon Peyton-Jones wrote:
> | > Absolutely not; quite the reverse. It means that some of the *code* for
> | type functions happens to be in the 6.8 release --- but that code has bugs.
> | It's only in 6.8 for our convenience (to avoid too great a divergenc
On Wed, Aug 03, 2005 at 12:50:54PM +0200, Robert van Herk wrote:
> Hello All,
>
> I think I've read somewhere that STM doesn't like unsafePerformIO.
> However, I would like to use a global STM variable. Something like this:
>
> module Main where
> import GHC.Conc
> import System.IO.Unsafe
>
> t
On Sat, Jun 11, 2005 at 01:55:57AM +0200, Thomas Jäger wrote:
> > Just looking at the documentation for System.IO.unsafeInterleaveIO,
> > what exactly is unsafe about it?
>
> It can create "pure values" that trigger side effects during their
> evaluation. This can be abused to do IO outside of an
On Fri, Jun 10, 2005 at 07:32:42PM +0200, Lennart Augustsson wrote:
> Andre Pang wrote:
> >G'day all,
> >
> >Just looking at the documentation for System.IO.unsafeInterleaveIO,
> >what exactly is unsafe about it?
> You pick. :)
>
> It can break referential transparency. It can break type safety
On Fri, May 27, 2005 at 12:11:26PM +0100, Simon Peyton-Jones wrote:
> It's in the same patch of the compiler as Ross's specialisation request,
> so I'll try to do both at once.
>
> Simon
Thank you! It is a kind of show-stopper for my project so I'd be
very grateful. ;)
(my "I want Data.HashTable
On Sun, May 08, 2005 at 08:14:30PM +0200, David Sabel wrote:
> Hi!
>
> A small example for the claim mentioned in the subject:
>
> Prelude> let x = 1:undefined in foldr (curry fst) (head x) x
> 1
> Prelude> let x = 1:undefined in foldr1 (curry fst) x
> *** Exception: Prelude.undefined
>
> Perha
On Fri, Mar 11, 2005 at 12:25:04PM -, Simon Marlow wrote:
>
>=
> The (Interactive) Glasgow Haskell Compiler -- version 6.4
>=
>
> The GHC Team is delighted to an
[warning: Very Vague message & possible bug-report follow]
Though I cannot claim any real-world experience with arrows, I'm
not sure I like this, and I hope they'll at least remain
experimental (may be removed next release kind of thing) for a
while.
- I doubt whether the difference between "Arro
On Mon, Feb 28, 2005 at 10:59:32PM +, Ganesh Sittampalam wrote:
> On Mon, 28 Feb 2005, Remi Turk wrote:
>
> > On Mon, Feb 28, 2005 at 02:55:56PM +, Ganesh Sittampalam wrote:
> > >
> > > Prelude> :m +Data.Bits
> > > Prelude Data.Bits> 184466
On Mon, Feb 28, 2005 at 02:55:56PM +, Ganesh Sittampalam wrote:
> Hi,
>
> The following either eats memory until killed or segfaults (I can't pin
> down a reason for the difference). Tested with GHC 6.2.2 and 6.4.20050212,
> with various different libgmp3s under various Redhat and Debian platf
Hi,
with the following definitions
{-# OPTIONS -fglasgow-exts #-}
data a :++: b
class a :--: b
ghci prints the infix type(classe)s as prefix:
*Main> :i :++:
data :++: a b -- Defined at foo.hs:2:7
*Main> :i :--:
class :--: a b where-- Defined at foo.hs:3:8
or (a "real-world" example):
*
On Fri, Feb 18, 2005 at 12:02:06PM +1100, Donald Bruce Stewart wrote:
> rturk:
> > In case you've got nothing else left to do.. ;)
> >
> > The ghc command which perfectly repeatable kills gcc:
>
> This is a known problem with gcc-2.95.
> We came across it back in September.
>
> It was noticed i
[Resent, with a few #ifdef FOO's removed from the body (still in
the attachement, and using gzip instead of bzip2 to prevent
"awaiting moderation ;)]
On Thu, Feb 17, 2005 at 11:29:41AM -, Simon Marlow wrote:
> On 17 February 2005 11:12, Remi Turk wrote:
>
> > when com
On Thu, Feb 17, 2005 at 11:29:41AM -, Simon Marlow wrote:
> On 17 February 2005 11:12, Remi Turk wrote:
>
> > when compiling the new ghc pre-releases made my gcc 2.95.3 die
> > with "internal compiler error", I tried to compile it with gcc
> > 3.4.3 (or
On Thu, Feb 17, 2005 at 05:05:18AM -0700, Seth Kurtzberg wrote:
> Remi Turk wrote:
> >I'm afraid finding a workaround for compilers dying on
> >compiler-generated code isn't going to be much fun...
> >
> >Anyway, I just replaced a
> > ifneq "$(
On Thu, Feb 17, 2005 at 04:48:54AM -0700, Seth Kurtzberg wrote:
> Simon Marlow wrote:
>
> >On 17 February 2005 11:12, Remi Turk wrote:
> >
> >
> >
> >>when compiling the new ghc pre-releases made my gcc 2.95.3 die
> >>with "internal compiler
Hi,
when compiling the new ghc pre-releases made my gcc 2.95.3 die
with "internal compiler error", I tried to compile it with gcc
3.4.3 (or rather, I thought it compiled with 3.4.1, and when that
died, compiled+installed gcc 3.4.3, tried again, say it die again
and only then noticed it was actuall
On Thu, Feb 10, 2005 at 01:11:48PM -, Simon Marlow wrote:
> We are finally at the release candidate stage for GHC 6.4. Snapshots
> with versions 6.4.20050209 and later should be considered release
> candidates for 6.4.
>
> Source and Linux binary distributions are avaiable here:
>
> http:/
On Mon, Feb 07, 2005 at 10:53:36AM -, Simon Peyton-Jones wrote:
> Thanks for the typo. Yes, for Haskell guys 'guard' is fine; but the
> main audience for the paper is non-haskell folk, so we have to spell out
> the defn.
>
> S
Hm, what about calling it `guard' and adding a footnote saying
th
Hi,
I have a few questions about the `check' function from
Control.Concurrent.STM.
First, in the paper its definition contains a (type) error:
check :: Bool -> STM a
check True = return ()
check False = retry
in fptools, however, it is defined as follows:
check :: Bool -> STM a
check b = if b
On Fri, Oct 29, 2004 at 06:29:52PM +0200, Peter Simons wrote:
> Is anyone else seeing this on his system?
>
> getUserEntryForName [] >>= print . userName
> "wasabi"
>
> "wasabi" happens to be the last entry in the /etc/passwd
> file, and that is what I get every time I query for an user
> tha
On Wed, Oct 20, 2004 at 05:54:37PM +0200, Tomasz Zielonka wrote:
> On Wed, Oct 20, 2004 at 04:38:54PM +0100, Simon Peyton-Jones wrote:
> > b) how much happier your life would be if it were implemented
>
> Or... How much sadder your life will be if this mechanism will be
> abused and overused. Some
On Fri, Oct 15, 2004 at 03:25:32PM +0100, Simon Marlow wrote:
>
>=
> The (Interactive) Glasgow Haskell Compiler -- version 6.2.2
>=
>
> The GHC Team is pleased to an
On Thu, Aug 12, 2004 at 09:30:58AM +0100, Simon Marlow wrote:
> On 11 August 2004 20:45, Remi Turk wrote:
>
> > But as long as GMP doesn't mind about being abused the way my
> > most recent util.c does, I can get away with the
> > mp_set_memory_functions-trick, c
On Wed, Aug 11, 2004 at 02:27:19PM +0100, Simon Marlow wrote:
> On 10 August 2004 16:04, Remi Turk wrote:
> > http://www.haskell.org/pipermail/glasgow-haskell-users/2004-June/006767.html
>
> Hmm yes, I now realise that it's not quite as easy as I implied in that
> messa
On Tue, Aug 10, 2004 at 01:09:03PM +0100, Simon Marlow wrote:
> On 10 August 2004 13:03, MR K P SCHUPKE wrote:
>
> > Re GMP, Why not provide more GMP functions as primitives on the
> > Integer type, and avoid the need to call out to GMP via the FFI?
>
> Show us the code! :-p
Or implement Integer
On Tue, Aug 10, 2004 at 12:59:46PM +0100, Simon Marlow wrote:
> GHC's use of GMP does cause problems if you want to use GMP for your own
> purposes, or if you link with external code that wants to use GMP. The
> real problem is that GMP has internal state, which means it can't be
> used in a modul
On Mon, Aug 09, 2004 at 01:09:40PM -0400, Abraham Egnor wrote:
> FWIW, I couldn't reproduce this problem on my system (i.e. str_test
> always printed "1"). GHC 6.2.1, libgmp 4.1.3, debian unstable
>
> Abe
Same versions here, on an old heavily-patched/FUBAR rock linux
1.4 system.
Does the follow
On Sun, Aug 08, 2004 at 07:34:04AM -0700, Sigbjorn Finne wrote:
> Hi,
>
> please be aware that the RTS uses GMP as well, and upon
> initialisation it sets GMP's 'memory functions' to allocate memory
> from the RTS' heap. So, in the code below, the global variable
> 'p' will end up having component
Hi all,
I recently tried to create a ffi-binding to gmp in ghc, and
failed miserably. After a few days of debugging, simplifying the
code and tearing my hear out, I'm slightly completely stumped,
and crying for help ;)
In short: calling gmp-functions from GHCI *with a prompt between*
them seems t
[second attempt, this time from my bulk mailinglist address
instead of the normal one.]
Hi all,
I recently tried to create a ffi-binding to gmp in ghc, and
failed miserably. After a few days of debugging, simplifying the
code and tearing my hear out, I'm slightly completely stumped,
and crying f
40 matches
Mail list logo
