Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1
On Tue, Sep 28, 2010 at 11:46:19AM +1000, Jens Petersen wrote: We are pleased to announce the first release candidate for GHC 7.0.1 Thank you! :) Are you going to bootstrap the testsuite? I would like to run it but having trouble working out how to do that. Ah, sorry, I tarred up the wrong thing. Try this instead: http://new-www.haskell.org/ghc/dist/7.0.1-rc1/testsuite-7.0.0.20100924-2.tar.bz2 Thanks Ian ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Version 7.0.1-rc1 bootstrapping
On Sun, Sep 26, 2010 at 02:52:30PM -0700, David Fox wrote: In order to bootstrap with the compiler we are using, I had to rename the function at line 13 of compiler/utils/Exception.hs from mask_ to mask. Hmm, curious. mask_ has mask's type, which seems wrong, but building the stable branch with RC1 works fine. Simon, do you know what's going on? Thanks Ian ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1
On Mon, Sep 27, 2010 at 11:55:51AM -0700, Evan Laforge wrote: There are some issues with the .pkg installer under OS X: Installers shouldn't be deleting the old version! This has been a long-standing bug of the OS X installer. We'd love a fix from an OS X installer expert! The framework-pkg target in distrib/MacOS/Makefile is how we build the installer. solution for this is to have /usr/bin/ghc-a.b.c point to .../GHC.framework/Versions/abc/... instead of ../GHC.framework/Versions/Current/... Yes, that would make sense, if we could install multiple versions simultaneously. Thanks Ian ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1
Please test as much as possible; bugs are much cheaper if we find them before the release! Could you please have a look at the documentation issues in the Windows installer before release? Points 4-6 in: http://hackage.haskell.org/trac/ghc/ticket/4292 (documentation links in haddock and ghc-pkg no longer match current directory layout) I'm somewhat surprised that noone else has tripped over these in the current release (though I recall occasional unspecified complaints about documentation links on GHC and Haskell Platform mailing lists, so perhaps there are related tickets?). Also, assuming that Simon's patch fixes http://hackage.haskell.org/trac/ghc/ticket/4332 (can't redirect the output of individual GHCi commands anymore; again, on Windows) it would be nice/important to have that merged into the release, as I know of no workaround. Claus ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Does GhcDebugged work?
Excerpts from Ian Lynagh's message of Tue Sep 28 13:18:17 -0400 2010: Yes, unless you make clean. (it works by putting Validating=YES in mk/are-validating.mk) Oof, ok, I bet that was what I was seeing. Thanks, Edward ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Version 7.0.1-rc1 bootstrapping
On 28/09/10 11:08, Ian Lynagh wrote: On Sun, Sep 26, 2010 at 02:52:30PM -0700, David Fox wrote: In order to bootstrap with the compiler we are using, I had to rename the function at line 13 of compiler/utils/Exception.hs from mask_ to mask. Hmm, curious. mask_ has mask's type, which seems wrong, but building the stable branch with RC1 works fine. Simon, do you know what's going on? It's wrong, but we got away with it because mask_ is never referenced in the stage 1 compiler - the only use is in Linker.lhs which is not compiled in stage 1. I'll clean it up. Cheers, Simon ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1
I'm seeing errors like this in various places, which I guess are coming from the new type checker: Data/Array/Vector/Prim/BUArr.hs:663:3: Couldn't match type `s' with `s3' because this skolem type variable would escape: `s3' This skolem is bound by the polymorphic type `forall s. ST s a' The following variables have types that mention s fill0 :: MBUArr s e - ST s Int (bound at Data/Array/Vector/Prim/BUArr.hs:669:5) In the first argument of `runST', namely `(do { marr - newMBU n; n' - fill0 marr; unsafeFreezeMBU marr n' })' I would love to hear an explanation about what they mean and what to do about them. (This one is from uvector.) ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1
On Tuesday 28 September 2010 11:10:58 pm David Fox wrote: I'm seeing errors like this in various places, which I guess are coming from the new type checker: Data/Array/Vector/Prim/BUArr.hs:663:3: Couldn't match type `s' with `s3' because this skolem type variable would escape: `s3' This skolem is bound by the polymorphic type `forall s. ST s a' The following variables have types that mention s fill0 :: MBUArr s e - ST s Int (bound at Data/Array/Vector/Prim/BUArr.hs:669:5) In the first argument of `runST', namely `(do { marr - newMBU n; n' - fill0 marr; unsafeFreezeMBU marr n' })' I would love to hear an explanation about what they mean and what to do about them. (This one is from uvector.) This appears to be due to MonoLocalBinds. The issue boils down to: foo = runST (bar 5) where bar x = return x The necessary type for bar is forall s. n - ST s n n being bound in the type of foo (or, feel free to make it concrete). However, GHC will not infer this when the non-generalizing let is turned on. But, no rigid s will do, because it's expected to be a quantified variable by runST. As for why this happens in uvector: -fglasgow-exts is one of the ghc-options in the cabal file. Alternately, a type signature could be given. -- Dan ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1
On Tue, Sep 28, 2010 at 10:10 PM, David Fox dds...@gmail.com wrote: I'm seeing errors like this in various places, which I guess are coming from the new type checker: Data/Array/Vector/Prim/BUArr.hs:663:3: Couldn't match type `s' with `s3' because this skolem type variable would escape: `s3' This skolem is bound by the polymorphic type `forall s. ST s a' The following variables have types that mention s fill0 :: MBUArr s e - ST s Int (bound at Data/Array/Vector/Prim/BUArr.hs:669:5) In the first argument of `runST', namely `(do { marr - newMBU n; n' - fill0 marr; unsafeFreezeMBU marr n' })' GHC no longer generalizes local bindings - which means that while previously the 'where' defined function would have had a type: fill0 :: forall s . ... - ST s Int Where the elipsis indicates an unspecified portion of the local type signature. I would recommend writing a type signature, but that requires writing a type signature for it's helper function: fill s i = ... Except I don't know how to write a type signature for this. The value 's' passed in is bound by pattern matching on this guy's constructor: data Stream a = forall s. Stream (s - Step s a) !s Int in the top-level function, so I don't even know if it has a type I can name. I'll try to boil this down to something I can put on hpaste. Antoine ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: how to terminate an external program after timeout?
Hi Christian, On Thu, Sep 9, 2010 at 4:35 AM, Christian Maeder christian.mae...@dfki.de wrote: Hi, we call from our haskell application the metis prover via System.Process.readProcessWithExitCode metis filename However, we are not able to get rid of this process if metis does not terminate by itself. In particular, wrapping this call into a System.Timeout.timeout does not work. Maybe you want to know that the latest version of Metis has a new --time-limit command line argument http://www.gilith.com/pipermail/metis-users/2010-September/01.html Best regards, -- Andrés ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1
On Tue, Sep 28, 2010 at 8:36 PM, Antoine Latter aslat...@gmail.com wrote: On Tue, Sep 28, 2010 at 10:10 PM, David Fox dds...@gmail.com wrote: I'm seeing errors like this in various places, which I guess are coming from the new type checker: Data/Array/Vector/Prim/BUArr.hs:663:3: Couldn't match type `s' with `s3' because this skolem type variable would escape: `s3' This skolem is bound by the polymorphic type `forall s. ST s a' The following variables have types that mention s fill0 :: MBUArr s e - ST s Int (bound at Data/Array/Vector/Prim/BUArr.hs:669:5) In the first argument of `runST', namely `(do { marr - newMBU n; n' - fill0 marr; unsafeFreezeMBU marr n' })' GHC no longer generalizes local bindings - which means that while previously the 'where' defined function would have had a type: fill0 :: forall s . ... - ST s Int Where the elipsis indicates an unspecified portion of the local type signature. I would recommend writing a type signature, but that requires writing a type signature for it's helper function: fill s i = ... Except I don't know how to write a type signature for this. The value 's' passed in is bound by pattern matching on this guy's constructor: data Stream a = forall s. Stream (s - Step s a) !s Int in the top-level function, so I don't even know if it has a type I can name. I'll try to boil this down to something I can put on hpaste. Antoine I have to say, as an everyday joe programmer, that the obscurity of this message disturbs me. I hope I don't see it very often. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1
Data/Array/Vector/Prim/BUArr.hs:663:3: Couldn't match type `s' with `s3' because this skolem type variable would escape: `s3' I have to say, as an everyday joe programmer, that the obscurity of this message disturbs me. I hope I don't see it very often. Rigid type variable seemed obscure before. Now a new different obscure thing to learn! I wonder if there's a reasonable way for the message to notice when it might be a situation involving local bindings and new typechecking behavior. Even adding Possible fix: add a type-signature to such-and-such local binding in 'f', if the message could be arranged to make that actually be a likely fix, might be helpful. (We want to make sure that the message will still be usually-helpful 2 years in the future when everyone's used to this type-checker. Hmm.) I don't know: do skolem errors always imply that: either it's possible to add more type-signatures to fix them: or if that's impossible then the code is seriously type-incorrect? -Isaac ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users