February 2014 - ghc-tickets

[GHC] #8808: ImpredicativeTypes type checking fails depending on syntax of arguments
by GHC 24 Apr '17

24 Apr '17

#8808: ImpredicativeTypes type checking fails depending on syntax of arguments -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.1-rc1 checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: Unknown/Multiple | valid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- g1 and g2 below type check, but g1', g2', and g2'' don't even though the types are exactly the same. {{{ {-# LANGUAGE ImpredicativeTypes, NoMonomorphismRestriction #-} module Test where f1 :: Maybe (forall a. [a] -> [a]) -> Maybe ([Int], [Char]) f1 (Just g) = Just (g [3], g "hello") f1 Nothing = Nothing f2 :: [forall a. [a] -> [a]] -> Maybe ([Int], [Char]) f2 [g] = Just (g [3], g "hello") f2 [] = Nothing g1 = (f1 . Just) reverse g1' = f1 (Just reverse) g2 = f2 [reverse] g2' = f2 ((:[]) reverse) g2'' = f2 (reverse : []) }}} Compiling it with HEAD gives these errors: {{{ [1 of 1] Compiling Test ( test.hs, test.o ) test.hs:12:16: Couldn't match expected type ‛forall a. [a] -> [a]’ with actual type ‛[a2] -> [a2]’ In the first argument of ‛Just’, namely ‛reverse’ In the first argument of ‛f1’, namely ‛(Just reverse)’ test.hs:15:17: Couldn't match expected type ‛forall a. [a] -> [a]’ with actual type ‛[a0] -> [a0]’ In the first argument of ‛: []’, namely ‛reverse’ In the first argument of ‛f2’, namely ‛((: []) reverse)’ test.hs:16:12: Couldn't match expected type ‛forall a. [a] -> [a]’ with actual type ‛[a1] -> [a1]’ In the first argument of ‛(:)’, namely ‛reverse’ In the first argument of ‛f2’, namely ‛(reverse : [])’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8808> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[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] #8585: Loopification should omit stack check
by GHC 11 Apr '17

11 Apr '17

#8585: Loopification should omit stack check ------------------------------+-------------------------------------------- Reporter: jstolarek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Runtime performance bug Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ------------------------------+-------------------------------------------- When we optimize a self-recursive tail call using loopification we don't need to perform a stack check in every loop. This is because a tail recursive function uses constant amount of stack. We should therefore place the loop header after the stack check, but before the heap check (because heap may grow in every call). parcs proposed a patch [https://ghc.haskell.org/trac/ghc/ticket/8275#comment:34 here]. We just need to make sure why it works and add some documentation. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8585> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[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] #8816: Make SPARC registerised again.
by GHC 10 Apr '17

10 Apr '17

#8816: Make SPARC registerised again. -----------------------------------+--------------------------------- Reporter: kgardas | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Solaris Architecture: sparc | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -----------------------------------+--------------------------------- It looks like recent GHC switched to unregisterised build on SPARC by default. This is kind of regression with the past GHCs where registerised builds were supported. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8816> 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] #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] #8751: Show parenthesised output of expressions in ghci
by GHC 21 Mar '17

21 Mar '17

#8751: Show parenthesised output of expressions in ghci ------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Iceland_jack Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | 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: | ------------------------------------+------------------------------------- Operator fixity can be a source of bugs (even for experienced users!),[#point1 (1)] precedence levels may vary between languages and then there are user-defined operators. Attached is a patch for a ghci command allowing users to quickly parenthesise expressions as a sanity check (and as an alternative to using :info and parsing the result yourself). The command itself is activated with `:paren`: {{{ ghci> :paren 2 + 10 * 4 / 3 2 + ((10 * 4) / 3) ghci> :paren \a b → a == b || b && a == (b == a) || b \ a b -> (a == b) || ((b && (a == (b == a))) || b) ghci> :paren 5 + 1 `mod` 2 5 + (1 `mod` 2) ghci> :paren 5 * 1 `mod` 2 (5 * 1) `mod` 2 }}} A friend of mine also pointed out that this could eventually be integrated into `haskell-mode` where the user could temporarily replace an expression with a parenthesised version or have different colours indicate different levels of logical nesting. [=#point1 (1)] [http://www.knosof.co.uk/cbook/accu06.html Developer beliefs about binary operator precedence] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8751> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[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

[GHC] #8779: Exhaustiveness checks for pattern synonyms
by GHC 28 Feb '17

28 Feb '17

#8779: Exhaustiveness checks for pattern synonyms -------------------------------------------+------------------------------- Reporter: nomeata | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- Pattern synonyms are great, as they decouple interface from implementation. Especially if #8581 is also implemented, it should be possible to change a type completely while retaining the existing interface. Exciting! Another missing piece is exhaustiveness checks. Given this pattern {{{ initLast [] = Nothing initLast xs = Just (init xs, last xs) pattern xs ::: x <- (initLast -> Just (xs,x)) }}} we want the compiler to tell the programmer that {{{ f [] = ... f (xs ::: x) = ... }}} is complete, while {{{ g (xs ::: x) = ... }}} is not. With view pattern directly, this is impossible. But the programmer did not write view patterns! So here is what I think might work well, inspired by the new `MINIMAL` pragma: We add a new pragma `COMPLETE_PATTERNS` (any ideas for a shorter name). The syntax is essentially the same as for `MINIMAL`, i.e. a boolean formula, with constructors and pattern synonyms as atoms. In this case. {{{ {-# COMPLETE_PATTERNS [] && (:::) #-} }}} Multiple pragmas are obviously combined with `||`, and there is an implicit `{-# COMPLETE_PATTERNS [] && (:) #-}` listing all real data constructors. When checking for exhaustiveness, this would be done before unfolding view patterns, and for `g` above we get a warning that `[]` is not matched. Again, the implementation is very much analogous to `MINIMAL`. Clearly, a library author can mess up and give wrong `COMPLETE_PATTERNS` pragmas. I think that is ok (like with `MINIMAL`), and generally an improvement. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8779> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 58