- Glasgow-haskell-users

Re: Proposal: Require OverlappingInstances for the most specific instance only
by Christian Höner zu Siederdissen 26 Oct '10

26 Oct '10

Hi, can't remember to have been hit by it; but changing would mean that library maintainers can act more conservatively. Otherwise one needs to be able to guess if an instance might be overlapped. The new version wouldn't require that, yes? Gruss, Christian * John Smith <voldermort(a)hotmail.com> [26.10.2010 21:45]: > In the case of overlapping instance declarations, GHC currently > requires the less specific instance to be compiled with > OverlappingInstances for the more specific instance to be usable. > This means that, for example, if you write > > type ChessBoard = Array (Int,Int) Piece > > there is no way to > > instance Show ChessBoard where > show board = ... > > because Array is already an instance of Show, and was not compiled with OverlappingInstances. > > http://hackage.haskell.org/trac/ghc/ticket/3877 requests that > OverlappingInstances be required for only the most specific instance > declarations, as suggested in the documentation. "Perhaps the rule > should instead say that the overlapping instance declaration should > be compiled in this way, rather than the overlapped one ... We are > interested to receive feedback on these points." > > SPJ offered to make this change, if the list users agree. (See > comment 6.) Proposed deadline for discussion is 16th November. > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users(a)haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

1 0

Implicit 'forall' in data declarations
by Sebastian Fischer 25 Oct '10

25 Oct '10

Hello, GHC 6.12.3 allows to omit the explicit quantification of higher-rank type variables using 'forall' in data types if they appear in a type class context {-# LANGUAGE RankNTypes #-} data Foo = Foo (Eq a => a) Is this implicit introduction of 'forall' intended? If it is, why does it not work in function types? The following is not accepted by my GHC: bar :: Eq b => (Eq a => a) -> b bar x = x The error message is All of the type variables in the constraint `Eq a' are already in scope (at least one must be universally quantified here) (Use -XFlexibleContexts to lift this restriction) Using `FlexibleContexts` the signature of `bar` seems to be interpreted as bar :: (Eq b, Eq a) => a -> b because then the error becomes Couldn't match expected type `b' against inferred type `a' So unlike in data-type declarations, a 'forall' in a function type must be written explicitly even if the quantified variable appears in a local type class constraint. bar :: Eq b => (forall a . Eq a => a) -> b bar x = x I have not yet installed GHC 7. Is this inconsistency between data and function declarations intended or has it been changed in the new type checker? Sebastian

3 12

ghc7 typing problem
by Christian Maeder 25 Oct '10

25 Oct '10

Hi, I've looked at: http://hackage.haskell.org/trac/ghc/blog/LetGeneralisationInGhc7 but still have a problem with the attached program that fails with: GHCi, version 7.1.20101010: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package ffi-1.0 ... linking ... done. [1 of 1] Compiling Main ( HasKey.hs, interpreted ) HasKey.hs:17:10: Couldn't match type `key' with `key1' because this skolem type variable would escape: `key1' This skolem is bound by the instance declaration In the instance declaration for `Ord (Keyed x)' at the final instance for Ord. The original code comes from http://hackage.haskell.org/packages/archive/uni-util/2.2.0.0/doc/html/Util-… Cheers Christian

2 2

ANNOUNCE: GHC 7.0.1 Release Candidate 1
by Ian Lynagh 25 Oct '10

25 Oct '10

We are pleased to announce the first release candidate for GHC 7.0.1: http://new-www.haskell.org/ghc/dist/7.0.1-rc1/ This includes the source tarball, installers for OS X and Windows, and bindists for amd64/Linux and i386/Linux. Please test as much as possible; bugs are much cheaper if we find them before the release! Thanks Ian, on behalf of the GHC team

15 43

GHC static binaries with glibc-2.12?
by Alexander Dunlap 23 Oct '10

23 Oct '10

Hi all, I recently upgraded my Arch Linux system to glibc 2.12 and static binaries compiled with GHC 6.12.3 all fail with the message "mkTextEncoding: invalid argument (Invalid argument)". This did not happen with glibc 2.11. Has anyone else had this problem? Does anyone have any advice for debugging it? Thanks, Alex

4 6

Re: clearing GHCi (and, by extension, hint) loaded module dependencies
by Alex Suraci 23 Oct '10

23 Oct '10

On Tue, Sep 21, 2010 at 10:30 AM, Daniel Gorín <jcpetruzza(a)gmail.com> wrote: > Hi > > What I make of this is that you should run a new interpreter (i.e. use runInterpreter(T)) instead of calling reset. > > Could you try this this approach and see if it works? > > Daniel Every "load:" call already runs its own interpreter. I guess the session is sticking around somewhere in-between. I've been playing around with hint and the GHC API trying to figure this one out (with Simon's tips in mind), but haven't found a way to discard the session, or even on what level that should be done. In runInterpreter? Or in separate runGhc calls? The best guess I have so far is using getSession/setSession inside the interpreter call to restore it to the way it was before, but that seems to have no effect. Here's what I'm using to test: http://hpaste.org/40015/hintghc_memory Even with setSession, the cache seems to be sticking around - subsequent loads are faster, and the memory usage doesn't go down. -- Alex

3 7

ghc-6.12.3 package base - build failure on ubuntu10.10 (works with 10.4)
by Mischa Dieterle 19 Oct '10

19 Oct '10

Hi, I'm getting a build failure when I try to compile ghc-6.12 from the http://darcs.haskell.org/ghc-6.12 repo. ---- ghc-cabal: Missing dependency on a foreign library: * Missing C library: iconv This problem can usually be solved by installing the system package that provides this library (you may need the "-dev" version). If the library is already installed but in a non-standard location then you can use the flags --extra-include-dirs= and --extra-lib-dirs= to specify where it is. make[1]: *** [libraries/base/dist-install/package-data.mk] Error 1 make: *** [all] Error 2 ---- I'm using a ubuntu 10.10-64 bit system with libc-bin and libc-dev-bin installed. I don't think the problem is a missing iconv library. Maybe the problem is in the generated configure script by the new autoconf version (autoconf version is 2.67). Maybe someone can help. Cheers, Mischa Stderr output of ./configure on base module is: ./configure: line 8709: ${ac_cv_search_iconv_t_cd_ ______________________cd___iconv_open_____ ______________________iconv_cd_NULL_NULL_NULL_NULL__ ______________________iconv_close_cd__+set}: bad substitution ./configure: line 8735: ac_cv_search_iconv_t_cd_: command not found ./configure: line 8736: ______________________cd___iconv_open_____: command not found ./configure: line 8737: ______________________iconv_cd_NULL_NULL_NULL_NULL__: command not found ./configure: line 8742: ${ac_cv_search_iconv_t_cd_ ______________________cd___iconv_open_____ ______________________iconv_cd_NULL_NULL_NULL_NULL__ ______________________iconv_close_cd__+set}: bad substitution ./configure: line 8742: ${ac_cv_search_iconv_t_cd_ ______________________cd___iconv_open_____ ______________________iconv_cd_NULL_NULL_NULL_NULL__ ______________________iconv_close_cd__+set}: bad substitution ./configure: line 8746: ${ac_cv_search_iconv_t_cd_ ______________________cd___iconv_open_____ ______________________iconv_cd_NULL_NULL_NULL_NULL__ ______________________iconv_close_cd__+set}: bad substitution ./configure: line 8746: ac_cv_search_iconv_t_cd_: command not found ./configure: line 8747: ______________________cd___iconv_open_____: command not found ./configure: line 8748: ______________________iconv_cd_NULL_NULL_NULL_NULL__: command not found ./configure: line 8751: ______________________cd___iconv_open_____: command not found

3 3

Has something about -prof -auto-all changed in GHC 7?
by Bryan O'Sullivan 19 Oct '10

19 Oct '10

I've been trying to use a library compiled with profiling in 7.0.1rc1, where I'm compiling the library with -auto-all, but I'm getting output when I run an app linked against the library that contains almost no information from inside the library: basically just a single cost centre from the app itself shows up, and almost nothing inside the library. I've verified via "cabal build -v" that the library is indeed being built with -prof -auto-all.

3 3

Template Haskell: onward and upward
by Simon Peyton-Jones 18 Oct '10

18 Oct '10

Folks Following lots of feedback from users, especially at ICFP, I've evolved some proposals for Template Haskell, that should make it both more expressive, and more secure. http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal Do let me know what you think. Discussion by email is fine (cc me if it's on Haskell-cafe), or comments direct on the Trac. (None of this will be in GHC 7.0; it's a proposed plan for post-release improvements.) Thanks Simon

1 0

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1
by Vivian McPhail 17 Oct '10

17 Oct '10

Trying to build rc1 from source linux x86_64 BuildFlavour = perf It seems that the -fPIC flag is set, but an error still occurs ( /usr/bin/ld: libraries/integer-gmp/gmp/objs/abs.o: relocation R_X86_64_32 against `.text' can not be used when making a shared object; recompile with -fPIC ) "inplace/bin/ghc-stage1" -fPIC -dynamic -O -H64m -package-name base-4.3.0.0 -hide-all-packages -i -ilibraries/base/. -ilibraries/base/dist-install/build -ilibraries/base/dist-install/build/autogen -Ilibraries/base/dist-install/build -Ilibraries/base/dist-install/build/autogen -Ilibraries/base/include -optP-DOPTIMISE_INTEGER_GCD_LCM -optP-include -optPlibraries/base/dist-install/build/autogen/cabal_macros.h -package ghc-prim-0.2.0.0 -package integer-gmp-0.2.0.2 -package rts-1.0 -package-name base -XMagicHash -XExistentialQuantification -XRank2Types -XScopedTypeVariables -XUnboxedTuples -XForeignFunctionInterface -XUnliftedFFITypes -XDeriveDataTypeable -XGeneralizedNewtypeDeriving -XFlexibleInstances -XStandaloneDeriving -XPatternGuards -XEmptyDataDecls -XNoImplicitPrelude -XCPP -no-user-package-conf -rtsopts -O2 -XGenerics -fno-warn-deprecated-flags -odir libraries/base/dist-install/build -hidir libraries/base/dist-install/build -stubdir libraries/base/dist-install/build -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -c libraries/base/./Data/Typeable.hs-boot -o libraries/base/dist-install/build/Data/Typeable.dyn_o-boot /usr/bin/ld: libraries/integer-gmp/gmp/objs/abs.o: relocation R_X86_64_32 against `.text' can not be used when making a shared object; recompile with -fPIC libraries/integer-gmp/gmp/objs/abs.o: could not read symbols: Bad value collect2: ld returned 1 exit status make[1]: *** [libraries/integer-gmp/dist-install/build/ libHSinteger-gmp-0.2.0.2-ghc7.0.0.20100924.so] Error 1 make[1]: *** Waiting for unfinished jobs.... make: *** [all] Error 2 Vivian

5 4