- ghc-devs - Haskell.org

Re: [commit: ghc] master: Make -XDeriveFunctor more generous about non-last arguments (Trac #8678) (cdac487)
by Gabor Greif 07 Mar '14

07 Mar '14

Thanks for fixing this, Simon! I can add tests if you haven't already... Cheers, Gabor On 3/7/14, git(a)git.haskell.org <git(a)git.haskell.org> wrote: > Repository : ssh://git@git.haskell.org/ghc > > On branch : master > Link : > http://ghc.haskell.org/trac/ghc/changeset/cdac487bcd9928d77738f6e79ead7b9bb… > >>--------------------------------------------------------------- > > commit cdac487bcd9928d77738f6e79ead7b9bb4bc00fd > Author: Simon Peyton Jones <simonpj(a)microsoft.com> > Date: Fri Mar 7 16:45:55 2014 +0000 > > Make -XDeriveFunctor more generous about non-last arguments (Trac > #8678) > > When deriving Functor, Foldable, Traversable, we need only look at the > way that the last type argument is treated. It's fine for there to > be existentials etc, provided they don't affect the last type argument. > > See Note [Check that the type variable is truly universal] in TcDeriv. > > >>--------------------------------------------------------------- > > cdac487bcd9928d77738f6e79ead7b9bb4bc00fd > compiler/typecheck/TcDeriv.lhs | 88 > +++++++++++++++----- > compiler/typecheck/TcGenDeriv.lhs | 8 +- > docs/users_guide/glasgow_exts.xml | 7 ++ > testsuite/tests/deriving/should_compile/T8678.hs | 12 +++ > testsuite/tests/deriving/should_compile/all.T | 1 + > testsuite/tests/deriving/should_fail/T3101.stderr | 2 +- > testsuite/tests/generics/GenCannotDoRep0_0.stderr | 3 +- > testsuite/tests/generics/GenCannotDoRep1_0.stderr | 3 +- > .../tests/typecheck/should_fail/tcfail086.stderr | 2 +- > 9 files changed, 96 insertions(+), 30 deletions(-) > > Diff suppressed because of size. To see it, use: > > git diff-tree --root --patch-with-stat --no-color --find-copies-harder > --ignore-space-at-eol --cc cdac487bcd9928d77738f6e79ead7b9bb4bc00fd > _______________________________________________ > ghc-commits mailing list > ghc-commits(a)haskell.org > http://www.haskell.org/mailman/listinfo/ghc-commits >

1 0

Emitting calls to functions defined in PrimOps.cmm from the code gen
by Johan Tibell 07 Mar '14

07 Mar '14

Hi, I'm trying to make allocation of arrays of small, statically-known size inline. For large or unknown size I just want to call the existing stg_newArrayzh function. In code: doNewArrayOp :: DynFlags -> CmmFormal -> CmmExpr -> FCode () doNewArrayOp dflags res_r (CmmLit (CmmInt n _)) | n <= inlineAllocLimit = do -- Do everything inline. doNewArrayOp dflags res_r n = do emitCallTo "stg_newArrayzh" res_r n -- HERE The question is: how do I emit a call to stg_newArrayzh, which is defined in PrimOps.cmm? -- Johan

2 3

ANNOUNCE: GHC 7.8.1 Release Candidate 2
by Austin Seipp 07 Mar '14

07 Mar '14

We are pleased to announce the second release candidate for GHC 7.8.1: http://www.haskell.org/ghc/dist/7.8.1-rc2/ http://www.haskell.org/ghc/docs/7.8.1-rc2/html/ This includes the source tarball and binary distributions for Windows, Linux, OS X, FreeBSD, and Solaris, on x86 and x86_64, and more. There are now two binary builds for Linux users: one for glibc 2.12 and GMP 4, primarily intended for RHEL users, and one built for glibc 2.13 and GMP 5 - intended for Debian and more recent machines. In addition, there is also an iOS cross compiler build (both in the native ARM configuration and i386 simulator configurations), separate Solaris 10 and Solaris 11 builds - the latter supporting dynamic linking - and a new Linux/PPC64 build using glibc 2.18/GMP 5. There is a signed copy of the SHA256 hashes available (attached) using my GPG key (keyid 0x3B58D86F). We're also now offering .tar.xz files, which roughly cut the size of the binary distributions in half compared to bzip2. We've closed approximately 45 tickets that people filed for RC1 in this release. Thank you for all the reports! We plan to make the final 7.8.1 release soon, and hope RC2 will be the last RC. So *please* test as much as possible; bugs are much cheaper if we find them before the release! -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

7 12

Where's the implementation of newArray#
by Johan Tibell 07 Mar '14

07 Mar '14

Is the below code it (from rts/PrimOps.cmm)? Does it being in PrimOps.cmm mean that it's always out-of-line? stg_newArrayzh ( W_ n /* words */, gcptr init ) { W_ words, size; gcptr p, arr; again: MAYBE_GC(again); // the mark area contains one byte for each 2^MUT_ARR_PTRS_CARD_BITS words // in the array, making sure we round up, and then rounding up to a whole // number of words. size = n + mutArrPtrsCardWords(n); words = BYTES_TO_WDS(SIZEOF_StgMutArrPtrs) + size; ("ptr" arr) = ccall allocate(MyCapability() "ptr",words); TICK_ALLOC_PRIM(SIZEOF_StgMutArrPtrs, WDS(n), 0); SET_HDR(arr, stg_MUT_ARR_PTRS_DIRTY_info, CCCS); StgMutArrPtrs_ptrs(arr) = n; StgMutArrPtrs_size(arr) = size; // Initialise all elements of the the array with the value in R2 p = arr + SIZEOF_StgMutArrPtrs; for: if (p < arr + WDS(words)) { W_[p] = init; p = p + WDS(1); goto for; } // Initialise the mark bits with 0 for2: if (p < arr + WDS(size)) { W_[p] = 0; p = p + WDS(1); goto for2; } return (arr); }

2 1

new Windows build problem
by Simon Peyton Jones 06 Mar '14

06 Mar '14

Sigh. Totally new problem with building GHC (HEAD) on Windows.. "inplace/bin/ghc-stage2.exe" -hisuf hi -osuf o -hcsuf hc -static -H32m -O -Werror -Wall -H64m -O0 -package-name haskell98-2.0.0.3 -hide-all-packages -i -ilibraries/haskell98/. -ilibraries/haskell98/dist-install/build -ilibraries/haskell98/dist-install/build/autogen -Ilibraries/haskell98/dist-install/build -Ilibraries/haskell98/dist-install/build/autogen -Ilibraries/haskell98/. -optP-include -optPlibraries/haskell98/dist-install/build/autogen/cabal_macros.h -package array-0.5.0.0 -package base-4.7.0.0 -package directory-1.2.0.2 -package old-locale-1.0.0.6 -package old-time-1.1.0.2 -package process-1.2.0.0 -package time-1.4.2 -Wall -XHaskell98 -O2 -O -dcore-lint -fno-warn-amp -fno-warn-deprecated-flags -dcore-lint -no-user-package-db -rtsopts -odir libraries/haskell98/dist-install/build -hidir libraries/haskell98/dist-install/build -stubdir libraries/haskell98/dist-install/build -c libraries/haskell98/./Directory.hs -o libraries/haskell98/dist-install/build/Directory.o bash: [6536: 1 (255)] tcsetattr: Inappropriate ioctl for device HEAD $ What on earth is this ioctl stuff? The above is repeatable; same command line, same result. But I'm also getting random seg-faults when building libraries with the stage2 compiler libraries/random/ghc.mk:5: recipe for target 'libraries/random/dist-install/build/System/Random.o' failed make[1]: *** [libraries/random/dist-install/build/System/Random.o] Segmentation fault This is NOT repeatable. Saying 'make' again gets further. Any ideas? Simon

1 0

[PATCH] time library fix for PowerPC
by Gabor Greif 06 Mar '14

06 Mar '14

Please consider this as a pull request. <https://github.com/ggreif/packages-time/commit/83f08b8896b950707a910fed4e30…> It fixes an ugly code size blowup that trips the PowerPC assembler (NCG mode). Cheers, Gabor

2 1

Standalone Deriving, GND and roles in 7.8.1-rc2
by Sergei Trofimovich 06 Mar '14

06 Mar '14

Hello! Trying to build random packages with fresh ghc-7.8.1-rc2 I've come up with a strange bit: https://github.com/trofi/Idris-dev/commit/9f93122ba1aa075c2fa1555fea68a6c40… Is it an intended behaviour that deriving instance Parsing IdrisInnerParser capable of doing more, than newtype IdrisInnerParser a = IdrisInnerParser { runInnerParser :: Parser a } deriving (Parsing) ? Thanks! -- Sergei

3 4

Strange file
by Simon Peyton Jones 06 Mar '14

06 Mar '14

What is this file? nofib/real/HMMS/lib/haskell/Builtin.hi It's a mystery! Can we delete it? Simon

2 1

GHC 7.8 RC2: ARM cross compiler (LLVM Error)
by Luke Clifton 05 Mar '14

05 Mar '14

Hi, I successfully compiled a native GHC 7.8 RC2 from the source distribution. I now want to create an GHC cross compiler targeting ARM. So I do a ./configure --target=arm-linux-gnueabi --with-gcc=arm-linux-gnueabi-gcc (I don't know why I have to explicitly supply the GCC, documentation seems to suggest that it would pick that up based on target, which it seems to do for ld.) I then make a copy of the mk/build.mk.sample and place it at mk/build.mk and uncomment the BuildFlavour = quick-cross line. At this point I run make and it goes along happily until... "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -H64m -O0 -package-name haskeline-0.7.1.2 -hide-all-packages -i -ilibraries/haskeline/. -ilibraries/haskeline/dist-install/build -ilibraries/haskeline/dist-install/build/autogen -Ilibraries/haskeline/dist-install/build -Ilibraries/haskeline/dist-install/build/autogen -Ilibraries/haskeline/includes -optP-DUSE_GHC_ENCODINGS -optP-DTERMINFO -optP-include -optPlibraries/haskeline/dist-install/build/autogen/cabal_macros.h -package base-4.7.0.0 -package bytestring-0.10.4.0 -package containers-0.5.4.0 -package directory-1.2.0.2 -package filepath-1.3.0.2 -package terminfo-0.4.0.0 -package transformers-0.3.0.0 -package unix-2.7.0.1 -Wall -XHaskell98 -XForeignFunctionInterface -XRank2Types -XFlexibleInstances -XTypeSynonymInstances -XFlexibleContexts -XExistentialQuantification -XScopedTypeVariables -XGeneralizedNewtypeDeriving -XMultiParamTypeClasses -XOverlappingInstances -XUndecidableInstances -XCPP -XDeriveDataTypeable -XPatternGuards -O -fllvm -no-user-package-db -rtsopts -odir libraries/haskeline/dist-install/build -hidir libraries/haskeline/dist-install/build -stubdir libraries/haskeline/dist-install/build -c libraries/haskeline/./System/Console/Haskeline/Command/History.hs -o libraries/haskeline/dist-install/build/System/Console/Haskeline/Command/History.o LLVM ERROR: .Lbase_GHCziChar_chr2_info$alias: Target doesn't support aliases to declarations libraries/haskeline/ghc.mk:4: recipe for target 'libraries/haskeline/dist-install/build/System/Console/Haskeline/Command/History.o' failed make[1]: *** [libraries/haskeline/dist-install/build/System/Console/Haskeline/Command/History.o] Error 1 Makefile:64: recipe for target 'all' failed make: *** [all] Error 2 Here is my setup. - The Glorious Glasgow Haskell Compilation System, version 7.8.0.20140228 - arm-linux-gnueabi-gcc (GCC) 4.7.3 - LLVM 3.4 Is this me being silly, or is it a real problem? If it is a real problem then I can file a ticket. If there is anything I can do to help try and get GHC cross compiling for ARM I would gladly do what I can. Regards, Luke

1 0

Cabal-1.18.1.3 and cabal-install-1.18.0.3 releases made
by Johan Tibell 04 Mar '14

04 Mar '14

Hi, I've just made a release of Cabal/cabal-install, for the benefit of GHC 7.8. People have in the past expressed a desire for having prebuilt binaries of cabal-install. I'm happy to upload such binaries if people send them to me. Please specify for which arch/OS the binary is built. -- Johan

1 0