#7684: cgrun071 segfaults
----------------------------------+----------------------------------
Reporter: tibbe | Owner:
Type: bug | Status: merge
Priority: normal | Milestone: 7.8.1
Component: Compiler | Version: 7.7
Resolution: fixed | Keywords:
Operating System: MacOS X | Architecture: x86_64 (amd64)
Type of failure: Runtime crash | Difficulty: Unknown
Test Case: cgrun071 | Blocked By:
Blocking: | Related Tickets:
----------------------------------+----------------------------------
Comment (by simonmar):
So I think this fix is ok - it avoids the question of whether the ABI
requires the caller to sign/zero-extend or not. My suggestion to cast the
argument was based on the type of `hs_popcnt8` taking an `HsInt8`, but I
see that wasn't what you intended.
FWIW I think gcc probably should be zero-extending in the caller, not the
callee, for an 8-bit argument (i.e. gcc 4.2 is correct, 4.9 is wrong).
This is what we assume in GHC. I couldn't see anything about this in the
ABI spec, but there's a gcc bug open:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46942
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7684#comment:57>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#8765: Add --with-ar and --with-ranlib configure params.
------------------------------------+-------------------------------------
Reporter: kgardas | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Build System | Version: 7.6.3
Keywords: | Operating System: Unknown/Multiple
Architecture: Unknown/Multiple | Type of failure: None/Unknown
Difficulty: Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: |
------------------------------------+-------------------------------------
I've found that I usually miss --with-ar and/or --with-ranlib on Solaris
while building GHC. Attached patch fixes that.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8765>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#8600: ghc --help is outdated
------------------------------------+-------------------------------------
Reporter: Feuerbach | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Keywords: | Operating System: Unknown/Multiple
Architecture: Unknown/Multiple | Type of failure: None/Unknown
Difficulty: Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: |
------------------------------------+-------------------------------------
{{{
To compile and link a complete Haskell program, run the compiler like
so:
ghc --make Main
where the module Main is in a file named Main.hs (or Main.lhs) in the
current directory. The other modules in the program will be located
and compiled automatically, and the linked program will be placed in
the file `a.out' (or `Main.exe' on Windows).
}}}
First, --make is no longer necessary. Second, ghc doesn't create a.out on
Unix — instead, the file is named the same as the main module (Main in
that example).
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8600>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#8884: Reifying closed type families is broken
------------------------------------+-------------------------------------
Reporter: goldfire | Owner: goldfire
Type: bug | Status: new
Priority: normal | Milestone: 7.8.1
Component: Template Haskell | Version: 7.8.1-rc2
Keywords: | Operating System: Unknown/Multiple
Architecture: Unknown/Multiple | Type of failure: None/Unknown
Difficulty: Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: |
------------------------------------+-------------------------------------
If I say
{{{
{-# LANGUAGE TemplateHaskell, TypeFamilies, PolyKinds #-}
module Scratch where
import Language.Haskell.TH
type family Foo a where
Foo x = x
$( do FamilyI foo [] <- reify ''Foo
runIO $ putStrLn $ show foo
return [] )
}}}
and compile, I see (with uniques suppressed)
{{{
ClosedTypeFamilyD Scratch.Foo
[KindedTV a (VarT k)]
(Just (AppT (AppT ArrowT (VarT k)) (VarT k)))
[TySynEqn [VarT k,VarT x] (VarT x)]
}}}
There are two problems here:
1. The return kind (the third parameter to `ClosedTypeFamilyD`) should be
just that -- the return kind. In the output, we see the full kind of the
type family. `k -> k`.
2. The equation includes the kind variable `k`, which should be implicit.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8884>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#8738: msys2 fails cabal01 test
--------------------------+------------------------------------------------
Reporter: ezyang | Owner:
Type: bug | Status: new
Priority: low | Milestone:
Component: Test | Version: 7.8.1-rc1
Suite | Operating System: Windows
Keywords: | Type of failure: Incorrect result at runtime
Architecture: | Test Case: cabal01
Unknown/Multiple | Blocking:
Difficulty: |
Unknown |
Blocked By: |
Related Tickets: |
--------------------------+------------------------------------------------
msys2 with 64-bit GHC has an odd failure here:
{{{
=====> cabal01(normal) 81 of 3859 [0, 0, 0]
cd ./cabal/cabal01 && $MAKE -s --no-print-directory cabal01 VANILLA
=--enable-library-vanilla PROF=--disable-library-profiling DYN=--disable-
shared </dev/null >cabal01.run.stdout 2>cabal01.run.stderr
Actual stdout output differs from expected:
--- ./cabal/cabal01/cabal01.stdout-mingw32 2014-02-02
04:48:11.233000000 +0000
+++ ./cabal/cabal01/cabal01.run.stdout 2014-02-05 03:09:28.998400000
+0000
@@ -1,9 +1,9 @@
install1:
bin
-test-1.0
+x86_64-windows-ghc-7.9.20140205
install2:
bin
-test-1.0
+x86_64-windows-ghc-7.9.20140205
dist:
build
package.conf.inplace
}}}
This is because setup is selecting this directory as the location for the
installation:
{{{
/inplace/bin/ghc-pkg.exe' --package-
db=local.db'C:/msys64/home/Administrator/ghc
Configuring test-1.0...
Warning: No 'build-type' specified. If you do not need a custom Setup.hs
or
./configure script then use 'build-type: Simple'.
Dependency base >=1.0: using base-4.7.0.0
"C:/msys64/home/Administrator/ghc/inplace/bin/ghc-stage2.exe" "--info"
Using Cabal-1.18.1.3 compiled by ghc-7.9
Using compiler: ghc-7.9.20140205
Using install prefix:
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install
Binaries installed in:
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\bin
Libraries installed in:
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\x86_64
-windows-ghc-7.9.20140205\test-1.0
Private binaries installed in:
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\test-1.0
Data files installed in:
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\x86_64
-windows-ghc-7.9.20140205\test-1.0
Documentation installed in:
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\doc\x86_64
-windows-ghc-7.9.20140205\test-1.0
Configuration files installed in:
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\etc
Administrator@EZYANG-W2K8 ~/ghc/testsuite/tests/cabal/cabal01
$ ./setup.exe copy -v
directory dist\doc\html\test does exist: False
Installing library in
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\x86_64
-windows-ghc-7.9.20140205\test-1.0
Installing executable(s) in
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\bin
Warning: The directory
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\bin
is
not in the system search path.
creating
C:\msys64\home\Administrator\ghc\testsuite\tests\cabal\cabal01\install\x86_64
-windows-ghc-7.9.20140205\test-1.0
creating
C:\msys64\home\Administrator\ghc\testsuite\tests\cabal\cabal01\install\x86_64
-windows-ghc-7.9.20140205
creating
C:\msys64\home\Administrator\ghc\testsuite\tests\cabal\cabal01\install
creating
C:\msys64\home\Administrator\ghc\testsuite\tests\cabal\cabal01\install\x86_64
-windows-ghc-7.9.20140205
creating
C:\msys64\home\Administrator\ghc\testsuite\tests\cabal\cabal01\install\x86_64
-windows-ghc-7.9.20140205\test-1.0
creating
C:\msys64\home\Administrator\ghc\testsuite\tests\cabal\cabal01\install\x86_64
-windows-ghc-7.9.20140205\test-1.0\B
Installing dist\build\A.hi to
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\x86_64
-windows-ghc-7.9.20140205\test-1.0\A.hi
Installing dist\build\B\A.hi to
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\x86_64
-windows-ghc-7.9.20140205\test-1.0\B\A.hi
creating
C:\msys64\home\Administrator\ghc\testsuite\tests\cabal\cabal01\install\x86_64
-windows-ghc-7.9.20140205\test-1.0
Installing dist\build\libHStest-1.0.a to
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\x86_64
-windows-ghc-7.9.20140205\test-1.0\libHStest-1.0.a
creating
C:\msys64\home\Administrator\ghc\testsuite\tests\cabal\cabal01\install\x86_64
-windows-ghc-7.9.20140205\test-1.0
Installing dist\build\HStest-1.0.o to
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\x86_64
-windows-ghc-7.9.20140205\test-1.0\HStest-1.0.o
creating
C:\msys64\home\Administrator\ghc\testsuite\tests\cabal\cabal01\install\bin
Installing executable dist\build\testA\testA.exe to
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\bin\testA.exe
C:\msys64\ghc-7.6.3\mingw\bin\strip.exe
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\bin\testA.exe
creating
C:\msys64\home\Administrator\ghc\testsuite\tests\cabal\cabal01\install\bin
Installing executable dist\build\testB\testB.exe to
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\bin\testB.exe
C:\msys64\ghc-7.6.3\mingw\bin\strip.exe
C:/msys64/home/Administrator/ghc/testsuite/tests/cabal/cabal01/install\bin\testB.exe
}}}
Perhaps a cabal developer can stare at the relevant codepath and figure
out why this directory name is being selected?
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8738>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#7684: cgrun071 segfaults
----------------------------------+----------------------------------
Reporter: tibbe | Owner:
Type: bug | Status: infoneeded
Priority: normal | Milestone: 7.8.1
Component: Compiler | Version: 7.7
Resolution: | Keywords:
Operating System: MacOS X | Architecture: x86_64 (amd64)
Type of failure: Runtime crash | Difficulty: Unknown
Test Case: cgrun071 | Blocked By:
Blocking: | Related Tickets:
----------------------------------+----------------------------------
Comment (by tibbe):
I've applied rwbarton's patch, which means that we implement the semantics
I described above, just like I originally intended (and just like the
-msse4.2 version behaves).
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7684#comment:53>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
