On Sunday 14 September 2008 20:27:52 Mariusz Przygodzki wrote:
Maybe they were waiting so many years because they have never
asked users about what users really need and think about it.
What?
It's not that we hate you (unless we do). It's just that we have
nothing to offer you, and you have
: Mitchell, Neil [mailto:[EMAIL PROTECTED]
| Sent: 15 September 2008 13:56
| To: Simon Peyton-Jones; glasgow-haskell-users@haskell.org
| Subject: RE: GADT problems
|
| | | (case undefined of Foo GadtValue - ()) :: () -- is rigid
| ...
| |
| | But the first compiles fine, so it seems
[sent to list as well this time]
On Mon, 2008-09-15 at 14:00 +0100, Simon Peyton-Jones wrote:
Ah -- you used an *existential* there! Yes, existentially-bound type
variables are rigid. They stand for themselves, as it were.
That resolves the mystery -- but it existentials admittedly
Ah -- you used an *existential* there! Yes,
existentially-bound type variables are rigid. They stand for
themselves, as it were.
How should this be clarified?
I'd leave it. I wanted a simple set of rules stating _if_ you provide
the following type signatures your code _will_ compile,
On Mon, Sep 15, 2008 at 4:18 AM, Simon Peyton-Jones
[EMAIL PROTECTED] wrote:
If you can suggest improvements to the manual I'm all ears. Notably, it says
nothing about what rigid means or how it propagates.
A good solid definition of rigid would be nice. You pointed me at a
paper on wobbly
->
Re: GADT problems
glasgow-haskell-users
-- Thread --
-- Date --
<!--
google_ad_client = "pub-7266757337600734";
google_alternate_ad_url = "http://www.mail-archive.com/blank.
->
RE: GADT problems
glasgow-haskell-users
-- Thread --
-- Date --
<!--
google_ad_client = "pub-7266757337600734";
google_alternate_ad_url = "http://www.mail-archive.com/blank.
->
RE: GADT problems
glasgow-haskell-users
-- Thread --
-- Date --
<!--
google_ad_client = "pub-7266757337600734";
google_alternate_ad_url = "http://www.mail-archive.com/blank.
->
RE: GADT problems
glasgow-haskell-users
-- Thread --
-- Date --
<!--
google_ad_client = "pub-7266757337600734";
google_alternate_ad_url = "http://www.mail-archive.com/blank.
->
RE: GADT problems
glasgow-haskell-users
-- Thread --
-- Date --
<!--
google_ad_client = "pub-7266757337600734";
google_alternate_ad_url = "http://www.mail-archive.com/blank.
->
RE: GADT problems
glasgow-haskell-users
-- Thread --
-- Date --
<!--
google_ad_client = "pub-7266757337600734";
google_alternate_ad_url = "http://www.mail-archive.com/blank.
->
RE: GADT problems
glasgow-haskell-users
-- Thread --
-- Date --
<!--
google_ad_client = "pub-7266757337600734";
google_alternate_ad_url = "http://www.mail-archive.com/blank.
->
RE: GADT problems
glasgow-haskell-users
-- Thread --
-- Date --
<!--
google_ad_client = "pub-7266757337600734";
google_alternate_ad_url = "http://www.mail-
13 matches
Mail list logo