| And here we know that y=Bool; yet since we don't write the type sig
| directly we can't say it. So GHC's implementation of fundeps rejects
| this program; again it can't be translated into System F.
|
| Conveniently, this is a good example of my other problem with fundeps :-)
| I can work
I think that if you use the HEAD, much of
this will work, if you use the type-equality
notation. But you will probably encounter bugs
too. And in so doing, and reporting them, you'll
be doing us a service.
I did originally intend to try all this with the
HEAD, but one obstacle to this is
| I did originally intend to try all this with the
| HEAD, but one obstacle to this is the lack of recent linux
| binaries in http://www.haskell.org/ghc/dist/current/dist/
Ian is fixing that. We'd missed the fact that the bindists weren't being built.
Hold on a day or two.
Simon
Olivier Boudry wrote:
On Dec 3, 2007 10:07 AM, Simon Peyton-Jones [EMAIL PROTECTED]
mailto:[EMAIL PROTECTED] wrote:
It's not part of the Haskell documentation! The FFI page
http://haskell.org/haskellwiki/GHC/Using_the_FFI
is part of the contributed documentation, linked from
Joel Reymont wrote:
Symptoms:
You build 6.8.1 from source on Leopard (x86 in my case) and then
junior:ghc-6.8.1 joelr$ ghci
GHCi, version 6.8.1: http://www.haskell.org/ghc/ :? for help
ghc-6.8.1:
/usr/local/lib/ghc-6.8.1/lib/base-3.0.0.0/HSbase-3.0.0.0.o: unknown
symbol `_environ'
Loading
btw, it would still be nice to have ghci limitations (vs ghc)
summarized on a wiki page. i've seen fragments here and
there, but no complete list answering my questions.
:set -fobject-code
:reload
ah, thanks! i had forgotten about that one. it doesn't solve
my main problem but i guess
MacOS folks: is this still an issue? If so, could someone create a ticket?
Cheers,
Simon
The issue for MacOS (10.5 Leopard) on powerpc is still
http://hackage.haskell.org/trac/ghc/ticket/1843
But we suspect that there is more than one issue, since my patch for the
unknown scattered
Chris Kuklewicz wrote:
MacOS folks: is this still an issue? If so, could someone create a ticket?
Cheers,
Simon
The issue for MacOS (10.5 Leopard) on powerpc is still
http://hackage.haskell.org/trac/ghc/ticket/1843
But we suspect that there is more than one issue, since my patch for the
Claus Reinke wrote:
btw, it would still be nice to have ghci limitations (vs ghc) summarized
on a wiki page. i've seen fragments here and
there, but no complete list answering my questions.
:set -fobject-code
:reload
ah, thanks! i had forgotten about that one. it doesn't solve my main
Simon,
While we're at it, I found a typo in the
http://www.haskell.org/ghc/docs/latest/html/users_guide/win32-dlls.htmldocumentation
page. In
ghc-6.6 the flag to build DLLs was --mk-dll (two leading minus signs), the
new one is -shared (one leading minus sign) but in the doc it's written
--shared
conv :: (a~b) = a - b
conv = id
is there any particular reason that '~' is the symbol for type equality
constraints? I would think '=' would be the obvious choice, (although
perhaps it is already over-used, and is normally asymmetric in Haskell!)?
Isaac
One of the smaller nits I noticed when looking at profiles generated
by 6.8.1 (using -prof -auto-all) is that class methods show up as cost
centers named something like $f5. I can look at the call stack and
figure out that $f5 is probably the call to a particular class method
in a particular
On Dec 4, 2007 10:45 PM, Ravi Nanavati [EMAIL PROTECTED] wrote:
One of the smaller nits I noticed when looking at profiles generated
by 6.8.1 (using -prof -auto-all) is that class methods show up as cost
centers named something like $f5. I can look at the call stack and
figure out that $f5 is
13 matches
Mail list logo