August 2016 - ghc-tickets

[GHC] #11425: The GHC API doesn't provide a good hscTarget option for tooling
by GHC 04 Apr '17

04 Apr '17

#11425: The GHC API doesn't provide a good hscTarget option for tooling -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: feature | Status: new request | Priority: high | Milestone: 8.2.1 Component: GHC API | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Tools like ghc-mod typically just want `TypecheckedModule`s. Sadly, the GHC API currently doesn't provide a good way to get at these in all cases (see this [https://github.com/DanielG/ghc-mod/issues/205|ghc-mod ticket]). Each of the options we offer are cursed with their own limitations (largely quoting from the ghc-mod ticket), == HscNothing == At first glance this looks like what you would want. But... * Pros * Doesn't generate code of any sort and is therefore rather lightweight * Cons * It lacks support for Template Haskell * Has trouble with `foreign export`s * [https://github.com/DanielG/ghc-mod/pull/145|Fails} to issue pattern match checker warnings == HscInterpreted == Okay, so `HscNothing` doesn't work. Maybe `HscInterpreted` is better? * Pros * Supports Template Haskell * Cons * Can't deal with unboxed tuples (#1257) * Slower as we need to produce unnecessary bytecode * Large memory footprint * Also can't deal with `foreign export`s == HscAsm == * Pros * Supports all compilable code * Cons * Slow * Produces `.o` files This is quite unfortunate. It seems like we need something in between `HscNothing` and `HscInterpreted` which is willing to use the interpreter to evaluate Template Haskell splices when necessary, but doesn't produce bytecode. Unfortunately it's unclear what to do about `foreign export` (but arguably most tools would be fine with some approximate representation). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11425> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[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] #12461: Document -O3
by GHC 04 Apr '17

04 Apr '17

#12461: Document -O3 -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Documentation Unknown/Multiple | bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- GHC accepts the flag -O3, but I can't find any documentation on it. What does it do? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12461> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9596: Create monoidal category framework for arrow desugarer
by GHC 03 Apr '17

03 Apr '17

#9596: Create monoidal category framework for arrow desugarer -------------------------------------+------------------------------------- Reporter: spacekitteh | Owner: Type: task | spacekitteh Priority: normal | Status: new Component: GHC API | Milestone: 7.10.1 Keywords: | Version: Architecture: Unknown/Multiple | Operating System: Difficulty: Project (more | Unknown/Multiple than a week) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I'm going to put it into a GHC namespace (GHC.Arrows.Experimental, perhaps) and put instances for Arrow and such in there as well. In a later ticket I'll work on the desugarer, converting erverything into SMC combinators rather than Arrow combinators. The basic design is [blog.spacekitteh.moe/posts/new-monoidal-cats.html here] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9596> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #10976: Applicative Comprehensions
by GHC 02 Apr '17

02 Apr '17

#10976: Applicative Comprehensions -------------------------------------+------------------------------------- Reporter: davidar | Owner: Type: feature | Status: new request | Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: 8914 | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- As discussed on `ghc-devs`, when both the `MonadComprehensions` and `ApplicativeDo` language extensions are enabled, it should be possible to use comprehension-notation (in addition to do-notation) for `Applicative`s. This would allow, for example, an expression like {{{#!hs (\x y -> x + 2*y) <$> ZipList [1..10] <*> ZipList [10,20..100] }}} to also be written as {{{#!hs [ x + 2*y | x <- ZipList [1..10], y <- ZipList [10,20..100] ] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10976> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12490: ApplicativeDo and RebindableSyntax do not desugar as expected
by GHC 02 Apr '17

02 Apr '17

#12490: ApplicativeDo and RebindableSyntax do not desugar as expected -------------------------------------+------------------------------------- Reporter: AaronFriel | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In a module with -XApplicativeDo, -XRebindableSyntax, and local definitions for everything in the Functor-Applicative-Monad hierarchy, do- notation always desugars to "join (... (return ...))" (or /s/return/pure/). This forces the result to have at least the constraints of join, which in my case is "IxMonad m". {{{#!hs {-# LANGUAGE RebindableSyntax, ApplicativeDo #-} module My where -- straightforward definitions of fmap, pure, (<*>), join, return, (>>=), (>>) and fail in terms of IxFunctor, IxPointed, IxApplicative, IxMonad fPure m = do a <- m b <- m pure (a, b) fReturn m = do a <- m b <- m return (a, b) }}} According to -ddump-ds, these desugar to: {{{#!hs fPure :: IxMonad m => m k1 k1 a -> m k1 k1 (a, a) fPure m = My.join ( My.(<*>) (My.fmap (\a b -> My.pure (a, b)) m) m ) fReturn :: IxMonad m => m k1 k1 a -> m k1 k1 (a, a) fReturn m = My.join ( My.(<*>) (My.fmap (\a b -> My.return (a, b)) m) m ) }}} But I would expect: {{{#!hs fPure m = My.(<*>) (My.fmap (\a b -> (a, b)) m) m fReturn m = -- same }}} It appears that when "return" is not from base, ApplicativeDo only partially desugars to the specification. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12490> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #11612: Bug in ApplicativeDo
by GHC 02 Apr '17

02 Apr '17

#11612: Bug in ApplicativeDo -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I discovered a bug in `ApplicativeDo`. Fix coming shortly. The problem is illustrated by this test case, which I will add to `ado001.hs` in the testsuite: {{{ test11 :: M () test11 = do x1 <- a let x2 = x1 x3 <- b let x4 = c x5 = x4 return (const () (x1,x2,x3,x4)) }}} Which should give `(a | b)`, but gives `(a ; b)` in 8.0.1 RC. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11612> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[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] #12181: Multi-threaded code on ARM64 GHC runtime doesn't use all available cores
by GHC 27 Mar '17

27 Mar '17

#12181: Multi-threaded code on ARM64 GHC runtime doesn't use all available cores -------------------------------------+------------------------------------- Reporter: varosi | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 7.10.3 System | Keywords: | Operating System: Unknown/Multiple Architecture: arm | Type of failure: Runtime | performance bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This is the machine: [http://www.cnx-software.com/2016/04/30/setup-guide-mini-review-of-bq- aquaris-m10-ubuntu-edition-tablet-from-a-developers-perspective/] Haskell ray-tracer that uses Control.Parallel.Strategies and parBuffer that is working well on x64 machine and using all the cores available use only 2 cores from 4 in total on that ARM machine. This machine usually work on two cores only and when it sees that they are used more - it enables two more to get total of four cores. If I give "+RTS -N4" it works just fine. So I think the problem is that the runtime doesn't check for all available cores, but only for enabled. In the first link you could see that "lscpu" returns 4 cores in total. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12181> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #9418: Warnings about "INLINE binder is (non-rule) loop breaker"
by GHC 27 Mar '17

27 Mar '17

#9418: Warnings about "INLINE binder is (non-rule) loop breaker" -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Gabor rightly complains: I see literally ''thousands'' of these warnings (in yesterday's and) today's bootstraps: {{{ HC [stage 1] libraries/base/dist-install/build/GHC/Base.o *** Core Lint warnings : in result of Desugar (after optimization) *** {-# LINE 261 "libraries/base/GHC/Base.lhs #-}: Warning: [RHS of $c>>_arr :: forall r_agf a_adQ b_adR. (r_agf -> a_adQ) -> (r_agf -> b_adR) -> r_agf -> b_adR] INLINE binder is (non-rule) loop breaker: $c>>_arr {-# LINE 632 "libraries/base/GHC/Base.lhs #-}: Warning: [RHS of $c>>_apH :: forall a_adQ b_adR. GHC.Types.IO a_adQ -> GHC.Types.IO b_adR -> GHC.Types.IO b_adR] INLINE binder is (non-rule) loop breaker: $c>>_apH }}} }}} This is clearly unsatisfactory, because it is unsettling, and perhaps conceals more important warnings. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9418> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6