Re: Build difficulties with HEAD

2009-01-10 Thread Ross Paterson
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.

Re: curiosity, bug, or just dead code?

2007-09-10 Thread Ross Paterson
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. T

Re: [GHC] #1110: Setting PATH needed in Windows Vista

2007-04-02 Thread Ross Paterson
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 alr

Re: Summary of GHC 6.6 test suite failures on MSYS/MinGW

2006-09-13 Thread Ross Paterson
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

Re: newtype and existentials

2005-11-18 Thread Ross Paterson
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 ne

[ 1213876 ] Xlib Types Not Instances of Anything

2005-07-06 Thread ross
> The types defined by newtype in Graphics.X11.Xlib.Types > are not instances of any type classes. Ptr, on the > other hand, which these types are synonyms for, is an > instance of Eq, Ord, Show, Typeable, Data, Storable, > and several other classes not relevant to the usage of > pointers in Graphi

Re: GPF WinXP GHCi 6.4

2005-03-15 Thread Ross Paterson
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 f

Re: GPF WinXP GHCi 6.4

2005-03-15 Thread Ross Paterson
ary is ready to replace the old one (Ross?). The System part seems to work OK, but On Fri, 11 Feb 2005 at 09:33:05 -, Simon Marlow wrote: > If I compile with -threaded, then the HelloWorld program pops up a > window, but the cursor is an hour glass and it doesn't do anything else. &

Re: {-# SPECIALIZE, IO vs ST s

2005-03-10 Thread Ross Paterson
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 6.4

Re: Bug in specialise

2004-12-09 Thread Ross Paterson
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] http://www.haskell.org/mailm

Re: Text.ParserCombinators.Parsec requires -package text.

2004-09-06 Thread Ross Paterson
On Mon, Sep 06, 2004 at 12:10:09PM +0200, George Russell wrote: > With >ghc ParsecTest.hs -o pt > you get a link-time failure, because it looks as if the base package > Text.ParserCombinators.Parsec depends somehow on the package "text". Try -package parsec

newtype of newtype

2004-03-15 Thread Ross Paterson
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]

Re: panic in arrow code "foo = returnA -< []"

2004-03-12 Thread Ross Paterson
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

Re: panic in arrow code "foo = returnA -< []"

2004-03-12 Thread Ross Paterson
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 -< ex

hello

2004-02-03 Thread ross
V6?Ü¿tx_¥—£²_Ü‘øÙ÷Èðu?hfIõV †y8MKb9çr¬]ƒ±k¾W!C>,E7ü "ÑìÈ~Æâݪ¸´¯áÂ0Ö'oÙÚ;ãb:`)&a9¦·»Ü\¶CD[ÑC?Ίƒ™8ıýD$†gLøð½pâŒ:¯gjÁ52¨Sç´EµT÷MEߧtªö—‰‡¨Ô…(ØÇ9†ß%,ðaÑ,}sÞ`Á­Á1s¬ÓÏï?Ò«³|_ýäâJ­Apƒ§>x¢´ðæßé¨-cÑ|&e‚!!:}çáy?œSꎃ8õ&y:ÀÈ÷¾Ië„4Œöwˆ5üIªB?˜W}˜ HòÞ{äàî;× ‰e#õûˆ¾‹ZÞ8ÀÔ-ÙeäÔšÔã“Áú1mseeaŠ/ïz_•Ç‡ìWK™P9¼‡Pƒ¿kÓ

Hello

2004-02-01 Thread ross
The message contains Unicode characters and has been sent as a binary attachment. <> ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

test

2004-02-01 Thread ross
The message cannot be represented in 7-bit ASCII encoding and has been sent as a binary attachment. <> ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: peekCString stack overflow

2003-10-01 Thread Ross Paterson
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 >

Re: GHC rejects empty case

2003-03-31 Thread Ross Paterson
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] > |

Re: [HOpenGL] Re: GLUT copyright violation

2003-03-23 Thread Ross Paterson
There may be a way out of this mess without inventing convenient legal theories. The text you've used is also spread across the manpages included in the glut tarball. Assuming that makes the manpages part of libglut, they would be covered by the permission Michael Weber mentioned: http:/

Re: [HOpenGL] Re: GLUT copyright violation

2003-03-21 Thread Ross Paterson
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 &

Re: GLUT copyright violation

2003-03-21 Thread Ross Paterson
On Fri, Mar 21, 2003 at 09:25:00AM +0100, Sven Panne wrote: > * I do not claim that the documentation of my GLUT binding is written > from scratch and therefore I have included a reference to Mark's > original work at a prominent place. That is a delicate way of putting it. It appears that yo

GLUT copyright violation

2003-03-20 Thread Ross Paterson
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

Re: floating point literals

2003-03-17 Thread Ross Paterson
On Mon, Mar 17, 2003 at 10:33:47AM +, Ross Paterson wrote: > GHC doesn't recognize literals like 9e2, and nor does lex. Correction: GHC doesn't recognize 9e2 lex is confused by 0xy, 0oy, 9e+y and 9.0e+y ___ Glasgow-haskell-bugs mailin

floating point literals

2003-03-17 Thread Ross Paterson
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

foreign import label with polymorphic type

2003-01-23 Thread Ross Paterson
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] http://www.haskell.org/mailman/listinfo/glasgow-ha

Re: spurious export conflict

2003-01-06 Thread Ross Paterson
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

spurious export conflict

2003-01-06 Thread Ross Paterson
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

mkIOError

2002-12-13 Thread Ross Paterson
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. ___

Re: import ambiguity

2002-10-24 Thread Ross Paterson
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

Re: Haskell 98

2002-09-25 Thread Ross Paterson
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

Re: bug in fptools/libraries/haskell-src/Language/Haskell/Pretty.hs

2002-07-19 Thread Ross Paterson
Bernard James POPE <[EMAIL PROTECTED]> writes: > When pretty printing this haskell code: > >case x of > -1 -> x > > The pretty printer in PPSemiColon mode produces something like: > >case x of > {- 1 > > thus making a false comment, due to the brace crashing into the > negativ

Re: Underscores in qualified names in HsParser

2002-07-15 Thread Ross Paterson
Anders Lau Olsen <[EMAIL PROTECTED]> writes: > HsParser is confused by the combination of qualified names and > identifiers starting with underscores. For example: > > module M where > > _f _ _ = 0 > > x = 0 `M._f` 0 -- parse error at '.' > > y = M._f 0 0 -- parses as M . (_f 0

Re: scoped type variables in instance?

2002-04-23 Thread Ross Paterson
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,

Re: scoped type variables in instance?

2002-04-22 Thread Ross Paterson
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.

scoped type variables in instance?

2002-04-15 Thread Ross Paterson
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 t

constraints inside classes

2002-02-22 Thread Ross Paterson
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

Re: type of stToIO

2000-10-06 Thread Ross Paterson
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 Rea

Re: FW: type of stToIO

2000-10-06 Thread Ross Paterson
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 com

Re: type of stToIO

2000-10-05 Thread Ross Paterson
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 | |

Re: type of stToIO

2000-10-04 Thread Ross Paterson
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 -

type of stToIO

2000-10-04 Thread Ross Paterson
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.

rewrite rules diagnostics

2000-04-19 Thread Ross Paterson
(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. Cou