November 2013 - ghc-tickets

[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] #8505: Arrows example error
by GHC 11 Apr '17

11 Apr '17

#8505: Arrows example error ------------------------------------+-------------------------------------- Reporter: pdfrod | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Documentation | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Documentation bug Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+-------------------------------------- In the section '''7.15.2. Conditional commands''' of the User's Guide (http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/arrow- notation.html#idp49515792) it is stated that: {{{ proc (x,y) -> if f x y then g -< x+1 else h -< y+2 }}} is translated to: {{{ arr (\ (x,y) -> if f x y then Left x else Right y) >>> (arr (\x -> x+1) >>> f) ||| (arr (\y -> y+2) >>> g) }}} But this translation doesn't seem correct, because the arrows ''g'' and ''h'' are not being used as in the original code (''h'' doesn't appear at all in the translation). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8505> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[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] #8501: Improve error message when using rec/mdo keyword without RecursiveDo extention.
by GHC 29 Mar '17

29 Mar '17

#8501: Improve error message when using rec/mdo keyword without RecursiveDo extention. -------------------------------------+------------------------------------- Reporter: shelarcy | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Parser) | 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: #3968 | -------------------------------------+------------------------------------- GHC shows unhelpful error message when using rec keyword and/or mdo keyword without RecursiveDo extention. {{{ module NoRecursiveDo where foo = do rec str <- return "foo" putStrLn str }}} {{{ $ ghc -c NoRecursiveDo.hs NoRecursiveDo1.hs:4:5: Parse error in pattern: rec }}} {{{ module NoRecursiveDo2 where bar = mdo str <- return "bar" putStrLn str }}} {{{ $ ghc -c NoRecursiveDo2.hs NoRecursiveDo2.hs:4:9: parse error on input `<-' }}} {{{ module NoRecursiveDo3 where baz = mdo putStrLn "baz" }}} {{{ $ ghc -c NoRecursiveDo3.hs NoRecursiveDo3.hs:3:7: Not in scope: `mdo' Perhaps you meant `mod' (imported from Prelude) }}} I think that GHC should suggest to use RecursiveDo extention when using mdo/rec keyword. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8501> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

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

07 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

[GHC] #8405: experiment with using function-sections for linking (for smaller libs and executables)
by GHC 11 Feb '17

11 Feb '17

#8405: experiment with using function-sections for linking (for smaller libs and executables) ------------------------------------+------------------------------------- Reporter: carter | Owner: Type: task | Status: new Priority: normal | Milestone: 7.10.1 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: | ------------------------------------+------------------------------------- currently the only support we have for making small (ish) executables using split objects, which 1. is not on by default, for various good reasons 2. can seriously penalize compile times 3. in tandem, something like strip is often used, but on some platforms/targets (such as the iOS cross compiler), strip will actually break things might be worth seriously experimenting with function-sections / gc- sections in the object files we generate. example slide deck on this http://elinux.org/images/2/2d/ELC2010-gc- sections_Denys_Vlasenko.pdf -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8405> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 21

[GHC] #8155: Defaulting bug or unfortunate error message with closed type families
by GHC 08 Feb '17

08 Feb '17

#8155: Defaulting bug or unfortunate error message with closed type families ------------------------------------+------------------------------------- Reporter: nh2 | 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: | ------------------------------------+------------------------------------- https://github.com/nh2/infinite-type-families/blob/master/Test2.hs Some code extracted from hmatrix: {{{ {-# LANGUAGE CPP #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE FlexibleInstances #-} module Test where data Vector a = Vector a data Matrix a = Matrix a class Build f where build' :: BoundsOf f -> f -> ContainerOf f #if __GLASGOW_HASKELL__ <= 706 -- Normal type families with GHC 7.6, works well. type family BoundsOf x type instance BoundsOf (a->a) = Int type instance BoundsOf (a->a->a) = (Int,Int) type family ContainerOf x type instance ContainerOf (a->a) = Vector a type instance ContainerOf (a->a->a) = Matrix a #else -- Closed type families for GHC 7.8 type family BoundsOf x where BoundsOf (a->a->a) = (Int,Int) BoundsOf (a->a) = Int type family ContainerOf x where ContainerOf (a->a) = Vector a ContainerOf (a->a->a) = Matrix a #endif instance (Num a) => Build (a->a) where build' = buildV buildV :: (Integral a, Num b) => a -> (b -> c) -> Vector c buildV _ _ = undefined }}} This is probably related to #8154. With GHC 7.7, we get the following error: {{{ Test2.hs:59:14: Could not deduce (BoundsOf (a -> a) ~ Integer) from the context (Num a) bound by the instance declaration at Test2.hs:58:10-32 Expected type: BoundsOf (a -> a) -> (a -> a) -> ContainerOf (a -> a) Actual type: Integer -> (a -> a) -> Vector a Relevant bindings include build' :: BoundsOf (a -> a) -> (a -> a) -> ContainerOf (a -> a) (bound at Test2.hs:59:5) In the expression: buildV In an equation for ‛build'’: build' = buildV }}} 1) Where does this Integer come from? 2) Change {{{ BoundsOf (a->a) = Int }}} into {{{ BoundsOf (a->a) = Integer }}} You get the same error message, although clearly {{{BoundsOf (a -> a) ~ Integer}}} (you just wrote that down).[[BR]] Even if the order matters in closed type families, is this not the wrong error message? 3) If you flip the order so that the (a->a) case comes first, it works (with both it Int or Integer). I don't quite understand why. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8155> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8