The archive
http://www.haskell.org/ghc/dist/6.6/ghc-6.6-src-extralibs.tar.bz2
does not contain the files ControlPoint.hs and Domain.hs from directory
libraries/OpenGL/Graphics/Rendering/OpenGL/GL/
These files are listed by the binary distribution
http://www.haskell.org/ghc/dist/6.6/ghc-6.6-i386-un
And why isn't C a b equivalent to C a b1?
forall a b . C a b => a -> a
and
forall a b1 . C a b1 => a -> a
look alpha convertible to me. Or is the inferred type
forall a . C a b1 => a -> a
Btw, this reminds me again that I'd like to be able to use _ in type
signatures.
With the meaning of
Lennart Augustsson wrote:
> Btw, this reminds me again that I'd like to be able to use _ in type
> signatures.
> With the meaning of _ being, "there's a type here, but I can't be
> bothered to write it out in full."
you're not alone ...
what is the meaning of two _ in one expression?
do they nec
I would treat multiple _ in a type the same way as multiple _ in a
pattern.
They can all be different. It might be useful to have multiple
"variables",
say _a, in a type too, all standing for the same type. But I'd
settle for _ for now. :)
And yes, contexts even more so!
Contexts are reall
Lennart Augustsson wrote:
> Speaking of wishlist, I'd also like to see context synonyms, e.g.,
> context C a = (Ord a, Num a)
>
> The current situation is quite bad, there's no way to abstract
> contexts.
except by writing extra classes that encode the context,
see for example class NFAC:
http:
On 12/7/06, Lennart Augustsson <[EMAIL PROTECTED]> wrote:
Speaking of wishlist, I'd also like to see context synonyms, e.g.,
context C a = (Ord a, Num a)
This is equivalent to John Meacham's class alias proposal, right?
(http://repetae.net/john/recent/out/classalias.html)
/g
--
It is myself I
What kind of problems could crop up if I try to create type variables
with an unlifted kind inside GHC (not in user code, just inside the
compiler)?
I want to make ByteArray# and MutableByteArray# parameterized over
their element types. ByteArray# would have kind # -> #, and
MutableByteArray#, * -
I should have said that the situation in H98 is quite bad.
There you can't make default instances.
On Dec 7, 2006, at 07:49 , Johannes Waldmann wrote:
Lennart Augustsson wrote:
Speaking of wishlist, I'd also like to see context synonyms, e.g.,
context C a = (Ord a, Num a)
The current situati
My (off-the-top-of-my-head) suggestion was much more modest.
A context synonym would only allow you to shorten contexts, it would
not be a new class.
On Dec 7, 2006, at 10:53 , J. Garrett Morris wrote:
On 12/7/06, Lennart Augustsson <[EMAIL PROTECTED]> wrote:
Speaking of wishlist, I'd also
On Thu, Dec 07, 2006 at 10:53:38AM -0500, J. Garrett Morris wrote:
> On 12/7/06, Lennart Augustsson <[EMAIL PROTECTED]> wrote:
> >Speaking of wishlist, I'd also like to see context synonyms, e.g.,
> >context C a = (Ord a, Num a)
>
> This is equivalent to John Meacham's class alias proposal, right?
Am Donnerstag, 7. Dezember 2006 11:37 schrieb Christian Maeder:
> The archive
> http://www.haskell.org/ghc/dist/6.6/ghc-6.6-src-extralibs.tar.bz2
> does not contain the files ControlPoint.hs and Domain.hs from directory
> libraries/OpenGL/Graphics/Rendering/OpenGL/GL/
If I see things correctly, th
11 matches
Mail list logo
