On Sat, Mar 15, 2008 at 2:04 PM, Uwe Hollerbach [EMAIL PROTECTED] wrote:
Hi, all, I have an old iMac G3, running OSX 10.3.9, to which I have a
sentimental attachment. I'd like to get ghc running on it, but the
pre-built binaries I can find are all for more-recent iMacs, so I
thought I
GADT rhymes with cat. The d is silent, like the Danish godt, or
the German Stadt, or the American trademark Bundt.
--
Ashley Yakeley
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
G'day all.
Quoting Ashley Yakeley [EMAIL PROTECTED]:
GADT rhymes with cat. The d is silent, like the Danish godt, or
the German Stadt, or the American trademark Bundt.
I pronounce it so that it rhymes with ADT.
Cheers,
Andrew Bromage
___
On 16/03/2008, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
Quoting Ashley Yakeley [EMAIL PROTECTED]:
GADT rhymes with cat. The d is silent, like the Danish godt, or
the German Stadt, or the American trademark Bundt.
I pronounce it so that it rhymes with ADT.
Clearly, this
On Mar 16, 2008, at 6:01 , [EMAIL PROTECTED] wrote:
G'day all.
Quoting Jeremy Apthorp [EMAIL PROTECTED]:
Clearly, this pronounciation is gay dee tea. I always new those
types were a bit queer.
Not that there's anything wrong with that.
A bit short of gaiety?
--
brandon s. allbery
G'day all.
Quoting Jeremy Apthorp [EMAIL PROTECTED]:
Clearly, this pronounciation is gay dee tea. I always new those
types were a bit queer.
Not that there's anything wrong with that.
Cheers,
Andrew Bromage
___
Haskell-Cafe mailing list
I just merged my work with Taru Karttunen's; you probably want to
% darcs get http://code.haskell.org/hfuse/
The API is a tad different to the one in my old repository; I had some
kind of pointless MVar state threading in my branch which I wrote on a
whim but which isn't particularly useful,
Thanks for the tip, Judah, I went and got the ghc 6.4.1 package...
unfortunately, it installs ok, but isn't able to compile anything: I
get Unknown pseudo-op: .subsections_via_symbols when I try to build
a trivial test program. I found one note on the web that says can't
work, needs newer version
Somehow I cannot get cookies from the Response
using Network.Browser module (HTTP 3001.0.4).
The cookie header part seams to be empty and
getCookies returns empty list as well.
Any idea how to debug this or does someone have
a working example?
Thanks,
Adam
Hi all,
I'm trying to use the quick-check library for checking some properties of a
user defined data type. Bellow the target data type:
data Feature =
Feature Id Name FeatureType GroupType Children Properties |
FeatureError
where:
Id = String
Name = String
FeatureType = int
GroupType = int
On Sun, Mar 16, 2008 at 5:42 PM, rodrigo.bonifacio
[EMAIL PROTECTED] wrote:
Hi all,
I'm trying to use the quick-check library for checking some properties of
a user defined data type. Bellow the target data type:
data Feature =
Feature Id Name FeatureType GroupType Children Properties |
Dear Sebastian Sylvan,
Thanks for your datailed answer. It saved me a lot of time.
Best regards,
Rodrigo.
On Sun, Mar 16, 2008 at 5:42 PM, rodrigo.bonifacio
[EMAIL PROTECTED] wrote:
Hi all,
I'm trying to use the quick-check library for checking some properties of
a user defined
Hi all,
I'm pleased to announce a new release for the haskell-src-exts package.
haskell-src-exts 0.3.2
===
haskell-src-exts is a package for handling and manipulating Haskell
source code. It is based on the haskell-src package that is part of
the standard libraries, but
Hi,
When I try to compile this code with ghc-6.9.20080310:
module Test2 where
type family Id a
type instance Id Int = Int
type instance Id (a, b) = (Id a, Id b)
class Id a ~ ida = Foo a ida
instance Foo Int Int
instance (Foo a ida, Foo b idb) = Foo (a, b) (ida, idb)
I get these errors:
GADTs always reminds me of the japanese word gattsu.
ガッツ == ga-tsu-tsu == gattsu, spoken somehow like gah-t--ts... followed
by a half spoken english u (second half).
gattsu means in english guts.
that in mind, i was just GADDing in StarDict, which translates gatsugatsu
with burning with desire
Ashley Yakeley wrote:
GADT rhymes with cat. The d is silent, like the Danish godt, or
the German Stadt, or the American trademark Bundt.
As long as you don't pronounce it like gat in Dutch and Afrikaans,
which literally means hole, but also has a vulgar sense which means
anus or ass/arse:
apfelmus wrote:
Roman Leshchinskiy wrote:
Should the report say something like a valid Eq instance must ensure
that x == y implies f x == f y for all f?
Probably not, since this requires structural equality which is not
what you want for ADTs. Should it be for all f which are not part of
the
Isto Aho:
Please, consider the example 03 of Understanding functional
dependencies
via Constraint Handling rules by Sulzmann, Duck, Peyton-Jones and
Stuckey.
There we are defining a multiplication over different numeric types:
class Mul a b c | a b - c where
(*) :: a - b - c
instance Mul
Anton van Straaten wrote:
Those who believe that GADTs are unnecessary might appreciate the
guttural pronunciation of gat: which is something like chut where
the ch is similar to that in loch, and for good measure, it rhymes
with slut (at least in Afrikaans). It lends itself well to being
Ganesh Sittampalam:
When I try to compile this code with ghc-6.9.20080310:
module Test2 where
type family Id a
type instance Id Int = Int
type instance Id (a, b) = (Id a, Id b)
class Id a ~ ida = Foo a ida
instance Foo Int Int
instance (Foo a ida, Foo b idb) = Foo (a, b) (ida, idb)
I get
Ashley Yakeley wrote:
Anton van Straaten wrote:
Those who believe that GADTs are unnecessary might appreciate the
guttural pronunciation of gat: which is something like chut where
the ch is similar to that in loch, and for good measure, it rhymes
with slut (at least in Afrikaans). It lends
On Sun, Mar 16, 2008 at 8:40 PM, Adam Langley [EMAIL PROTECTED] wrote:
I believe that I've managed to distill a crash which has been driving
me crazy for a few days into a short enough test case (22 lines) that
it might be useful.
Cale made a suggestion which shortens it:
fptest.hs:
agl:
I believe that I've managed to distill a crash which has been driving
me crazy for a few days into a short enough test case (22 lines) that
it might be useful.
In short: the threaded RTS will call the finialiser of a ForeignPtr
while an exception handler still holds a reference to it:
On Sun, Mar 16, 2008 at 8:45 PM, Don Stewart [EMAIL PROTECTED] wrote:
Create a ticket on the bug tracker, and I'm sure Ian or Simon M will have a
look at it.
http://hackage.haskell.org/trac/ghc/newticket?type=bug
Done, thanks:
http://hackage.haskell.org/trac/ghc/ticket/2161
AGL
--
And is the plural 'gatte'? :)
On Mar 16, 2008, at 11:18 PM, Anton van Straaten wrote:
Ashley Yakeley wrote:
Anton van Straaten wrote:
Those who believe that GADTs are unnecessary might appreciate the
guttural pronunciation of gat: which is something like chut
where the ch is similar to
Emir Pasalic wrote:
And is the plural 'gatte'? :)
Indeed!
Many a sports fan backing the wrong team at the wrong time has been told
something like Ons het julle gatte lekker geskop, which is Afrikaans
for We kicked your asses good.
On Mar 16, 2008, at 11:18 PM, Anton van Straaten wrote:
26 matches
Mail list logo