Re: [GHC] #2719: urk! lookup local fingerprint with -O and TemplateHaskell
#2719: urk! lookup local fingerprint with -O and TemplateHaskell --+- Reporter: ganesh| Owner: Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 6.10.1 Severity: normal| Resolution: duplicate Keywords:| Difficulty: Unknown Testcase:| Architecture: x86 Os: Windows | --+- Changes (by simonmar): * status: new = closed * difficulty: = Unknown * resolution: = duplicate Comment: Duplicate of #2685, which should be fixed in recent snapshots. Thanks for the report! -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2719#comment:1 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: [GHC] #485: AdjustorAsm.S doesn't build on AIX
#485: AdjustorAsm.S doesn't build on AIX --+- Reporter: jgoerzen | Owner: nobody Type: bug | Status: assigned Priority: low | Milestone: _|_ Component: Compiler |Version: 6.4.1 Severity: normal| Resolution: None Keywords:| Difficulty: Unknown Testcase: N/A | Architecture: Unknown/Multiple Os: AIX | --+- Changes (by CBa): * cc: [EMAIL PROTECTED] (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/485#comment:7 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: [GHC] #485: AdjustorAsm.S doesn't build on AIX
#485: AdjustorAsm.S doesn't build on AIX --+- Reporter: jgoerzen | Owner: nobody Type: bug | Status: assigned Priority: low | Milestone: _|_ Component: Compiler |Version: 6.4.1 Severity: normal| Resolution: None Keywords:| Difficulty: Unknown Testcase: N/A | Architecture: Unknown/Multiple Os: AIX | --+- Comment (by CBa): thanks wolfgang for the recipe. I compared AdjustorAsm.S with an assembler file from OCaml. And here are the indrigients for the recipe: .text = .csect .text[PR] adjustorCode: = .adjustorCode subf = subfc b 2f = b L..2 1:= L..1: 2:= L..2: bdnz 1b = bdnz L..1 Then the compilation works. I'm uncertain, how to do the ifdefs so, that Audrey Tang isn't affected... -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/485#comment:8 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: [GHC] #2668: Standalone deriving doesn't do newtype deriving properly
#2668: Standalone deriving doesn't do newtype deriving properly
--+-
Reporter: ryani | Owner: igloo
Type: merge | Status: new
Priority: normal| Milestone: 6.10.1
Component: Compiler |Version: 6.11
Severity: normal| Resolution:
Keywords:| Difficulty: Unknown
Testcase:| Architecture: Unknown/Multiple
Os: Unknown/Multiple |
--+-
Changes (by simonpj):
* owner: = igloo
* type: bug = merge
Comment:
Fixed by
{{{
Tue Oct 21 07:29:22 PDT 2008 [EMAIL PROTECTED]
* Fix Trac #2668, and refactor TcDeriv
}}}
Pls merge
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2668#comment:5
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: [GHC] #2714: No match in record selector Var.tcTyVarDetails
#2714: No match in record selector Var.tcTyVarDetails
--+-
Reporter: morrow| Owner: merge
Type: merge | Status: new
Priority: normal| Milestone:
Component: Compiler (Type checker) |Version: 6.10.1
Severity: normal| Resolution:
Keywords: Var, tcTyVarDetails, record selector | Difficulty: Unknown
Testcase:| Architecture:
Unknown/Multiple
Os: Unknown/Multiple |
--+-
Changes (by simonpj):
* owner: = merge
* difficulty: = Unknown
* type: bug = merge
Comment:
Thanks for the report. It's a small bug in the new code that deals with
impredicativity. Fixed by
{{{
Wed Oct 22 15:51:38 GMT Daylight Time 2008 [EMAIL PROTECTED]
* Fix Trac #2714 (a minor wibble)
}}}
Simon
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2714#comment:3
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] #2722: loop when compiling with -O option with ghc-6.10.0.20081019
#2722: loop when compiling with -O option with ghc-6.10.0.20081019
--+-
Reporter: uwe| Owner:
Type: bug| Status: new
Priority: normal | Component: Compiler
Version: 6.10.1 |Severity: normal
Keywords: Optimization Loop |Testcase:
Architecture: x86| Os: Linux
--+-
When trying to compile HXT with ghc-6.10 rc1 all examples,
even the simplest ones give the following result. Here is an example:
{{{
[EMAIL PROTECTED]:~/haskell/hxt-ghc10/examples/arrows/hparser ./HXmlParser
example1.xml
HXmlParser: loop
}}}
this only occurs, when compiling with -O (or -O2). When
compiling whithout any optimizaions, the programs run as
expected
Here is a more complete log of one example
The running example without -O
{{{
[EMAIL PROTECTED]:~/haskell/hxt-ghc10/examples/arrows/hparser ghc --version
The Glorious Glasgow Haskell Compilation System, version 6.10.0.20081019
[EMAIL PROTECTED]:~/haskell/hxt-ghc10/examples/arrows/hparser ghc-pkg list
/home/theo/lib/ghc-6.10.0.20081019/./package.conf:
Cabal-1.6.0.1, HUnit-1.2.0.2, QuickCheck-1.2.0.0, array-0.2.0.0,
base-3.0.3.0, base-4.0.0.0, bytestring-0.9.1.4, containers-0.2.0.0,
curl-1.3.2.1, directory-1.0.0.2, (dph-base-0.3), (dph-par-0.3),
(dph-prim-interface-0.3), (dph-prim-par-0.3), (dph-prim-seq-0.3),
(dph-seq-0.3), filepath-1.1.0.1, (ghc-6.10.0.20081019),
ghc-prim-0.1.0.0, haddock-2.2.2, haskell-src-1.0.1.3,
haskell98-1.0.1.0, hpc-0.5.0.2, html-1.0.1.2, hxt-8.2.0,
integer-0.1.0.0, mtl-1.1.0.2, network-2.2.0.0, old-locale-1.0.0.1,
old-time-1.0.0.1, packedstring-0.1.0.1, parallel-1.0.0.1,
parsec-2.1.0.1, pretty-1.0.1.0, process-1.0.1.0, random-1.0.0.1,
regex-base-0.72.0.2, regex-compat-0.71.0.1, regex-posix-0.72.0.3,
rts-1.0, stm-2.1.1.1, syb-0.1.0.0, tagsoup-0.6,
template-haskell-2.3.0.0, time-1.1.2.2, unix-2.3.1.0,
xhtml-3000.2.0.1
[EMAIL PROTECTED]:~/haskell/hxt-ghc10/examples/arrows/hparser find
../../../src
-name '*.hi' | xargs rm -f
[EMAIL PROTECTED]:~/haskell/hxt-ghc10/examples/arrows/hparser make local
GHCFLAGS=-Wall
ghc --make -o ./HXmlParser -Wall -fglasgow-exts -ignore-package hxt
-i../../../src ./HXmlParser.hs
[ 1 of 112] Compiling Text.XML.HXT.XPath.XPathKeywords (
../../../src/Text/XML/HXT/XPath/XPathKeywords.hs,
../../../src/Text/XML/HXT/XPath/XPathKeywords.o )
[ 2 of 112] Compiling Text.XML.HXT.IO.GetFILE (
../../../src/Text/XML/HXT/IO/GetFILE.hs,
../../../src/Text/XML/HXT/IO/GetFILE.o )
[ 3 of 112] Compiling Text.XML.HXT.DTDValidation.RE (
../../../src/Text/XML/HXT/DTDValidation/RE.hs,
../../../src/Text/XML/HXT/DTDValidation/RE.o )
...
[111 of 112] Compiling Text.XML.HXT.Arrow (
../../../src/Text/XML/HXT/Arrow.hs, ../../../src/Text/XML/HXT/Arrow.o )
[112 of 112] Compiling Main ( HXmlParser.hs, HXmlParser.o )
Linking ./HXmlParser ...
[EMAIL PROTECTED]:~/haskell/hxt-ghc10/examples/arrows/hparser ./HXmlParser
example1.xml
?xml version=1.0 encoding=UTF-8?
?pi value=a processing instruction?a att1=test äöüß test
att2=root
b btt2=b1 btt3=root/
cühello world äöüß test/cü
/a
}}}
The same with -O
{{{
[EMAIL PROTECTED]:~/haskell/hxt-ghc10/examples/arrows/hparser
[EMAIL PROTECTED]:~/haskell/hxt-ghc10/examples/arrows/hparser find
../../../src
-name '*.hi' | xargs rm -f
[EMAIL PROTECTED]:~/haskell/hxt-ghc10/examples/arrows/hparser make clean
rm -f ./HXmlParser *.o *.hi
[EMAIL PROTECTED]:~/haskell/hxt-ghc10/examples/arrows/hparser make local
GHCFLAGS=-Wall -O
ghc --make -o ./HXmlParser -Wall -O -fglasgow-exts -ignore-package hxt
-i../../../src ./HXmlParser.hs
[ 1 of 112] Compiling Text.XML.HXT.XPath.XPathKeywords (
../../../src/Text/XML/HXT/XPath/XPathKeywords.hs,
../../../src/Text/XML/HXT/XPath/XPathKeywords.o )
[ 2 of 112] Compiling Text.XML.HXT.IO.GetFILE (
../../../src/Text/XML/HXT/IO/GetFILE.hs,
../../../src/Text/XML/HXT/IO/GetFILE.o )
[ 3 of 112] Compiling Text.XML.HXT.DTDValidation.RE (
../../../src/Text/XML/HXT/DTDValidation/RE.hs,
../../../src/Text/XML/HXT/DTDValidation/RE.o )
[ 4 of 112] Compiling Text.XML.HXT.RelaxNG.Unicode.Blocks (
../../../src/Text/XML/HXT/RelaxNG/Unicode/Blocks.hs,
../../../src/Text/XML/HXT/RelaxNG/Unicode/Blocks.o )
...
[111 of 112] Compiling Text.XML.HXT.Arrow (
../../../src/Text/XML/HXT/Arrow.hs, ../../../src/Text/XML/HXT/Arrow.o )
[112 of 112] Compiling Main ( HXmlParser.hs, HXmlParser.o )
Linking ./HXmlParser ...
[EMAIL PROTECTED]:~/haskell/hxt-ghc10/examples/arrows/hparser ./HXmlParser
example1.xml
HXmlParser: loop
}}}
The only difference is the -O.
My guess is, that there could be problems with
the overloaded version of id and . (function
Re: [GHC] #2713: Fixities interact badly with TH under GHC 6.10.1 20081007
#2713: Fixities interact badly with TH under GHC 6.10.1 20081007
--+-
Reporter: BenMoseley| Owner:
Type: bug | Status: new
Priority: normal| Milestone:
Component: Template Haskell |Version: 6.10.1
Severity: normal| Resolution:
Keywords:| Difficulty: Unknown
Testcase:| Architecture: Unknown/Multiple
Os: Unknown/Multiple |
--+-
Changes (by simonpj):
* difficulty: = Unknown
Comment:
Hmm. I'm not sure what 'worked fine' means. I think that with the
declaration splice un-commented, GHC should probably report an error
Fixity declaration without accompanying definition or something.
Remember that GHC renames and typechecks all the code up to and including
the first declaration splice; then runs the splice, and then renames and
typechecks the result of the splice, plus all the code that follows up to
and including the next splice. (Reason: the first splice might bring new
stuff into scope that is needed to make sense of the stuff that follows
the splice.)
To be concrete, what would you expect to happen here?
{{{
module Fixity where
class MyClass a where
(.*.) :: a - a - a
main = putStrLn hi
$(f (1 .*. 2 * 3) )
infixr 3 .*.
}}}
That is, what fixity does `(.*.)` have in the code for the decl splice?
Remember, at this point GHC hasn't seen the declarations below.
I don't like the idea that an operator might have different fixities in
different parts of the code.
So I assert that the bug is that you don't get an error message, not that
the fixity is omitted from the interface file. I'll add that error check
-- but first I want to check that this makes sense to you.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2713#comment:1
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: [GHC] #2713: Fixities interact badly with TH under GHC 6.10.1 20081007
#2713: Fixities interact badly with TH under GHC 6.10.1 20081007 --+- Reporter: BenMoseley| Owner: Type: bug | Status: new Priority: normal| Milestone: Component: Template Haskell |Version: 6.10.1 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Architecture: Unknown/Multiple Os: Unknown/Multiple | --+- Comment (by BenMoseley): I see - I guess that makes sense. In the original code (which I don't have access to right now) I'm pretty sure the splice was separating the infixr from the class definition ... so I guess it should really never have compiled. (By worked fine I mean that the module compiled cleanly and that the resulting .hi file did include the infixr 3 specification so that other parts of the code - which required that fixity specification to compile successfully - had no problem). Incidentally, I worked around this issue by relocating the fixity declaration - which sounds like the correct thing to do anyway given your explanation. I agree that an error message sounds like the right fix. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2713#comment:2 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
