Hello,
I came across the following problem:
I define a class with a functional dependency like so:
class C a b | a -> b
Then I want to define a datatype using the fact that the second argument of C
is dependent on the first:
data C a b => T a = MkT a b
But unfortunately, this doesn’t
ISMM'07 CALL FOR PARTICIPATION
and Accepted Papers
2007 ACM International Symposium on Memory Management
co-located with OOPSLA 2007
Sponsored by ACM SIGPLAN
21-22 October 2007, Montre
On Tue, Sep 04, 2007 at 06:20:26PM +0200, Wolfgang Jeltsch wrote:
> Hello,
>
> I came across the following problem:
>
> I define a class with a functional dependency like so:
>
> class C a b | a -> b
>
> Then I want to define a datatype using the fact that the second argument of C
> is dep
Am Dienstag, 4. September 2007 22:00 schrieben Sie:
> […]
> It should be emphasized that this program worked the very first time I
> typed it in.
Which version of GHC are you using? I’m a bit confused since the latest
successful nightly build for i386-unknown-linux seems to be from August 20.
On Tue, Sep 04, 2007 at 11:11:00PM +0200, Wolfgang Jeltsch wrote:
> Am Dienstag, 4. September 2007 22:00 schrieben Sie:
> > […]
>
> > It should be emphasized that this program worked the very first time I
> > typed it in.
>
> Which version of GHC are you using? I’m a bit confused since the lates
Wolfgang Jeltsch wrote,
I came across the following problem:
I define a class with a functional dependency like so:
class C a b | a -> b
Then I want to define a datatype using the fact that the second argument of C
is dependent on the first:
data C a b => T a = MkT a b
But unfortun
The xmonad dev team is pleased to announce the 0.3 release of xmonad.
xmonad: a tiling window manager
http://xmonad.org
About:
xmonad is a tiling window manager for X. Windows are arranged
automatically to tile the screen without gaps or overlap,
