Simon Peyton-Jones wrote:
Given instance C T where ..., for any method 'm' not
defined by ...:
for every class D of which C is a superclass
where there is an instance for (D T)
see if the instance gives a binding for 'm'
If this search finds exactly one
That was THE tip, thanks a lot! I've been using a tool called 'the
unarchiver' to extract the tarball, apparently is does not do it's job
very well...
Manuel M T Chakravarty schrieb:
Carsten Keßler:
OK, now I get no GMP error any longer, instead, I got my good old
OpenGL-error back...
Hi,
I have a statically-sized-list library that I use for linear algebra stuff.
It's got a vector type something like this:
data V a b = V a b
so that a 3D vector is
type Vec3 a = V a (V a (V a ()))
and I have type classes for operations on these things, like so:
class VZipWith a b c u v
Simon Peyton-Jones wrote:
Concerning (b) here's a suggestion. As now, require that every instance
requires an instance declaration. So, in the main example of
http://haskell.org/haskellwiki/Class_system_extension_proposal, for a new data
type T you'd write
instance Monad T where
=
The (Interactive) Glasgow Haskell Compiler -- version 6.8.2
=
The GHC Team is pleased to announce a new patchlevel release of GHC.
This release contains a number of
Maybe I'm just too new at this, but the GCH FAQ entry for readline in GHCi
is confusing for me. Especially since it ends with the sentence
Instructions for GHC 6.2.2. are here. However, as the quote goes, there's
no 'here' here. - the location of the instructions are missing.
Could someone please
On Wed, Dec 12, 2007 at 11:02:15AM -0700, Scott Dillard wrote:
with strictness annotations and INLINEs for everything. I also tried automatic
newtype deriving, with no luck. Why does a newtype defeat so much of the
optimization?
Thanks,
Scott
(Not a GHC developer, but someone fairly
stefanor:
On Wed, Dec 12, 2007 at 11:02:15AM -0700, Scott Dillard wrote:
with strictness annotations and INLINEs for everything. I also tried
automatic
newtype deriving, with no luck. Why does a newtype defeat so much of the
optimization?
Thanks,
Scott
(Not a GHC developer, but
You can find an example at:
graphics.cs.ucdavis.edu/~sdillard/newtype-maybe-bug.tar.gz
Here's my session with it:
ghc --make -O2 -DFAST Test
time ./Test +RTS -tstderr
ghc: 21120 bytes, 2 GCs, 32768/32768 avg/max bytes residency (1
samples), 1M in use, 0.00 INIT (0.00 elapsed), 7.52 MUT (8.70
I had it pretty well worked out for single parameter type classes, but I
couldn't see any nice extension to multiple parameters.
On Dec 11, 2007 5:30 PM, Simon Peyton-Jones [EMAIL PROTECTED] wrote:
| If it really would work ok we should get it fully specified and
| implemented so we can fix
Alex, Lennart's suggestion makes me think: Why not make SearchPath
into a preprocessor? It could recognize a .ehs extension, and then do
some very simple preprocessing (adds pragmas according to user's
settings).
--
Robin Bate Boerop
On 22/11/2007, Lennart Augustsson [EMAIL PROTECTED] wrote:
Right now I have it automatically add -glasgow-exts unless the user
explicitly turns it off. I prefer to have packages that are also cabal
compatible If there is a way to get cabal also to preprocess .ehs
correctly then we are good to go!
-Alex-
Robin Bate Boerop wrote:
Alex,
Ian Lynagh wrote:
=
The (Interactive) Glasgow Haskell Compiler -- version 6.8.2
=
The GHC Team is pleased to announce a new patchlevel release of GHC.
This release
13 matches
Mail list logo