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
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
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 really
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:
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
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, the
11 matches
Mail list logo
