#2496: Invalid Eq/Ord instances in Data.Version
-------------------------------------+-------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 8.0.1
Component: Core Libraries | Version: 6.8.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s): Phab:D395
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by bgamari):
While cleaning up things for the 8.0 release I noticed a TODO in
`Data.Version` mentioning this ticket. My read of this discussion is that
the original plan was to remove `versionTags` (at least from the `Eq`
instance, if not the field itself) in GHC 7.12 (now 8.0). This has not yet
happened. It would be nice to have some guidance from the Core Libraries
Committee regarding what is slated to happen on this front in this
release.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2496#comment:25>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#9614: ghc --print-(gcc|ld)-linker-flags broken
-------------------------------------+-------------------------------------
Reporter: rwbarton | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.8.3
Keywords: | Operating System:
Architecture: Unknown/Multiple | Unknown/Multiple
Difficulty: Unknown | Type of failure:
Blocked By: | None/Unknown
Related Tickets: | Test Case:
| Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
{{{
rwbarton@morphism:~/ghc$ ghc --print-gcc-linker-flags
ghc: panic! (the 'impossible' happened)
(GHC version 7.8.3 for x86_64-unknown-linux):
Setting not found: "Gcc Linker flags"
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
rwbarton@morphism:~/ghc$ ghc --print-ld-linker-flags
ghc: panic! (the 'impossible' happened)
(GHC version 7.8.3 for x86_64-unknown-linux):
Setting not found: "Ld Linker flags"
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
In 2d2650bf65da3aede4e1c1ca4da623092b869dbe and subsequent commits
(between 7.6 and 7.8) these settings fields became "C compiler link flags"
and "ld flags". (I think, more or less.)
The real problem is that Cabal still looks for the settings fields "Gcc
Linker flags" and "Ld Linker flags". I guess this should be updated on the
Cabal side though. (They are empty on at least Linux x86_64, which I guess
is why nobody noticed before.)
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9614>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#11233: Improve optimisation of pattern synonym matching
-------------------------------------+-------------------------------------
Reporter: mpickering | Owner:
Type: task | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.10.3
Keywords: newcomer, | Operating System: Unknown/Multiple
PatternSynonyms |
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets: #11224
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
Currently GHC does a very poor job of optimising pattern matches which
include pattern synonyms.
It would be good to modify `sameGroup` in `compiler/deSugar/Match.hs` to
be a lot smarter about when it is safe to group two pattern matches
together.
Grouping was originally disabled as it is a bit trickier than originally
thought. See #11224 for details.
The rule was originally to group two pattern matches together `PgSyn p1`
and `PgSyn p2` when `p1 == p2`. This rule wasn't safe when `p1` had a
polymorphic return type and thus could have a different type on each
branch even though syntactically identical. A good solution to this ticket
would come up with a smarter rule about when it is and isn't safe to group
two together in the same spirit as the more complicated rules for view
patterns.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11233>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#11269: powerpc64le: Build fails in rts/Linker.c
-------------------------------------+-------------------------------------
Reporter: trommler | Owner: trommler
Type: bug | Status: new
Priority: normal | Milestone: 8.0.1
Component: Runtime | Version: 7.11
System (Linker) |
Keywords: | Operating System: Linux
Architecture: powerpc64 | Type of failure: Building GHC
| failed
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
Building HEAD:
{{{
rts/Linker.c: In function ‘do_Elf_Rel_relocations’:
rts/Linker.c:4978:23: error:
error: cast from pointer to integer of different size [-Werror
=pointer-to-int-cast]
Elf_Addr P = ((Elf_Addr)targ) + offset;
^
rts/Linker.c:4979:22: error:
error: cast to pointer from integer of different size [-Werror=int-
to-pointer-cast]
Elf_Word* pP = (Elf_Word*)P;
^
}}}
Fix coming.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11269>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#11299: T5435_gcc_v fails on ARM
-------------------------------------+-------------------------------------
Reporter: bgamari | Owner: bgamari
Type: bug | Status: new
Priority: normal | Milestone: 8.0.1
Component: Runtime | Version: 7.10.3
System |
Keywords: | Operating System: Unknown/Multiple
Architecture: arm | Type of failure: Runtime crash
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
The `rts/T5435_gcc_v` testcase fails on ARM. As far as I can tell there
are two principle failure modes: hanging and segmentation faulting.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11299>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#11289: T8628 fails on ARM
-------------------------------------+-------------------------------------
Reporter: bgamari | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 8.0.1
Component: Compiler | Version: 7.11
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: Incorrect result
Unknown/Multiple | at runtime
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
The `ghc-api/T8628` testcase fails on ARM with a runtime linker abort,
{{{
$ ./T8628 /mnt/work/arm/ghc/ghc-nightly/inplace/lib
T8628: internal error: checkProddableBlock: invalid fixup in runtime
linker: 0xb6238ce0
(GHC version 7.11.20151225 for arm_unknown_linux)
Please report this as a GHC bug:
http://www.haskell.org/ghc/reportabug
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11289>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#11294: T9430 fails on ARM
-------------------------------------+-------------------------------------
Reporter: bgamari | Owner: bgamari
Type: bug | Status: new
Priority: normal | Milestone: 8.0.1
Component: Compiler | Version: 7.10.3
(LLVM) |
Keywords: | Operating System: Linux
Architecture: arm | Type of failure: Incorrect result
| at runtime
Test Case: T9430 | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
The primops testcase for `timesWord2#` in `T9430` fails on ARM.
{{{
cd ./primops/should_run && ./T9430 </dev/null > T9430.run.stdout 2>
T9430.run.stderr
Wrong exit code (expected 0 , actual 1 )
Stdout:
Stderr:
T9430: Error for timesWord2# : Expected 1 and 0 but got 0 and 0
CallStack (from ImplicitParams):
error, called at T9430.hs:55:22 in main:Main
}}}
It looks like this is probably an LLVM code generator bug although I have
yet to confirm this.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11294>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#11257: GHCi: InfoTable.hs: Unknown architecture on powerpc64
---------------------------------+----------------------------------------
Reporter: trommler | Owner: trommler
Type: bug | Status: new
Priority: normal | Milestone: 8.0.1
Component: Compiler | Version: 7.11
Keywords: | Operating System: Linux
Architecture: powerpc64 | Type of failure: Building GHC failed
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
---------------------------------+----------------------------------------
Building HEAD I get the following on powerpc64:
{{{
InfoTable.hsc:80:2: error: #error Unknown architecture
InfoTable.hsc: In function ‘main’:
InfoTable.hsc:80:2: error: #error Unknown architecture
InfoTable.hsc:80:2: error: #error Unknown architecture
compiling libraries/ghci/dist-install/build/GHCi/InfoTable_hsc_make.c
failed (exit code 1)
}}}
I am working on a fix for powerpc64 and powerpc64le.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11257>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
