Re: your mail
My original intentention was to report a bug with ghci. GHCi prints its welcome message to stdout instead of stderr. This makes it hard to use it in scripts :) On Tue, Dec 19, 2006 at 09:45:15AM +0100, mm wrote: I can not login to the GHC Trac with the login/password suggested at the homepage. Could someone please confirm that it is currently not working? ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1005: Add Logical Shift Operators
#1005: Add Logical Shift Operators +--- Reporter: [EMAIL PROTECTED] | Owner: Type: proposal| Status: closed Priority: normal | Milestone: Component: libraries/base |Version: 6.6 Severity: normal | Resolution: wontfix Keywords: | Difficulty: Unknown Testcase: | Architecture: Unknown Os: Unknown | +--- Changes (by ross): * resolution: = wontfix * status: new = closed Comment: Proposal seems abandoned, and may be unnecessary anyway. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1005 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: your mail
On 12/19/06, mm [EMAIL PROTECTED] wrote: My original intentention was to report a bug with ghci. GHCi prints its welcome message to stdout instead of stderr. This makes it hard to use it in scripts :) Disable it with -v0? -- Cheers, Lemmih ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: (no subject)
mm wrote: I can not login to the GHC Trac with the login/password suggested at the homepage. Could someone please confirm that it is currently not working? Someone changed the password for 'guest' :-( Now fixed. Cheers, Simon ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1039: Control.Monad.Identity documentation
#1039: Control.Monad.Identity documentation ---+ Reporter: guest | Owner: Type: proposal | Status: closed Priority: normal | Milestone: Component: libraries (other) |Version: 6.6 Severity: normal | Resolution: fixed Keywords: | Difficulty: Easy (1 hr) Testcase: | Architecture: Multiple Os: Multiple | ---+ Comment (by Andriy): Summary: there were no comments on this proposal. Ian, thanks for committing it. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1039 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #1060: GHC accepts program with incorrect layout
#1060: GHC accepts program with incorrect layout
--+-
Reporter: igloo | Owner:
Type: bug| Status: new
Priority: normal | Milestone: _|_
Component: Compiler (Parser) | Version: 6.6
Severity: normal |Keywords:
Difficulty: Unknown|Testcase: read027
Architecture: Unknown| Os: Unknown
--+-
GHC accepts this program:
{{{
f x = case x of
False - do
{ return x; }
}}}
but according to the Haskell report the implicit { opened by the `of`
should be closed before the explicit {.
The bug does on to say, in a comment:
{{{
Update: arguably this should be allowed. The fix to the Haskell
layout rule to allow it is simple: in Section 9.3 in the rules that
govern the introduction of the n and {n} psuedo-tokens, we need
to prevent n being inserted before {. This could be a simple
side-condition on the rule that introduces n.
}}}
I can't see a Haskell' ticket for this at first glance.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1060
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #1061: default class methods can be given too general a type as GHC tries to share them between instances
#1061: default class methods can be given too general a type as GHC tries to
share
them between instances
-+--
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: normal| Milestone: 6.8
Component: Compiler | Version: 6.6
Severity: normal|Keywords:
Difficulty: Unknown |Testcase: tc199
Architecture: Unknown | Os: Unknown
-+--
GHC does not accept this program:
{{{
class Baz v x where
foo :: x - x
foo y = y
instance Baz Int Int
}}}
even though it does accept this one:
{{{
class Baz v x where
foo :: x - x
foo y = y
instance Baz Int Int where
foo y = y
}}}
I can't find an explicit answer in the report, but I think both should be
accepted.
The bug says, in a comment,
{{{
This code defines a default method with a highly dubious type,
because 'v' is not mentioned, and there are no fundeps
However, arguably the instance declaration should be accepted,
beause it's equivalent to
instance Baz Int Int where { foo x = x }
which *does* typecheck
GHC does not actually macro-expand the instance decl. Instead, it
defines a default method function, thus
$dmfoo :: Baz v x = x - x
$dmfoo y = y
Notice that this is an ambiguous type: you can't call $dmfoo
without triggering an error. And when you write an instance decl,
it calls the default method:
instance Baz Int Int where foo = $dmfoo
I'd never thought of that. You might think that we should just
*infer* the type of the default method (here forall a. a-a), but
in the presence of higher rank types etc we can't necessarily do
that.
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1061
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #1062: Bad output from Text.PrettyPrint.HughesPJ
#1062: Bad output from Text.PrettyPrint.HughesPJ
---+
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: normal | Milestone: _|_
Component: libraries/base | Version: 6.6
Severity: normal |Keywords:
Difficulty: Unknown |Testcase: pp1
Architecture: Unknown | Os: Unknown
---+
This program:
{{{
import Text.PrettyPrint.HughesPJ
ncat x y = nest 4 $ cat [ x, y ]
d1 = foldl1 ncat $ take 50 $ repeat $ char 'a'
d2 = parens $ sep [ d1, text + , d1 ]
main = print d2
}}}
generates the output below. I haven't worked out what is expected, but
this certainly doesn't look right to me (in particular, the space before
the `a` on the third line of the output).
{{{
% runghc pp1.hs | tr ' ' _
(aa
+___a
_a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a)
}}}
The bug report goes on to say:
{{{
This code used to print an infinite string, by calling 'spaces'
with a negative argument. There's a patch in the library now,
which makes 'spaces' do somehthing sensible when called with a negative
argument, but it really should not happen at all.
This output is not what is expected, becuase the
test works now, by virtue of a hack in HughesPJ.spaces.
I'm leaving this strange output here to remind us to look
at the root cause of the problem. Sometime.
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1062
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #1063: hReady should probably return False at the end of a file
#1063: hReady should probably return False at the end of a file ---+ Reporter: igloo | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: libraries/base | Version: 6.6 Severity: normal |Keywords: Difficulty: Unknown |Testcase: hReady001 Architecture: Unknown | Os: Unknown ---+ hReady should probably return False at the end of a file, but in GHC it returns True. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1063 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
