February 2013 - ghc-tickets

[GHC] #7686: --with-libffi-header=<value> is not propagated to compiler/ghci/LibFFI.hsc compilation
by GHC 07 Apr '13

07 Apr '13

#7686: --with-libffi-header=<value> is not propagated to compiler/ghci/LibFFI.hsc compilation --------------------------------+------------------------------------------- Reporter: kgardas | Owner: Type: bug | Status: new Priority: normal | Component: Build System Version: 7.7 | Keywords: Os: Solaris | Architecture: x86 Failure: Building GHC failed | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- While experimenting with GHC HEAD compilation on Solaris 11 using system provided libffi I've noticed that actual value of configure parameter --with-libffi-includes is not propagated to compilation of compiler/ghci/LibFFI.hsc file. For example on Solaris 11 I'm configuring with this: {{{ ./configure --with-gmp-includes=/usr/include/gmp/ --with-system-libffi --with-ffi-includes=/usr/lib/libffi-3.0.9/include/ --with- nm=/usr/gnu/bin/nm }}} and the build fails with: {{{ "inplace/bin/hsc2hs" --cc=/usr/bin/gcc --ld=/usr/bin/gcc --cross-safe --cflag=-fno-stack-protector -I/usr/include/gmp/ --cflag=-D__GLASGOW_HASKELL__=707 --cflag=-Di386_HOST_ARCH=1 --cflag=-Dsolaris2_HOST_OS=1 '--cflag=-fno-stack-protector' '-- cflag=-Icompiler/../rts/dist/build' '--cflag=-Icompiler/stage2' '-- cflag=-Icompiler/.' '--cflag=-Icompiler/parser' '--cflag=-Icompiler/utils' '--cflag=-DGHCI' '--cflag=-I/export/home/karel/vcs/ghc-src/ghc- head/libraries/process/include' '--cflag=-I/export/home/karel/vcs/ghc-src /ghc-head/libraries/directory/include' '--cflag=-I/export/home/karel/vcs /ghc-src/ghc-head/libraries/unix/include' '-- cflag=-I/export/home/karel/vcs/ghc-src/ghc-head/libraries/time/include' ' --cflag=-I/export/home/karel/vcs/ghc-src/ghc- head/libraries/containers/include' '--cflag=-I/export/home/karel/vcs/ghc- src/ghc-head/libraries/bytestring/include' '-- cflag=-I/export/home/karel/vcs/ghc-src/ghc-head/libraries/array/include' ' --cflag=-I/export/home/karel/vcs/ghc-src/ghc-head/libraries/base/include' '--cflag=-I/usr/include/gmp/' '--cflag=-I/export/home/karel/vcs/ghc-src /ghc-head/rts/dist/build' '--cflag=-I/export/home/karel/vcs/ghc-src/ghc- head/includes' '--cflag=-I/export/home/karel/vcs/ghc-src/ghc-head/includes /dist-derivedconstants/header' '--lflag=-L/export/home/karel/vcs/ghc-src /ghc-head/libraries/transformers/dist-install/build' '-- lflag=-L/export/home/karel/vcs/ghc-src/ghc-head/libraries/template-haskell /dist-install/build' '--lflag=-L/export/home/karel/vcs/ghc-src/ghc- head/libraries/hpc/dist-install/build' '--lflag=-L/export/home/karel/vcs /ghc-src/ghc-head/libraries/hoopl/dist-install/build' '-- lflag=-L/export/home/karel/vcs/ghc-src/ghc-head/libraries/bin-package-db /dist-install/build' '--lflag=-L/export/home/karel/vcs/ghc-src/ghc- head/libraries/binary/dist-install/build' '-- lflag=-L/export/home/karel/vcs/ghc-src/ghc-head/libraries/Cabal/Cabal /dist-install/build' '--lflag=-L/export/home/karel/vcs/ghc-src/ghc- head/libraries/process/dist-install/build' '-- lflag=-L/export/home/karel/vcs/ghc-src/ghc-head/libraries/pretty/dist- install/build' '--lflag=-L/export/home/karel/vcs/ghc-src/ghc- head/libraries/directory/dist-install/build' '-- lflag=-L/export/home/karel/vcs/ghc-src/ghc-head/libraries/unix/dist- install/build' '--lflag=-L/export/home/karel/vcs/ghc-src/ghc- head/libraries/time/dist-install/build' '--lflag=-L/export/home/karel/vcs /ghc-src/ghc-head/libraries/old-locale/dist-install/build' '-- lflag=-L/export/home/karel/vcs/ghc-src/ghc-head/libraries/filepath/dist- install/build' '--lflag=-L/export/home/karel/vcs/ghc-src/ghc- head/libraries/containers/dist-install/build' '-- lflag=-L/export/home/karel/vcs/ghc-src/ghc-head/libraries/bytestring/dist- install/build' '--lflag=-L/export/home/karel/vcs/ghc-src/ghc- head/libraries/deepseq/dist-install/build' '-- lflag=-L/export/home/karel/vcs/ghc-src/ghc-head/libraries/array/dist- install/build' '--lflag=-L/export/home/karel/vcs/ghc-src/ghc- head/libraries/base/dist-install/build' '--lflag=-L/export/home/karel/vcs /ghc-src/ghc-head/libraries/integer-gmp/dist-install/build' '-- lflag=-L/export/home/karel/vcs/ghc-src/ghc-head/libraries/ghc-prim/dist- install/build' '--lflag=-L/export/home/karel/vcs/ghc-src/ghc- head/rts/dist/build' '--lflag=-lrt' '--lflag=-ldl' '--lflag=-lgmp' '-- lflag=-lm' '--lflag=-lrt' '--lflag=-ldl' '--lflag=-lffi' --cflag=-Icompiler/stage2/build/autogen --cflag=-include --cflag=compiler/stage2/build/autogen/cabal_macros.h compiler/ghci/LibFFI.hsc -o compiler/stage2/build/LibFFI.hs LibFFI.hsc:9:17: fatal error: ffi.h: No such file or directory compilation terminated. compiling compiler/stage2/build/LibFFI_hsc_make.c failed (exit code 1) command was: /usr/bin/gcc -c compiler/stage2/build/LibFFI_hsc_make.c -o compiler/stage2/build/LibFFI_hsc_make.o -fno-stack-protector -I/export/home/karel/vcs/ghc-src/ghc-head/includes -fno-stack-protector -I/usr/include/gmp/ -D__GLASGOW_HASKELL__=707 -Di386_HOST_ARCH=1 -Dsolaris2_HOST_OS=1 -fno-stack-protector -Icompiler/../rts/dist/build -Icompiler/stage2 -Icompiler/. -Icompiler/parser -Icompiler/utils -DGHCI -I/export/home/karel/vcs/ghc-src/ghc-head/libraries/process/include -I/export/home/karel/vcs/ghc-src/ghc-head/libraries/directory/include -I/export/home/karel/vcs/ghc-src/ghc-head/libraries/unix/include -I/export/home/karel/vcs/ghc-src/ghc-head/libraries/time/include -I/export/home/karel/vcs/ghc-src/ghc-head/libraries/containers/include -I/export/home/karel/vcs/ghc-src/ghc-head/libraries/bytestring/include -I/export/home/karel/vcs/ghc-src/ghc-head/libraries/array/include -I/export/home/karel/vcs/ghc-src/ghc-head/libraries/base/include -I/usr/include/gmp/ -I/export/home/karel/vcs/ghc-src/ghc- head/rts/dist/build -I/export/home/karel/vcs/ghc-src/ghc-head/includes -I/export/home/karel/vcs/ghc-src/ghc-head/includes/dist- derivedconstants/header -Icompiler/stage2/build/autogen -include compiler/stage2/build/autogen/cabal_macros.h -I/export/home/karel/vcs/ghc- src/ghc-head/inplace/lib/include/ gmake[1]: *** [compiler/stage2/build/LibFFI.hs] Error 1 gmake: *** [all] Error 2 }}} when I add appropriate --cflag=-I/usr/lib/libffi-3.0.9/include/ to the hsc2hs command line compilation went fine. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7686> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #7589: LLVM 3.2 Support
by GHC 03 Apr '13

03 Apr '13

#7589: LLVM 3.2 Support -----------------------------+---------------------------------------------- Reporter: dterei | Owner: dterei Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- LLVM 3.2 is out as of mid December. We need to update the backend to support it. There seems to be a number of new bugs due to the change. With LLVM 3.1 we get the following testsuite failures: {{{ OVERALL SUMMARY for test run started at Mon Jan 14 21:42:32 PST 2013 3552 total tests, which gave rise to 13164 test cases, of which 0 caused framework failures 11606 were skipped 1515 expected passes 23 had missing libraries 15 expected failures 0 unexpected passes 5 unexpected failures Unexpected failures: * codeGen/should_run cgrun044 [exit code non-0] (optllvm) * concurrent/should_run 367_letnoescape [bad exit code] (optllvm) * numeric/should_run arith005 [bad stdout] (optllvm) typecheck/should_compile tc226 [exit code non-0] (optllvm) typecheck/should_compile tc235 [exit code non-0] (optllvm) }}} Where the failures marked with '*' are unique to the LLVM backend. With LLVM 3.2 we get the following: {{{ OVERALL SUMMARY for test run started at Tue Jan 15 16:02:01 PST 2013 3552 total tests, which gave rise to 13164 test cases, of which 0 caused framework failures 11606 were skipped 1512 expected passes 23 had missing libraries 15 expected failures 0 unexpected passes 8 unexpected failures Unexpected failures: ** codeGen/should_compile 1916 [exit code non-0] (optllvm) ** codeGen/should_run cgrun028 [exit code non-0] (optllvm) * codeGen/should_run cgrun044 [exit code non-0] (optllvm) * concurrent/should_run 367_letnoescape [bad exit code] (optllvm) * numeric/should_run arith005 [bad stdout] (optllvm) ** numeric/should_run numrun012 [exit code non-0] (optllvm) typecheck/should_compile tc226 [exit code non-0] (optllvm) typecheck/should_compile tc235 [exit code non-0] (optllvm) }}} Where failures marked with '*' are unique to the LLVM backend and failures marked with '**' are unique to LLVM 3.2 relative to 3.1. I believe bootstrapping with LLVM also fails now. However, that may be due to the change to the new-code-generator, and not of LLVM 3.1 -> 3.2. I'll create a separate ticket for that. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7589> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #7680: -prof build: trying to 'show' a 'Double' leads to 'Char.intToDigit: not a digit' crash
by GHC 25 Mar '13

25 Mar '13

#7680: -prof build: trying to 'show' a 'Double' leads to 'Char.intToDigit: not a digit' crash -----------------------------+---------------------------------------------- Reporter: slyfox | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: x86_64 (amd64) Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- The source is very simple: {{{ main :: IO () main = putStrLn $ show (1 :: Double) }}} Run as: ghc --make double.hs -prof -fforce-recomp -o double.buggy && ./double.buggy Dies as: [1 of 1] Compiling Main ( 144.hs, 144.o ) Linking double.buggy ... double.buggy: Char.intToDigit: not a digit 7488688 It's an amd64 gentoo linux with **gcc-4.7.2**. Core i7 system with avx support. If I drop **-prof** the bug goes away. If I change **Double** to **Float**, **Int**, **Integer** the bug goes away. I might have miscompiled RTS or something. Which is the best way to verify? {{{ [("Project name","The Glorious Glasgow Haskell Compilation System") ,("GCC extra via C opts"," -fwrapv") ,("C compiler command","x86_64-pc-linux-gnu-gcc") ,("C compiler flags"," -fno-stack-protector -Wl,--hash-size=31 -Wl ,--reduce-memory-overheads") ,("ar command","/usr/bin/ar") ,("ar flags","q") ,("ar supports at file","YES") ,("touch command","touch") ,("dllwrap command","/bin/false") ,("windres command","/bin/false") ,("perl command","/usr/bin/perl") ,("target os","OSLinux") ,("target arch","ArchX86_64") ,("target word size","8") ,("target has GNU nonexec stack","True") ,("target has .ident directive","True") ,("target has subsections via symbols","False") ,("LLVM llc command","/usr/bin/llc") ,("LLVM opt command","/usr/bin/opt") ,("Project version","7.6.2") ,("Booter version","7.6.2") ,("Stage","2") ,("Build platform","x86_64-unknown-linux") ,("Host platform","x86_64-unknown-linux") ,("Target platform","x86_64-unknown-linux") ,("Have interpreter","YES") ,("Object splitting supported","YES") ,("Have native code generator","YES") ,("Support SMP","YES") ,("Unregisterised","NO") ,("Tables next to code","YES") ,("RTS ways","l debug thr thr_debug thr_l thr_p dyn debug_dyn thr_dyn thr_debug_dyn") ,("Leading underscore","NO") ,("Debug on","False") ,("LibDir","/usr/lib64/ghc-7.6.2") ,("Global Package DB","/usr/lib64/ghc-7.6.2/package.conf.d") ,("Gcc Linker flags","[\"-Wl,--hash-size=31\",\"-Wl,--reduce-memory- overheads\"]") ,("Ld Linker flags","[\"--hash-size=31\",\"--reduce-memory-overheads\"]") ] }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7680> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #7712: "make install" fails on Windows
by GHC 24 Mar '13

24 Mar '13

#7712: "make install" fails on Windows ----------------------------------+----------------------------------------- Reporter: dpratt71 | Owner: Type: bug | Status: new Priority: normal | Component: Build System Version: 7.7 | Keywords: Os: Windows | Architecture: Unknown/Multiple Failure: Installing GHC failed | Blockedby: Blocking: | Related: ----------------------------------+----------------------------------------- Running the 'make install' command under Windows 8/MinGW produces an error. The full output of 'make install': {{{ $ make install ===--- building phase 0 make -r --no-print-directory -f ghc.mk phase=0 phase_0_builds make[1]: Nothing to be done for `phase_0_builds'. ===--- building phase 1 make -r --no-print-directory -f ghc.mk phase=1 phase_1_builds make[1]: Nothing to be done for `phase_1_builds'. ===--- building final phase make -r --no-print-directory -f ghc.mk phase=final install /bin/install -c -m 755 -d "/usr/local/lib" /bin/install -c -m 755 driver/split/dist/ghc-split "/usr/local/lib" driver/ghci/ghc.mk:56: *** removeFiles: Got leading slash: /usr/local/bin/ghcii.sh. Stop. make: *** [install] Error 2 }}} It seems that the removeFiles function specifically disallows paths that start with a "/". Looking around at other places where removeFiles was being called with a rooted path, the path was also quoted. I added quotes to the path in the line mentioned in the error above (and one other place) and thereafter the 'make install' command proceeded without errors. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7712> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #7621: Cross-build for QNX ARM smashes stack when using FunPtr wrappers
by GHC 24 Mar '13

24 Mar '13

#7621: Cross-build for QNX ARM smashes stack when using FunPtr wrappers -----------------------------+---------------------------------------------- Reporter: singpolyma | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (FFI) Version: 7.6.1 | Keywords: qnx unregistered cross-compile Os: Unknown/Multiple | Architecture: arm Failure: Runtime crash | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- I have built an unregistered LLVM cross-compiler for arm-unknown-nto- qnx8.0.0eabi, which I finally got to build using the attached patch. Simple programs no longer crash like they do in registered ARM cross- compilers (as reported on mailing list at http://www.haskell.org/pipermail /ghc-devs/2013-January/000005.html and other places), however the following code does crash: {{{ {-# LANGUAGE ForeignFunctionInterface #-} module Main (main) where import Foreign.Ptr foreign import ccall "wrapper" wrap_refresh :: ( IO ()) -> IO (FunPtr ( IO ())) main :: IO () main = do wrap_refresh (return ()) return () }}} It seems, from experiments, that any code using the "wrapper" imports causes this error: {{{ $ ./Main *** stack smashing detected ***: Main terminated Abort (core dumped) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7621> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #7716: Zonetime read instance failing to parse what show returns
by GHC 24 Mar '13

24 Mar '13

#7716: Zonetime read instance failing to parse what show returns ----------------------------------------+----------------------------------- Reporter: mercer92 | Owner: Type: bug | Status: new Priority: normal | Component: libraries (other) Version: 7.4.2 | Keywords: ZoneTime read show Os: Windows | Architecture: x86 Failure: Incorrect result at runtime | Blockedby: Blocking: | Related: ----------------------------------------+----------------------------------- Test case: {{{ import Data.Time main = do time <- getZonedTime let string = show time print string print $ (read string :: ZonedTime) }}} This gives me: {{{ *Main> main "2013-02-24 14:51:56.453125 Central European Standard Time" *** Exception: Prelude.read: no parse }}} Reportedly this works with (some) other timezones, so be sure to also test it with mine (show time => "2013-02-24 14:51:56.453125 Central European Standard Time"). -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7716> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #7717: Libffi errors while cross-compiling GHC 7.6.2 (Stage 1)
by GHC 23 Mar '13

23 Mar '13

#7717: Libffi errors while cross-compiling GHC 7.6.2 (Stage 1) -----------------------------+---------------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (FFI) Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: mips Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- I'm trying to cross-build GHC 7.6.2. I got stuck when I was trying to build a Stage 1 compiler [1]. (There is a chance that it's not a bug; maybe I misunderstood the process.) Steps to reproduce: $ ./configure --target=mips64el-linux --with-gcc=/usr/bin/gcc \ --with-ld=/usr/bin/ld --with-nm=/usr/bin/nm Did I specify the wrong binaries? These are the same I used for Stage 0 and libs boot phases. Maybe I should use the ones for mips64el... But how? ---------------------------------------------------------------------- Configure completed successfully. Building GHC version : 7.6.2 Build platform : i386-unknown-linux Host platform : i386-unknown-linux Target platform : mips-unknown-linux Bootstrapping using : /usr/local/bin/ghc which is version : 7.6.2 Using GCC : /usr/bin/gcc which is version : 4.4.5 Building a cross compiler : YES Porting to foreign arch : NO Alien script : ld : /usr/bin/ld Happy : /usr/bin/happy (1.18.4) Alex : /usr/bin/alex (2.3.3) Python : /usr/bin/python Perl : /usr/bin/perl dblatex : xsltproc : /usr/bin/xsltproc HsColour was not found; documentation will not contain source links Building DocBook HTML documentation : NO Building DocBook PS documentation : NO Building DocBook PDF documentation : NO ---------------------------------------------------------------------- $ make make[5]: Entering directory `/ghc-build2/ghc-7.6.2/libffi/build/mips64el- unknown-linux-gnu' depbase=`echo src/prep_cif.lo | sed 's|[^/]*$|.deps/&|;s|\.lo$||'`;\ /bin/bash ./libtool --tag=CC --mode=compile /usr/bin/gcc -DHAVE_CONFIG_H -I. -I.. -I. -I../include -Iinclude -I../src -DFFI_BUILDING -g -fno-stack-protector -w -Wall -fexceptions -MT src/prep_cif.lo -MMD -MP -MF $depbase.Tpo -c -o src/prep_cif.lo ../src/prep_cif.c &&\ mv -f $depbase.Tpo $depbase.Plo libtool: compile: /usr/bin/gcc -DHAVE_CONFIG_H -I. -I.. -I. -I../include -Iinclude -I../src -DFFI_BUILDING -g -fno-stack-protector -w -Wall -fexceptions -MT src/prep_cif.lo -MMD -MP -MF src/.deps/prep_cif.Tpo -c ../src/prep_cif.c -o src/prep_cif.o In file included from include/ffi.h:67, from ../src/prep_cif.c:26: include/ffitarget.h:59:3: error: #error -- something is very wrong -- make[5]: *** [src/prep_cif.lo] Error 1 make[5]: Leaving directory `/ghc-build2/ghc-7.6.2/libffi/build/mips64el- unknown-linux-gnu' make[4]: *** [all-recursive] Error 1 make[4]: Leaving directory `/ghc-build2/ghc-7.6.2/libffi/build/mips64el- unknown-linux-gnu' make[3]: *** [all] Error 2 make[3]: Leaving directory `/ghc-build2/ghc-7.6.2/libffi/build/mips64el- unknown-linux-gnu' make[2]: *** [all-all] Error 2 make[1]: *** [libffi/stamp.ffi.static.build] Error 2 make: *** [all] Error 2 Similar report: [2]. I added these lines before the error: #ifndef _MIPS_SIM # define _MIPS_SIM _ABIN32 #endif And continued: $ make ../src/mips/ffi.c: In function 'ffi_prep_cif_machdep': ../src/mips/ffi.c:468: error: duplicate case value ../src/mips/ffi.c:463: error: previously used here ../src/mips/ffi.c:548: error: duplicate case value ../src/mips/ffi.c:541: error: previously used here make[5]: *** [src/mips/ffi.lo] Error 1 make[5]: Leaving directory `/ghc-build2/ghc-7.6.2/libffi/build/mips64el- unknown-linux-gnu' make[4]: *** [all-recursive] Error 1 make[4]: Leaving directory `/ghc-build2/ghc-7.6.2/libffi/build/mips64el- unknown-linux-gnu' make[3]: *** [all] Error 2 make[3]: Leaving directory `/ghc-build2/ghc-7.6.2/libffi/build/mips64el- unknown-linux-gnu' make[2]: *** [all-all] Error 2 make[1]: *** [libffi/stamp.ffi.static.build] Error 2 make: *** [all] Error 2 Similar report: [3]. All my attempts to fix the above failed with these errors: ../src/mips/n32.S: Assembler messages: ../src/mips/n32.S:44: Error: unknown pseudo-op: `.abicalls' ../src/mips/n32.S:46: Error: expected comma after "mips4" ../src/mips/n32.S:50: Error: unknown pseudo-op: `.ent' ../src/mips/n32.S:53: Error: unknown pseudo-op: `.frame' ../src/mips/n32.S:54: Error: unknown pseudo-op: `.mask' ../src/mips/n32.S:55: Error: unknown pseudo-op: `.fmask' ../src/mips/n32.S:58: Error: no such instruction: `dsubu $sp,( 8 * 8)' [...] make[5]: *** [src/mips/n32.lo] Error 1 make[5]: Leaving directory `/ghc-build2/ghc-7.6.2/libffi/build/mips64el- unknown-linux-gnu' make[4]: *** [all-recursive] Error 1 make[4]: Leaving directory `/ghc-build2/ghc-7.6.2/libffi/build/mips64el- unknown-linux-gnu' make[3]: *** [all] Error 2 make[3]: Leaving directory `/ghc-build2/ghc-7.6.2/libffi/build/mips64el- unknown-linux-gnu' make[2]: *** [all-all] Error 2 make[1]: *** [libffi/stamp.ffi.static.build] Error 2 make: *** [all] Error 2 [1] http://hackage.haskell.org/trac/ghc/wiki/CrossCompilation [2] http://mail-index.netbsd.org/netbsd-bugs/2012/11/16/msg030949.html [3] http://sourceware.org/ml/libffi-discuss/2012/msg00201.html -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7717> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #7642: Nullary type classes
by GHC 15 Mar '13

15 Mar '13

#7642: Nullary type classes -----------------------------+---------------------------------------------- Reporter: shachaf | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler (Type checker) Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- GHC supports `MultiParamTypeClasses` with two or more parameters, but it explicitly rejects classes with no parameters. There doesn't seem to be a good reason for that. Some example uses that came up in IRC: {{{ isPrime :: RiemannHypothesis => Integer -> Bool unsafePerformIO :: Unsafe => IO a -> a }}} The main reason to allow it is probably that it's a pointless restriction, like EmptyDataDecls. In fact, the simplest implementation for this patch consists of deleting one line of code. The attached patch is slightly bigger because it also fixes error messages (I also included a detabbing patch). If necessary this can be made a separate `LANGUAGE` flag -- this patch just folds it into `MultiParamTypeClasses`. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7642> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #7704: Phantom types break new polykind Typeable with either StandaloneDeriving or AutoDeriveTypeable
by GHC 11 Mar '13

11 Mar '13

#7704: Phantom types break new polykind Typeable with either StandaloneDeriving or AutoDeriveTypeable -----------------------------+---------------------------------------------- Reporter: nwf | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- This test program, reduced from an attempt to bring ekmett's tagged package to HEAD, {{{ {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE AutoDeriveTypeable #-} newtype Tagged s b = Tagged { unTagged :: b } }}} results in {{{ GHCi, version 7.7.20130218: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. [1 of 1] Compiling Main ( typeable.hs, interpreted ) typeable.hs:5:1: Derived typeable instance must be of form (Typeable Tagged) In the stand-alone deriving instance for `Data.Typeable.Internal.Typeable Tagged' }}} This message is also emitted if I replace `AutoDeriveTypeable` `StandaloneDeriving` and `deriving instance Typeable Tagged`. However, a "deriving (Typeable)" clause on the newtype definition works just fine. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7704> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #7722: iOS patch no 11: Fix quirk with runtime loader
by GHC 08 Mar '13

08 Mar '13

#7722: iOS patch no 11: Fix quirk with runtime loader ------------------------------+--------------------------------------------- Reporter: StephenBlackheath | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Other | Architecture: arm Failure: None/Unknown | Blockedby: Blocking: | Related: ------------------------------+--------------------------------------------- On iOS, due to a quirk, we must put references to external symbols into the data segment. If, for example, we have a declaration like this: {{{ foreign import ccall unsafe "static stdlib.h &free" c_free_finalizer :: FunPtr (Ptr Word8 -> IO ()) }}} ...then it tries to resolve the address of 'free' at runtime. The loader then attempts to write that address into the text segment. On iOS, modifying the text segment is not allowed, and so a runtime exception is thrown. We work around this issue by fetching the reference to the external symbol from the data segment. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7722> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11