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:
fo
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 in
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 :)
T
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
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
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 = '
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 c
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
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
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
> tha
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
>
>
>
>
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 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 :
http://
| 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 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 switc
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
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,
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
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 b
| 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 b1,D
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
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
21 matches
Mail list logo
