October 2013 - ghc-tickets

[GHC] #8346: Rank 1 type signature still requires RankNTypes
by GHC 11 Jul '17

11 Jul '17

#8346: Rank 1 type signature still requires RankNTypes ----------------------------+---------------------------------------------- Reporter: | Owner: tinctorius | Status: new Type: bug | Milestone: Priority: normal | Version: 7.6.3 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects valid program Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: #2605 | ----------------------------+---------------------------------------------- When trying to figure out which type variable names are *actually* bound in `ScopedTypeVariables`, I tried floating `forall`s into the covariant argument of the function type. Essentially, I ran into the problem that programs like the following are rejected: {{{ #!hs {-# LANGUAGE ExplicitForAll #-} tuple :: forall a. a -> (forall b. b -> (a, b)) tuple = (,) }}} The message is as follows: {{{ Main.hs:2:10: Illegal polymorphic or qualified type: forall b. b -> (a, b) Perhaps you intended to use -XRankNTypes or -XRank2Types In the type signature for `tuple': tuple :: forall a. a -> (forall b. b -> (a, b)) }}} As far as I know, the rank of a type is defined by how deep quantifiers are nested in contravariant parts of that type. Or something like that. Also, as far as I know, `forall a. a -> (forall b. b -> (a, b))` is equivalent to `forall a b. a -> b -> (a, b)`, and more importantly, both are rank-1 polymorphic. There should be no need to use extensions that allow higher-ranked polymorphism. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8346> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8048: Register spilling produces ineffecient/highly contending code
by GHC 21 May '17

21 May '17

#8048: Register spilling produces ineffecient/highly contending code -------------------------------------+------------------------------------- Reporter: schyler | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 7.6.3 Keywords: register | Operating System: Unknown/Multiple allocator spill | Type of failure: Runtime Architecture: Unknown/Multiple | performance bug Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- The native codegen and llvm both produce ineffecient code for functions using structures with many strict fields or unboxed values. Consider the following program: {{{ {-# LANGUAGE BangPatterns #-} module Spill where import GHC.Exts data S = S !Int !Int !Int !Int !Int !Int !Int !Int !Int spill :: S -> S -> S -> S spill (S !a !b !c !d !e !f !g !h !i) (S !j !k !l !m !n !o !p !q !r) (S !s !t !u !v !w !x !y !z _) = S (a + j + s) (b + c) (k + r) (a + b + c + d + e + f + g + h + i) (j + k + l + m + n + o + p + q + r) (s + t + u + v + w + x + y + z) (a + b + c) (j + k + l) (s + t + u) }}} Parts of the code produced for this (which is identical regardless of -funbox-strict-fields) looks like: {{{ _cnc: addq $80,%r12 cmpq 144(%r13),%r12 ja _cni movq $Spill.S_con_info,-72(%r12) movq 32(%rbp),%rax movq %rax,-64(%r12) movq 24(%rbp),%rax movq %rax,-56(%r12) movq 16(%rbp),%rax movq %rax,-48(%r12) movq 8(%rbp),%rax movq %rax,-40(%r12) movq 40(%rbp),%rax movq %rax,-32(%r12) movq 48(%rbp),%rax movq %rax,-24(%r12) movq 56(%rbp),%rax movq %rax,-16(%r12) movq 64(%rbp),%rax movq %rax,-8(%r12) movq 7(%rbx),%rax movq %rax,0(%r12) leaq -71(%r12),%rbx addq $72,%rbp jmp *0(%rbp) }}} {{{ _csv: movq 63(%rbx),%rax movq %rax,-56(%rbp) movq 55(%rbx),%rax movq %rax,-48(%rbp) movq 47(%rbx),%rax movq %rax,-40(%rbp) movq 39(%rbx),%rax movq %rax,-32(%rbp) movq 31(%rbx),%rax movq %rax,-24(%rbp) movq 23(%rbx),%rax movq %rax,-16(%rbp) movq 71(%rbx),%rax movq %rax,-8(%rbp) movq 15(%rbx),%rax movq %rax,0(%rbp) }}} And likewise for LLVM: {{{ .LBB10_1: # %coZ movq 7(%rbx), %rcx movq $Spill_S_con_info, 8(%rax) movq 8(%rbp), %rdx movq %rdx, 16(%rax) movq 16(%rbp), %rdx movq %rdx, 24(%rax) movq 24(%rbp), %rdx movq %rdx, 32(%rax) movq 32(%rbp), %rdx movq %rdx, 40(%rax) movq 40(%rbp), %rdx movq %rdx, 48(%rax) movq 48(%rbp), %rdx movq %rdx, 56(%rax) movq 56(%rbp), %rdx movq %rdx, 64(%rax) movq 64(%rbp), %rdx movq %rdx, 72(%rax) movq %rcx, (%r12) movq 72(%rbp), %rax leaq 72(%rbp), %rbp leaq -71(%r12), %rbx jmpq *%rax # TAILCALL }}} Quoting from #ghc "the [register allocator] core algo is '96 vintage". Improvements are needed; * Take into consideration pipelining and handle spills less dramatically, attempting to reduce register contention * Sink memory reads in order to reduce register pressure -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8048> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 16

[GHC] #8396: cleanup / refactor native code gens
by GHC 10 May '17

10 May '17

#8396: cleanup / refactor native code gens ----------------------------------------+---------------------------------- Reporter: carter | Owner: Type: feature request | Status: new Priority: high | Milestone: 7.10.1 Component: Compiler | Version: Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: None/Unknown Blocked By: | Test Case: Related Tickets: #8299 , #8287 ,#8272 | Blocking: ----------------------------------------+---------------------------------- the native code gen could use some cleanup / love. 1. Catchup with feature parity of the llvm a. this includes adding SIMD support on applicable native code gen architectures, starting with x86_64 2. make it easier to extend / modify experiment with the native code gen 3. make it easier to add new primops (maybe even a magic inline asm primop?!) 4. other things i'm overlooking right now this also overlaps with a number of related tickets i've been adding to trac. a more ambitious strategic goal that won't be the initial goal, that simon marlow suggested when i chatted with him at ICFP, is to make the native code gen codebase a sort of "mini-llvm". I think thats a bit ambitious for the near term, but maybe thats the point on the horizon we may want to aim towards. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8396> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #8082: Ordering of assembly blocks affects performance
by GHC 10 May '17

10 May '17

#8082: Ordering of assembly blocks affects performance ----------------------------------+--------------------------------- Reporter: jstolarek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (NCG) | Version: 7.6.3 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------- During my work on #6135 I noticed that performance of reverse-complem benchmark in nofib depends highly on the order in which assembly block are laid out. With my patches I am consistently getting a 18-20% speed-up. In theory my patches should not impact performance of existing programs, but for some reason they affect the ordering of generated assembly blocks. On of the earlier versions of my patch I noticed that kahan benchmark suffered a 16% performance hit and again the only difference I noticed in the generated assembly was ordering of blocks. I did a more in-depth investigation in case of kahan and it turned out that this difference results from the way Core is generated: the difference between HEAD and my patches was that a worker function had its three parameters passed in different order. I did not investigate this for reverse-complem because Core is considerably larger, but I could spend some time on it if it might be relevant. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8082> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #8332: hp2ps does not escape parentheses
by GHC 09 May '17

09 May '17

#8332: hp2ps does not escape parentheses ------------------------------------+------------------------------------- Reporter: luite | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Profiling | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- If some symbol name in the key includes a (, but is cut off before the ), hp2ps generates an invalid postscript file. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8332> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code
by GHC 07 May '17

07 May '17

#8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code -------------------------+------------------------------------------------- Reporter: exbb2 | Owner: Type: bug | Status: new Priority: | Milestone: normal | Version: 7.6.3 Component: | Operating System: Unknown/Multiple Compiler | Type of failure: Incorrect warning at Keywords: | compile-time Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | -------------------------+------------------------------------------------- {{{ {-# OPTIONS_GHC -Wall #-} module A where data ABC = A | B | C abc :: ABC -> Int abc x = case x of A -> 1 }}} {{{ $ ghc -fno-code -fforce-recomp /tmp/A.hs [1 of 1] Compiling A ( /tmp/A.hs, nothing ) }}} {{{ $ ghc -fobject-code -fforce-recomp /tmp/A.hs [1 of 1] Compiling A ( /tmp/A.hs, /tmp/A.o ) /tmp/A.hs:7:9: Warning: Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: B C }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8101> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #8443: cannot find normal object file when compiling TH code
by GHC 01 May '17

01 May '17

#8443: cannot find normal object file when compiling TH code ----------------------------+---------------------------------------------- Reporter: snoyberg | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: GHC rejects valid program (amd64) | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ----------------------------+---------------------------------------------- Unfortunately, I haven't been able to whittle this down to a smaller test case. In order to reproduce, just run `cabal install yesod-core-1.2.4.5 --enable-tests`. The result is: {{{ test/YesodCoreTest/NoOverloadedStrings.hs:16:26: cannot find normal object file ‛dist/build/tests/tests- tmp/YesodCoreTest/NoOverloadedStringsSub.dyn_o’ while linking an interpreted expression }}} Tested using: The Glorious Glasgow Haskell Compilation System, version 7.7.20131012 cabal-install version 1.18.0.2 using version 1.18.0 of the Cabal library I'm on Ubuntu 12.04 64-bit. Compiling with GHC 7.6.3 and 7.4.2 works correctly. Let me know if there's any other information I can provide. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8443> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8426: one-shot compilation + TH doesn't see instances that is seen in batch mode
by GHC 15 Apr '17

15 Apr '17

#8426: one-shot compilation + TH doesn't see instances that is seen in batch mode ----------------------------------------------+---------------------------- Reporter: errge | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Moderate (less than a day) | Type of failure: Other Blocked By: | Test Case: Related Tickets: #7867 | Blocking: ----------------------------------------------+---------------------------- Haskell prime and Haskell98 both states that instances are always seen if there is any chain of imports leading from the current module to the instance. http://darcs.haskell.org/haskell-prime-report/report/haskell-report- html/modules.html#import-instances The ghc manual contains a discussion why this specification is too performance heavy to näively implement and contains the definition of orphanness and an algorithm to reproduce the specification with better performance. http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/separate- compilation.html#orphan-modules Unfortunately this cleverness breaks template haskell. Namely, if: - `Class.hs` contains a class, - `NonOrphan.hs` contains a data that implements the class, - `Importer.hs` just imports `NonOrphan.hs`, - `Main.hs` imports `Importer.hs`, - `Main.hs` reifies the class; then: - one-shot compilation's reify doesn't see the instance, - batch compilation's reify sees the instance. This ambiguity is shown in the attached tgz. Furthermore if `NonOrphan.hs` is in a separate package, then of course even batch compilation mode wouldn't reify the instance correctly. In that case there is no disambiguity between one-shot and batch, simply both is missing the info. I propose to solve this by enforcing a loading of all the interface files for every import transitively for the current module, when we meet an open type family or class reification request in template haskell's reify handler in `TcSplice.hs`. So I propose to keep the optimization of orphan instances and use it 99.9% of the time. We would only ever go on the quest of reading interface files for every import transitively when the user tries to reify something where we have to return an instance list. This means that TH compilations that reify types will get a little bit slower in exchange of being correct and unambiguous. Compilation time in cases when TH reification is not used will not change. I volunteer to prepare the patch, but would like to hear others first. So, any opinions, alternative ideas? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8426> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #8373: Cross-compiling from x86_64-unknown-linux-gnu to x86_64-sun-solaris2
by GHC 04 Apr '17

04 Apr '17

#8373: Cross-compiling from x86_64-unknown-linux-gnu to x86_64-sun-solaris2 ----------------------------------+---------------------------------------- Reporter: AlainODea | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 (amd64) | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+---------------------------------------- During a cross-build from '''x86_64-unknown-linux-gnu''' to '''x86_64-sun- solaris2''' it tries to run '''/home/alain_odea/Documents/ghc/inplace/lib/bin/mkGmpDerivedConstants''' on my host/build machine and fails. Since it's a Solaris binary not a Linux binary it would need to be run on a Solaris host. If I run the following script to configure and run my cross-build: {{{ #!/bin/bash export TARGET=x86_64-sun-solaris2.11 export PREFIX=$HOME/Documents/gcc/cross/$TARGET export SYSROOT=$PREFIX/sysroot export PATH=$PATH:$PREFIX/bin export GCC=$PREFIX/bin/$TARGET-gcc export LD=$PREFIX/bin/$TARGET-ld export NM=$PREFIX/bin/$TARGET-nm export OBJDUMP=$PREFIX/bin/$TARGET-objdump # cabal install happy alex haddock # sudo apt-get update # sudo apt-get install --assume-yes ghc libncurses5-dev \ # mesa-common-dev freeglut3-dev libedit-dev git clone git://github.com/ghc/ghc pushd ghc echo "Stage1Only = YES" >> mk/build.mk cp mk/build.mk{.sample,} ./sync-all --no-dph get perl boot patch -d libraries/haskeline/ -p1 < \ ../ghc-patches/0001-Include-termios.h-for- solaris2-host.-Fixes-8366.patch cp $SYSROOT/opt/local/include/gmp.h libraries/integer-gmp/gmp/ ./configure \ --host=x86_64-unknown-linux-gnu \ --build=x86_64-unknown-linux-gnu \ --target=x86_64-sun-solaris2 \ --with-gcc=$GCC \ --with-ld=$LD \ --with-nm=$NM \ --with-objdump=$OBJDUMP make }}} I get the following failure output: {{{ ~/Documents/ghc ~/Documents patching file System/Console/Haskeline/Backend/Posix.hsc Reversed (or previously applied) patch detected! Assume -R? [n] Apply anyway? [n] Skipping patch. 1 out of 1 hunk ignored -- saving rejects to file System/Console/Haskeline/Backend/Posix.hsc.rej checking for gfind... no checking for find... /usr/bin/find checking for sort... /usr/bin/sort checking for GHC version date... inferred 7.7.20130924 checking for ghc... /usr/local/bin/ghc checking version of ghc... 7.6.3 checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-sun-solaris2 GHC build : x86_64-unknown-linux GHC host : x86_64-unknown-linux GHC target : x86_64-sun-solaris2 configure: Building in-tree ghc-pwd checking for path to top of build tree... /home/alain_odea/Documents/ghc checking for x86_64-unknown-linux-gnu-gcc... no checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for llc... no checking for opt... no checking whether #! works in shell scripts... yes checking for perl... /usr/bin/perl checking version of gcc... 4.7.3 checking whether C compiler is clang... no checking whether C compiler has an LLVM back end... no checking whether ld is GNU ld... yes checking whether ld understands --build-id... yes checking whether ld understands -no_compact_unwind... yes checking whether ld understands -filelist... no checking Setting up CFLAGS, LDFLAGS, IGNORE_LINKER_LD_FLAGS and CPPFLAGS... done checking Setting up CONF_CC_OPTS_STAGE0, CONF_GCC_LINKER_OPTS_STAGE0, CONF_LD_LINKER_OPTS_STAGE0 and CONF_CPP_OPTS_STAGE0... done checking Setting up CONF_CC_OPTS_STAGE1, CONF_GCC_LINKER_OPTS_STAGE1, CONF_LD_LINKER_OPTS_STAGE1 and CONF_CPP_OPTS_STAGE1... done checking Setting up CONF_CC_OPTS_STAGE2, CONF_GCC_LINKER_OPTS_STAGE2, CONF_LD_LINKER_OPTS_STAGE2 and CONF_CPP_OPTS_STAGE2... done checking for extra options to pass gcc when compiling via C... -fwrapv checking how to run the C preprocessor... gcc -E checking for .subsections_via_symbols... no checking whether your assembler supports .ident directive... yes checking for GNU non-executable stack support... yes checking for a working context diff... diff -U 1 checking for a BSD-compatible install... /usr/bin/install -c checking for ar... /usr/bin/ar checking whether /usr/bin/ar is GNU ar... yes checking for ar arguments... q checking whether /usr/bin/ar supports @file... yes checking for x86_64-unknown-linux-gnu-ranlib... no checking for ranlib... ranlib configure: WARNING: using cross tools not prefixed with host triplet checking whether ln -s works... yes checking for gsed... no checking for sed... /bin/sed checking for time... /usr/bin/time checking for gnutar... no checking for gtar... no checking for tar... /bin/tar checking for gpatch... no checking for patch... /usr/bin/patch checking for dtrace... no checking for HsColour... /home/alain_odea/.cabal/bin/HsColour checking for xmllint... no configure: WARNING: cannot find xmllint in your PATH, you will not be able to validate your documentation checking for xsltproc... no configure: WARNING: cannot find xsltproc in your PATH, you will not be able to build the HTML documentation checking for dblatex... no configure: WARNING: cannot find dblatex in your PATH, you will not be able to build the PDF and PS documentation checking for ghc-pkg matching /usr/local/bin/ghc... /usr/local/bin/ghc-pkg checking for happy... /home/alain_odea/.cabal/bin/happy checking for version of happy... 1.19.0 checking for alex... /home/alain_odea/.cabal/bin/alex checking for version of alex... 3.1.0 checking for ANSI C header files... (cached) yes checking for special C compiler options needed for large files... no checking for _FILE_OFFSET_BITS value needed for large files... no checking bfd.h usability... no checking bfd.h presence... no checking for bfd.h... no checking ctype.h usability... yes checking ctype.h presence... yes checking for ctype.h... yes checking dirent.h usability... yes checking dirent.h presence... yes checking for dirent.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking errno.h usability... yes checking errno.h presence... yes checking for errno.h... yes checking fcntl.h usability... yes checking fcntl.h presence... yes checking for fcntl.h... yes checking grp.h usability... yes checking grp.h presence... yes checking for grp.h... yes checking limits.h usability... yes checking limits.h presence... yes checking for limits.h... yes checking locale.h usability... yes checking locale.h presence... yes checking for locale.h... yes checking nlist.h usability... yes checking nlist.h presence... no configure: WARNING: nlist.h: accepted by the compiler, rejected by the preprocessor! configure: WARNING: nlist.h: proceeding with the compiler's result checking for nlist.h... yes checking pthread.h usability... yes checking pthread.h presence... yes checking for pthread.h... yes checking pwd.h usability... yes checking pwd.h presence... yes checking for pwd.h... yes checking signal.h usability... yes checking signal.h presence... yes checking for signal.h... yes checking sys/param.h usability... yes checking sys/param.h presence... yes checking for sys/param.h... yes checking sys/mman.h usability... yes checking sys/mman.h presence... yes checking for sys/mman.h... yes checking sys/resource.h usability... yes checking sys/resource.h presence... yes checking for sys/resource.h... yes checking sys/select.h usability... yes checking sys/select.h presence... yes checking for sys/select.h... yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking sys/timeb.h usability... yes checking sys/timeb.h presence... yes checking for sys/timeb.h... yes checking sys/timers.h usability... no checking sys/timers.h presence... no checking for sys/timers.h... no checking sys/times.h usability... yes checking sys/times.h presence... yes checking for sys/times.h... yes checking sys/utsname.h usability... yes checking sys/utsname.h presence... yes checking for sys/utsname.h... yes checking sys/wait.h usability... yes checking sys/wait.h presence... yes checking for sys/wait.h... yes checking termios.h usability... yes checking termios.h presence... yes checking for termios.h... yes checking time.h usability... yes checking time.h presence... yes checking for time.h... yes checking utime.h usability... yes checking utime.h presence... yes checking for utime.h... yes checking windows.h usability... no checking windows.h presence... no checking for windows.h... no checking winsock.h usability... no checking winsock.h presence... no checking for winsock.h... no checking sched.h usability... yes checking sched.h presence... yes checking for sched.h... yes checking for sys/cpuset.h... no checking whether time.h and sys/time.h may both be included... yes checking for long long... yes checking size of char... 1 checking size of double... 8 checking size of float... 4 checking size of int... 4 checking size of long... 8 checking size of long long... 8 checking size of short... 2 checking size of unsigned char... 1 checking size of unsigned int... 4 checking size of unsigned long... 8 checking size of unsigned long long... 8 checking size of unsigned short... 2 checking size of void *... 8 checking for char... yes checking alignment of char... 1 checking for double... yes checking alignment of double... 8 checking for float... yes checking alignment of float... 4 checking for int... yes checking alignment of int... 4 checking for long... yes checking alignment of long... 8 checking for long long... (cached) yes checking alignment of long long... 8 checking for short... yes checking alignment of short... 2 checking for unsigned char... yes checking alignment of unsigned char... 1 checking for unsigned int... yes checking alignment of unsigned int... 4 checking for unsigned long... yes checking alignment of unsigned long... 8 checking for unsigned long long... yes checking alignment of unsigned long long... 8 checking for unsigned short... yes checking alignment of unsigned short... 2 checking for void *... yes checking alignment of void *... 8 checking for WinExec... no checking for GetModuleFileName... no checking return type of signal handlers... void checking for getclock... no checking for getrusage... yes checking for gettimeofday... yes checking for setitimer... yes checking for siginterrupt... yes checking for sysconf... yes checking for times... yes checking for ctime_r... yes checking for sched_setaffinity... no checking for setlocale... yes checking whether ctime_r is declared... yes checking for closedir in -lmingwex... no checking for atan in -lm... yes checking for xmalloc in -liberty... no checking for bfd_uncompress_section_contents in -lbfd... no checking for dlopen in -ldl... yes checking for size_t... yes checking for working alloca.h... yes checking for alloca... yes checking for pid_t... yes checking vfork.h usability... no checking vfork.h presence... no checking for vfork.h... no checking for fork... yes checking for vfork... yes checking for working fork... cross configure: WARNING: result yes guessed because of cross compilation checking for working vfork... (cached) yes checking for an ANSI C-conforming const... yes checking whether byte ordering is bigendian... no checking whether float word order is big endian... no checking for nlist in -lelf... yes checking leading underscore in symbol names... no checking whether __attribute__((visibility("hidden"))) is supported... yes checking for clock_gettime in -lrt... yes checking for clock_gettime... yes checking for timer_settime... yes checking for timer_create... yes checking for printf$LDBLStub... no checking sys/eventfd.h usability... no checking sys/eventfd.h presence... yes configure: WARNING: sys/eventfd.h: present but cannot be compiled configure: WARNING: sys/eventfd.h: check for missing prerequisite headers? configure: WARNING: sys/eventfd.h: see the Autoconf documentation configure: WARNING: sys/eventfd.h: section "Present But Cannot Be Compiled" configure: WARNING: sys/eventfd.h: proceeding with the compiler's result configure: WARNING: ## ----------------------------------------------- ## configure: WARNING: ## Report this to glasgow-haskell-bugs(a)haskell.org ## configure: WARNING: ## ----------------------------------------------- ## checking for sys/eventfd.h... no checking for eventfd... no checking for PAPI_library_init in -lpapi... no checking papi.h usability... no checking papi.h presence... no checking for papi.h... no checking for __mingw_vfprintf... no configure: creating ./config.status config.status: creating mk/config.mk config.status: creating mk/install.mk config.status: creating mk/project.mk config.status: creating compiler/ghc.cabal config.status: creating ghc/ghc-bin.cabal config.status: creating utils/runghc/runghc.cabal config.status: creating settings config.status: creating docs/users_guide/ug-book.xml config.status: creating docs/users_guide/ug-ent.xml config.status: creating docs/index.html config.status: creating libraries/prologue.txt config.status: creating distrib/configure.ac config.status: creating mk/config.h config.status: mk/config.h is unchanged ---------------------------------------------------------------------- Configure completed successfully. Building GHC version : 7.7.20130924 Build platform : x86_64-unknown-linux Host platform : x86_64-unknown-linux Target platform : x86_64-sun-solaris2 Bootstrapping using : /usr/local/bin/ghc which is version : 7.6.3 Using gcc : /home/alain_odea/Documents/gcc/cross/x86_64 -sun-solaris2.11/bin/x86_64-sun-solaris2.11-gcc which is version : 4.7.3 Building a cross compiler : YES ld : /home/alain_odea/Documents/gcc/cross/x86_64-sun- solaris2.11/bin/x86_64-sun-solaris2.11-ld Happy : /home/alain_odea/.cabal/bin/happy (1.19.0) Alex : /home/alain_odea/.cabal/bin/alex (3.1.0) Perl : /usr/bin/perl dblatex : xsltproc : Using LLVM tools llc : opt : HsColour : /home/alain_odea/.cabal/bin/HsColour Building DocBook HTML documentation : NO Building DocBook PS documentation : NO Building DocBook PDF documentation : NO ---------------------------------------------------------------------- For a standard build of GHC (fully optimised with profiling), type (g)make. To make changes to the default build configuration, copy the file mk/build.mk.sample to mk/build.mk, and edit the settings in there. For more information on how to configure your GHC build, see http://hackage.haskell.org/trac/ghc/wiki/Building + test -f mk/config.mk.old + cmp -s mk/config.mk mk/config.mk.old touch -r mk/config.mk.old mk/config.mk + test -f mk/project.mk.old + cmp -s mk/project.mk mk/project.mk.old touch -r mk/project.mk.old mk/project.mk + test -f compiler/ghc.cabal.old + cmp -s compiler/ghc.cabal compiler/ghc.cabal.old touch -r compiler/ghc.cabal.old compiler/ghc.cabal ===--- building phase 0 make -r --no-print-directory -f ghc.mk phase=0 phase_0_builds utils/ghc-pkg/ghc.mk:46: warning: overriding commands for target `install_utils/ghc-pkg_dist_wrapper' utils/ghc-pkg/ghc.mk:37: warning: ignoring old commands for target `install_utils/ghc-pkg_dist_wrapper' "inplace/bin/ghc-cabal" configure ghc stage1 "" --with- ghc="/usr/local/bin/ghc" --with-ghc-pkg="/usr/local/bin/ghc-pkg" --flags=stage1 --constraint "ghc == 7.7" --package- db=/home/alain_odea/Documents/ghc/libraries/bootstrapping.conf --disable- library-for-ghci --disable-library-vanilla --disable-library-profiling --disable-shared --with-hscolour="/home/alain_odea/.cabal/bin/HsColour" --configure-option=CFLAGS=" -fno-stack-protector " --configure- option=LDFLAGS=" " --configure-option=CPPFLAGS=" " --configure- option=--host=x86_64-sun-solaris2 --constraint "Cabal == 1.18.1" --constraint "hpc == 0.6.0.1" --constraint "bin-package-db == 0.0.0.0" --constraint "hoopl == 3.10.0.0" --constraint "transformers == 0.3.0.0" --constraint "terminfo == 0.3.2.5" --with-gcc="/usr/bin/gcc" --configure- option=--with-cc="/usr/bin/gcc" --with-ar="/usr/bin/ar" --with- ranlib="ranlib" --with-alex="/home/alain_odea/.cabal/bin/alex" --with- happy="/home/alain_odea/.cabal/bin/happy" Configuring ghc-bin-7.7.20130924... Warning: 'data-dir: ..' is a relative path outside of the source tree. This will not work when generating a tarball with 'sdist'. utils/ghc-pkg/ghc.mk:46: warning: overriding commands for target `install_utils/ghc-pkg_dist_wrapper' utils/ghc-pkg/ghc.mk:37: warning: ignoring old commands for target `install_utils/ghc-pkg_dist_wrapper' 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 utils/ghc-pkg/ghc.mk:46: warning: overriding commands for target `install_utils/ghc-pkg_dist_wrapper' utils/ghc-pkg/ghc.mk:37: warning: ignoring old commands for target `install_utils/ghc-pkg_dist_wrapper' "cp" settings inplace/lib/settings "inplace/bin/ghc-cabal" check utils/runghc A 'license-file' is not specified. "inplace/bin/ghc-cabal" configure utils/runghc dist-install "" --with- ghc="/home/alain_odea/Documents/ghc/inplace/bin/ghc-stage1" --with-ghc- pkg="/home/alain_odea/Documents/ghc/inplace/bin/ghc-pkg" --disable- library-for-ghci --disable-library-vanilla --disable-library-profiling --disable-shared --with-hscolour="/home/alain_odea/.cabal/bin/HsColour" --configure-option=CFLAGS=" -fno-stack-protector " --configure- option=LDFLAGS=" " --configure-option=CPPFLAGS=" " --configure- option=--host=x86_64-sun-solaris2 --with- gcc="/home/alain_odea/Documents/gcc/cross/x86_64-sun- solaris2.11/bin/x86_64-sun-solaris2.11-gcc" --with- ld="/home/alain_odea/Documents/gcc/cross/x86_64-sun-solaris2.11/bin/x86_64 -sun-solaris2.11-ld" --configure-option=--with- cc="/home/alain_odea/Documents/gcc/cross/x86_64-sun-solaris2.11/bin/x86_64 -sun-solaris2.11-gcc" --with-ar="/usr/bin/ar" --with-ranlib="ranlib" --with-alex="/home/alain_odea/.cabal/bin/alex" --with- happy="/home/alain_odea/.cabal/bin/happy" Configuring runghc-7.7.20130924... ===--- building final phase make -r --no-print-directory -f ghc.mk phase=final all rts/ghc.mk:506: rts/dist/build/.depend-v-dyn-l-debug-thr-thr_debug-thr_l- debug_dyn-thr_dyn-thr_debug_dyn-l_dyn-thr_l_dyn.c_asm: No such file or directory libraries/ghc-prim/ghc.mk:4: libraries/ghc-prim/dist- install/build/.depend-v-dyn.haskell: No such file or directory libraries/ghc-prim/ghc.mk:4: libraries/ghc-prim/dist- install/build/.depend-v-dyn.c_asm: No such file or directory libraries/integer-gmp/ghc.mk:4: libraries/integer-gmp/dist- install/build/.depend-v-dyn.haskell: No such file or directory libraries/integer-gmp/ghc.mk:4: libraries/integer-gmp/dist- install/build/.depend-v-dyn.c_asm: No such file or directory utils/ghc-pkg/ghc.mk:46: warning: overriding commands for target `install_utils/ghc-pkg_dist_wrapper' utils/ghc-pkg/ghc.mk:37: warning: ignoring old commands for target `install_utils/ghc-pkg_dist_wrapper' "rm" -f libraries/integer- gmp/mkGmpDerivedConstants/dist/build/.depend.c_asm.tmp gcc -E -fno-stack-protector -Ilibraries/integer-gmp/gmp -Ilibraries/integer-gmp/mkGmpDerivedConstants/dist -MM -x c libraries /integer-gmp/mkGmpDerivedConstants/mkGmpDerivedConstants.c -MF libraries /integer-gmp/mkGmpDerivedConstants/dist/build/.depend.c_asm.bit sed -e 's|\\|/|g' -e 's| /$| \\|' -e "1s|\.o|\.dyn_o|" -e "1s|^|libraries /integer-gmp/mkGmpDerivedConstants/|" -e "1s|libraries/integer- gmp/mkGmpDerivedConstants/|libraries/integer- gmp/mkGmpDerivedConstants/dist/build/|" -e "1s|dist/build/dist/build|dist/build|g" -e "s|/home/alain_odea/Documents/ghc/||g" libraries/integer- gmp/mkGmpDerivedConstants/dist/build/.depend.c_asm.bit >> libraries /integer-gmp/mkGmpDerivedConstants/dist/build/.depend.c_asm.tmp && true "rm" -f libraries/integer- gmp/mkGmpDerivedConstants/dist/build/.depend.c_asm.bit echo "libraries/integer- gmp/mkGmpDerivedConstants_dist_depfile_c_asm_EXISTS = YES" >> libraries /integer-gmp/mkGmpDerivedConstants/dist/build/.depend.c_asm.tmp mv libraries/integer- gmp/mkGmpDerivedConstants/dist/build/.depend.c_asm.tmp libraries/integer- gmp/mkGmpDerivedConstants/dist/build/.depend.c_asm "/home/alain_odea/Documents/gcc/cross/x86_64-sun-solaris2.11/bin/x86_64 -sun-solaris2.11-gcc" -fno-stack-protector -Ilibraries /integer-gmp/gmp -Ilibraries/integer-gmp/mkGmpDerivedConstants/dist -c libraries/integer-gmp/mkGmpDerivedConstants/mkGmpDerivedConstants.c -o libraries/integer- gmp/mkGmpDerivedConstants/dist/build/mkGmpDerivedConstants.dyn_o "inplace/bin/ghc-stage1" -o libraries/integer- gmp/mkGmpDerivedConstants/dist/build/tmp/mkGmpDerivedConstants -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -H32m -O -i -ilibraries/integer-gmp/mkGmpDerivedConstants/. -ilibraries/integer- gmp/mkGmpDerivedConstants/dist/build -ilibraries/integer- gmp/mkGmpDerivedConstants/dist/build/autogen -Ilibraries/integer- gmp/mkGmpDerivedConstants/dist/build -Ilibraries/integer- gmp/mkGmpDerivedConstants/dist/build/autogen -no-user-package-db -rtsopts -odir libraries/integer-gmp/mkGmpDerivedConstants/dist/build -hidir libraries/integer-gmp/mkGmpDerivedConstants/dist/build -stubdir libraries/integer-gmp/mkGmpDerivedConstants/dist/build -fno-use-rpaths -optl-Wl,-z -optl-Wl,origin -no-auto-link-packages -no-hs-main libraries /integer-gmp/mkGmpDerivedConstants/dist/build/mkGmpDerivedConstants.dyn_o Warning: -rtsopts and -with-rtsopts have no effect with -no-hs-main. Call hs_init_ghc() from your main() function to set these options. "cp" -p libraries/integer- gmp/mkGmpDerivedConstants/dist/build/tmp/mkGmpDerivedConstants inplace/lib/bin/mkGmpDerivedConstants "rm" -f inplace/lib/mkGmpDerivedConstants echo '#!/bin/sh' >> inplace/lib/mkGmpDerivedConstants echo 'executablename="/home/alain_odea/Documents/ghc/inplace/lib/bin/mkGmpDerivedConstants"' >> inplace/lib/mkGmpDerivedConstants echo 'datadir="/home/alain_odea/Documents/ghc/inplace/lib"' >> inplace/lib/mkGmpDerivedConstants echo 'bindir="/home/alain_odea/Documents/ghc/inplace/bin"' >> inplace/lib/mkGmpDerivedConstants echo 'topdir="/home/alain_odea/Documents/ghc/inplace/lib"' >> inplace/lib/mkGmpDerivedConstants echo 'pgmgcc="/home/alain_odea/Documents/gcc/cross/x86_64-sun- solaris2.11/bin/x86_64-sun-solaris2.11-gcc"' >> inplace/lib/mkGmpDerivedConstants echo 'export LD_LIBRARY_PATH=":$LD_LIBRARY_PATH"' >> inplace/lib/mkGmpDerivedConstants echo 'exec "$executablename" ${1+"$@"}' >> inplace/lib/mkGmpDerivedConstants chmod +x inplace/lib/mkGmpDerivedConstants inplace/lib/mkGmpDerivedConstants > libraries/integer- gmp/mkGmpDerivedConstants/dist/GmpDerivedConstants.h inplace/lib/mkGmpDerivedConstants: 8: exec: /home/alain_odea/Documents/ghc/inplace/lib/bin/mkGmpDerivedConstants: not found make[1]: *** [libraries/integer- gmp/mkGmpDerivedConstants/dist/GmpDerivedConstants.h] Error 127 make[1]: *** Deleting file `libraries/integer- gmp/mkGmpDerivedConstants/dist/GmpDerivedConstants.h' make: *** [all] Error 2 ~/Documents }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8373> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8255: GC Less Operation
by GHC 08 Mar '17

08 Mar '17

#8255: GC Less Operation ------------------------------+-------------------------------------------- Reporter: sirinath | Owner: Type: feature | Status: new request | Milestone: Priority: highest | Version: 7.6.3 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: Runtime performance bug Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | ------------------------------+-------------------------------------------- Hi, Is it possible to eliminated GC through Automatic Reference Counting (ARC) like in Objective C / Clang. S -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8255> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13