On Fri, Jan 09, 2009 at 09:33:09PM -0800, Conal Elliott wrote:
I was also unable to build from the HEAD darcs repo. after sh boot, and ./
configure, make aborts with installPackage: You need to re-run the
'configure' command. The version of Cabal being used has changed (was
Cabal-1.6.0.1, now
On Tue, Sep 11, 2007 at 12:02:26AM +0100, Claus Reinke wrote:
consider this module, which is accepted by ghci-6.6.1:
module T where
import qualified Prelude as T(length)
import Prelude(length)
length = 0
All the GHC behaviour described above follows the Haskell 98 Report.
This
On Mon, Apr 02, 2007 at 10:48:11AM -, GHC wrote:
[http://www.makegamegold.com World Of Warcraftwow
gold][http://www.makegamegold.com/default.asp?cateid=6 wow
gold][http://www.makegamegold.com/default.asp?cateid=6 gold wow
So the ticket spammers have arrived at the GHC trac (having
On Wed, Sep 13, 2006 at 12:23:27PM -0500, Brian Smith wrote:
Here are the tests that are failing:
make stage=2 TESTS=TH_exn TH_fail cabal01 cabal02 conc023 conc037 conc049
conc056 ffi012 ghcpkg04 maessen_hashtab readwrite002 tcfail115 tcfail140
utf8_002 utf8_003 utf8_004 utf8_005
The
On Fri, Nov 18, 2005 at 01:31:46PM -, Simon Peyton-Jones wrote:
yes. a newtype declares a new type isomorphic to an existing type.
newtype T = MkT S
declares T to be isomorphic to S.
There is no existing Haskell type isomorphic to your Dynamic.
In concrete terms, the newtype
On Tue, Mar 15, 2005 at 10:47:07AM -, Simon Marlow wrote:
This is caused by a clash between the new Win32 package and the old
win32 package. The Windows installer contains both, but unfortunately
they clash on the name of the libraries.
I think the new Win32 library is ready to replace
On Tue, Mar 15, 2005 at 11:37:48AM -, Simon Marlow wrote:
We need a quick solution for 6.4. Should the new Win32 library be
removed, and presumably HGL too? They can come back in 6.4.1 or as
Cabal packages.
Removing them both would be the quick solution, though HGL should be
retained for
On Thu, Mar 10, 2005 at 02:18:59PM +0100, Remi Turk wrote:
first of all, I'm not sure whether this is actually a bug-report
or a feature-request.
The three line summary is that in the following program, no
specialized version for ST s is created by at least 6.2.1,
6.4.20050304, and
Is there any hope for the glitch in
http://www.haskell.org//pipermail/glasgow-haskell-users/2004-June/006874.html ?
I have an application that would benefit from a fix.
___
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
The following little module:
module Bug where
newtype Foo = Foo [Foo]
newtype Bar = Bar Foo
unBar :: Bar - Foo
unBar (Bar x) = x
fails core-lint in both 6.2 and the HEAD:
*** Core Lint Errors: in result of Desugar ***
Bug.hs:7:
[RHS of x :: Bug.Foo]
On Fri, Mar 12, 2004 at 01:30:58PM -0500, Isaac Jones wrote:
The following malformed code causes a panic in ghc 6.2, and some folks
on IRC tried it in various CVS snapshots, where it also breaks.
module Main where
import Control.Arrow
foo = returnA - []
It's not legal to use - except
On Fri, Mar 12, 2004 at 02:42:15PM -0500, Isaac Jones wrote:
On Fri, 2004-03-12 at 13:47, Ross Paterson wrote:
On Fri, Mar 12, 2004 at 01:30:58PM -0500, Isaac Jones wrote:
The following malformed code causes a panic in ghc 6.2, and some folks
on IRC tried it in various CVS snapshots
On Wed, Oct 01, 2003 at 05:34:47PM +0100, Alastair Reid wrote:
Yes, I've run into this before. In fact this is one of those tricky
problems where you can't quite get tail-recursion where you want it:
(pseudo-ish code follows)
peekCString ptr = do
x - peek ptr
if x ==
On Sun, Mar 30, 2003 at 08:38:42PM +0300, Lauri Alanko wrote:
The H98 report says:
exp - case exp of { alts }
alts - alt1 ; ... ; altn (n=1)
alt - pat - exp [where decls]
| pat gdpat [where decls]
|
On Fri, Mar 21, 2003 at 04:52:29PM +0100, Sven Panne wrote:
Ross Paterson wrote:
That is a delicate way of putting it. It appears that you've used almost
all of his text.
... as a basis. And that's exactly what should be expected for a library
binding: Either you follow the initial specs
The Haddock documentation embedded in the GLUT package is derived from
The OpenGL Utility Toolkit (GLUT) Programming Interface API version 3:
http://www.opengl.org/developers/documentation/glut/spec3/spec3.html
http://www.opengl.org/developers/documentation/glut/glut-3.spec.ps.gz
GHC doesn't recognize literals like 9e2, and nor does lex.
___
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
GHC (5.04 and CVS) rejects the following, saying Unacceptable type:
foreign import ccall unsafe stdlib.h free pFree :: FunPtr (Ptr a - IO ())
___
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
GHC reports an export conflict on the following:
module M where
import List as M
sort = foo
___
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
On Mon, Jan 06, 2003 at 05:36:47PM -, Simon Peyton-Jones wrote:
| GHC reports an export conflict on the following:
|
| module M where
| import List as M
| sort = foo
It's not spurious. Both
M.sort
and
Data.List.sort
are in scope under both names:
According to the FFI spec, this should have type
IOErrorType - String - Maybe FilePath - Maybe Handle - IOError
but System.IO.Error has the last two arguments in the other order.
I think the spec is right, because that matches the order for
annotateIOError.
On Wed, Oct 23, 2002 at 01:14:37PM -0400, Dean Herington wrote:
With the program:
import Exception
main = let catch = Prelude.catch in catch (print ok) print
hugs 98 version 20021021 gives:
[...]
Dependency analysis
ERROR ImportAmbiguity.hs:2 - Ambiguous variable occurrence catch
***
On Wed, Sep 25, 2002 at 12:34:53PM +0100, Simon Peyton-Jones wrote:
I spoke too soon. Consider
data F = F Int !Int
data S = S { x::Int, y::!Int }
According to the words above
F {} is illegal
but what about this one?
S {}
I think the sentence in question (end of 3.15.2)
I wrote:
| OK, I see this was intentional:
|
| The type variables in the head of a class or instance
| declaration scope over the methods defined in the where part.
|
| But both provisions cause Haskell 98 modules to be rejected,
| even without -fglasgow-exts.
On Mon, Apr 22,
OK, I see this was intentional:
The type variables in the head of a class or instance declaration
scope over the methods defined in the where part.
But both provisions cause Haskell 98 modules to be rejected, even
without -fglasgow-exts.
GHC (even without -fglasgow-exts) rejects the following:
newtype Foo a = Foo a
instance Eq a = Eq (Foo a) where
Foo x == Foo y = bar
where bar :: a
bar = undefined
It seems to treat the inner a as bound
Hugs and GHC (but not NHC) erroneously accept the following:
class Foo a where
f :: Eq a = a - Bool
___
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
On Fri, Oct 06, 2000 at 02:15:17AM -0700, Simon Peyton-Jones wrote:
: Your example below isn't very compelling (i.e. I wouldn't mind
: losing the expressive power you exploit). And something in me
: dislikes the idea of exposing RealWorld as a type to the programmer.
I guess my example isn't
On Fri, Oct 06, 2000 at 02:56:52AM -0700, Simon Marlow wrote:
GHC's stToIO currently has a different meaning: it embeds the ST
computation into the I/O monad, using the fact that IO is an instance
of ST. Or in other words, IO is just one distinguished state thread,
which we're calling
On Thu, Oct 05, 2000 at 09:25:18AM -0700, Simon Peyton-Jones wrote:
| | The library documentation says
| |
| | stToIO :: ST s a - IO a
| |
| | but PrelIOBase says
| |
| | stToIO :: ST RealWorld a - IO a
| |
| | The documented type would be unsafe (as it is in Classic Hugs), so it
| |
The library documentation says
stToIO :: ST s a - IO a
but PrelIOBase says
stToIO :: ST RealWorld a - IO a
The documented type would be unsafe (as it is in Classic Hugs), so it
seems necessary to mention the real world in the documentation.
On Wed, Oct 04, 2000 at 01:05:10PM +0200, Marcin 'Qrczak' Kowalczyk wrote:
: On Wed, 4 Oct 2000, Ross Paterson wrote:
:
: The library documentation says
:
: stToIO :: ST s a - IO a
:
: but PrelIOBase says
:
: stToIO :: ST RealWorld a - IO a
:
: AFAIR it's a different stToIO
(Rewrite rules are very nice, by the way.)
The User's Guide says:
* Use -ddump-simpl-stats to see what rules are being fired.
If you add -dppr-debug you get a more detailed listing.
but this only happens if the preprocessor symbol DEBUG is defined
in simplCore/SimplMonad.lhs.
33 matches
Mail list logo
