Better still, could you add a section to that page about DLLs and Excel? That'd
be useful for others.
Simon
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Olivier Boudry
Sent: 30 November 2007 18:09
To: glasgow-haskell-users@haskell.org
Subject: Re: GHC generated dll makes Excel
GHC definitely does not assume that the top bit is of an address is clear. But
I don't know that anyone has explicitly tested it on a 3Gb program.
Simon
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of
| Bulat Ziganshin
| Sent: 02 December 2007 14:12
| I'm trying to understand what fundeps do and don't let me do. One
| particular source of confusion is why the following program doesn't
| typecheck:
|
| {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
| module Fundeps where
|
| class Dep a b | a - b, b - a
|
| conv :: (Dep a
Wilhelm B. Kloke wrote:
Simon Marlow [EMAIL PROTECTED] schrieb:
Perhaps you compiled mkDerivedConstants as a 32-bit executable?
Yes. I was not attentive enough.
But now I have got a working compiler on FreeBSD-amd64-7.0. If anybody is
interested, I shall prepare a package of the installed
Claus Reinke wrote:
3) suggestions:
a) could we have a :make command in ghci that doesa 'ghc
--make' while reusing the information fromthe current session?
Doesn't
:set -fobject-code
:reload
do that?
b) could we have a --prefer-source option for ghci,
so
Am Freitag, 30. November 2007 18:04 schrieb Wolfgang Jeltsch:
Am Freitag, 30. November 2007 15:23 schrieb Daniel Fischer:
Question 2: When I build a package via Cabal, is there a way to merge the
documentation into the installed library docs (and if yes, how do I do
it)?
I think, if you
Simon Marlow [EMAIL PROTECTED] schrieb:
Wilhelm B. Kloke wrote:
However, you might want to wait for 6.8.2 in the next few days, as we fixed
several important bugs.
I have found a couple of small bugs regarding FreeBSD. Changing the
configure process would be helpful.
FreeBSD-amd64 is
On Dec 3, 2007, at 4:02 AM, Simon Peyton-Jones wrote:
GHC's new intermediate language, System FC, is specifically designed
to do this. Currently we're in transition: equality constraints are
starting to work, but fundeps are implemented as they always were.
I hope we can eventually
| Is it really a good idea to permit a type signature to include
| equality constraints among unifiable types? Does the above type
| signature mean something different from a -a? Does the type signature:
| foo :: (a~Bar b) = a - Bar b
| mean something different from:
| foo :: Bar b -
On 12/3/07, Simon Peyton-Jones [EMAIL PROTECTED] wrote:
Better still, could you add a section to that page about DLLs and Excel?
That'd be useful for others.
Simon
Simon,
As the page is part of the GHC documentation I cannot edit it. I put my
notes in a new wiki page :
It's not part of the Haskell documentation! The FFI page
http://haskell.org/haskellwiki/GHC/Using_the_FFI
is part of the contributed documentation, linked from here:
http://haskell.org/haskellwiki/GHC
So it absolutely is a Wiki, and should be editable by you (assuming you log
into the wiki).
On Dec 3, 2007 10:07 AM, Simon Peyton-Jones [EMAIL PROTECTED] wrote:
It's not part of the Haskell documentation! The FFI page
http://haskell.org/haskellwiki/GHC/Using_the_FFI
is part of the contributed documentation, linked from here:
http://haskell.org/haskellwiki/GHC
So it
On Wed, Nov 21, 2007 at 11:13:26AM -0800, Greg Fitzgerald wrote:
On Windows, HUnit's assertions are not working - trace below in ghci 6.8.1and
6.6.1. Can others reproduce? Is this the right place to report bugs?
Should I confirm a bug here and then create a ticket, create a ticket and
that's
I moved my stuff to:
http://haskell.org/haskellwiki/GHC/Using_the_FFI#Beware_of_dllMain.28.29_-_Excel
Cheers,
Olivier.
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
Am Montag, 3. Dezember 2007 13:38 schrieben Sie:
[…]
I just thought it would be nice to have all installed libraries together
because that would facilitate deciding whether I use something from the
containers package, or the collections package or edison.
Do you mean you want a combined
On Sat, 2007-12-01 at 11:33 +1000, Matthew Brecknell wrote:
[...]
Seems impossible. With GADTs, you can of course go the other way:
data A
data B
data Chr a where
AChr :: Chr A
BChr :: Chr B
toChar :: Chr a - Char
toChar AChr = 'A'
toChar BChr = 'B'
So perhaps
On Fri, 2007-11-30 at 13:37 +1100, Manuel M T Chakravarty wrote:
Whenever you want to maintain type-level assertions of properties of
you functions, you need to decide *how much* of the value-level
information do you need on the type level to express and check the
properties that you are
On Mon, 3 Dec 2007, Simon Peyton-Jones wrote:
No, you didn't miss anything. I wouldn't expect anyone to write these
types directly. But it can happen:
class C a b | a-b
instance C Int Bool
class D x where
op :: forall y. C x y = x - y
instance D Int
Hi,
so today I built ghc-6.9.20071124.
First, make died because HsColour version = 1.8 was needed, couldn't
determine the version. I had HsColour 1.6, got myself 1.8, built and
installed.
make died again, same problem.
I added (v, Version) to the optionTable in HsColour.hs and it worked :)
Jim Burton said:
Thanks -- I think I see your point but I'm not sure how to make
use of it...(perhaps I'm trying to run before I can walk).
The way I was picturing things, the A, B ... types would
need to take a parameter so they can be collected/consed,
so my next attempt tries to
Jan-Willem Maessen:
Is it really a good idea to permit a type signature to include
equality constraints among unifiable types? Does the above type
signature mean something different from a -a? Does the type
signature:
foo :: (a~Bar b) = a - Bar b
mean something different from:
foo
21 matches
Mail list logo
