March 2013 - ghc-devs

RE: [commit: testsuite] master: Revert "Accept unicode quotes in T2507" (937c039)
by Simon Peyton-Jones 12 Mar '13

12 Mar '13

Interesting. The test failed on my Windows box; I thought it was an oversight. Now you've reverted, it'll fail again. What to do? Simon | -----Original Message----- | From: ghc-commits-bounces(a)haskell.org [mailto:ghc-commits- | bounces(a)haskell.org] On Behalf Of Ian Lynagh | Sent: 10 March 2013 15:46 | To: ghc-commits(a)haskell.org | Subject: [commit: testsuite] master: Revert "Accept unicode quotes in T2507" | (937c039) | | Repository : ssh://darcs.haskell.org//srv/darcs/testsuite | | On branch : master | | http://hackage.haskell.org/trac/ghc/changeset/937c0399bff9a867fccd8b6e7a63f8 | f25e7b6300 | | >--------------------------------------------------------------- | | commit 937c0399bff9a867fccd8b6e7a63f8f25e7b6300 | Author: Ian Lynagh <ian(a)well-typed.com> | Date: Sun Mar 10 15:41:48 2013 +0000 | | Revert "Accept unicode quotes in T2507" | | T2507 sets LC_ALL=C, so doesn't run in a Unicode locale, and shouldn't | have unicode quotes. | | >--------------------------------------------------------------- | | tests/driver/T2507.stderr | 4 ++-- | 1 files changed, 2 insertions(+), 2 deletions(-) | | diff --git a/tests/driver/T2507.stderr b/tests/driver/T2507.stderr index | 68d57e3..925a870 100644 | --- a/tests/driver/T2507.stderr | +++ b/tests/driver/T2507.stderr | @@ -1,5 +1,5 @@ | | T2507.hs:5:7: | - Couldn't match expected type ‛Int’ with actual type ‛()’ | + Couldn't match expected type `Int' with actual type `()' | In the expression: () | - In an equation for ‛foo’: foo = () | + In an equation for `foo': foo = () | |

2 4

Snapshot release and DPH
by Manuel M T Chakravarty 12 Mar '13

12 Mar '13

Ian, Simon just told us on the phone that you agreed to make a snapshot release of GHC (instead of a full release). In that snapshot release, could you include DPH (and associated libraries)? That is, make a snapshot of the entire HEAD instead of just the parts that go into a full release. The reason is that we would like to include DPH into the release. However, our usual approach of distributing the DPH libraries separately via Hackage will not work for a snapshot as the libraries on Hackage will likely not build with the snapshot. (This should be fine as the reason for not having DPH in a full release was to avoid sneaking it into the Haskell Platform with GHC, but a snapshot doesn't go into the Platform anyway.) Manuel

3 4

SRC_HC_OPTS instead of HC_OPTS in nofib shootout/ & fibon/?
by Nicolas Frisby 12 Mar '13

12 Mar '13

(cc'd ghc-devs) Hi Johan and David. I've noticed that you used "HC_OPTS += -O2 ..." in the Makefiles for the shootout programs, eg in your commits a735c7a1 and a9cdc8b1. I'm not seeing a way to override those options when invoking make on the command line. I've been using something like EXTRA_HC_OPTS="-O1 ..." in order to build the tests *without* -O2, but $(EXTRA_HC_OPTS) comes before $(HC_OPTS) on the generated command line; from ghc-opts.mk: HC_OPTS = $(BOOTSTRAPPING_PACKAGE_CONF_HC_OPTS) $(SRC_HC_OPTS) $(WAY$(_way)_HC_OPTS) $($*_HC_OPTS) $(EXTRA_HC_OPTS) Thus I can't turn -O2 off. I want to turn -O2 off, eg, since if I cause some horrific change in the code, I want to see it, even if -O2 would undo it. >From ghc-opts.mk, again: # SRC_P_OPTS Source-tree options for P I suspect the options you put in HC_OPTS would better fit in SRC_HC_OPTS. What do you think? Thanks.

2 1

Resource limits for Haskell
by Edward Z. Yang 12 Mar '13

12 Mar '13

Ever wanted to write this? -- | Forks a thread, but kills it if it has more than 'limit' -- bytes resident on the heap. forkIOWithSpaceLimit :: IO () -> {- limit -} Int -> IO ThreadId I have a proposal (and some unpublished experimental patches) which do just that. Check it out at: http://hackage.haskell.org/trac/ghc/wiki/Commentary/ResourceLimits Comments, bikeshedding and critique appreciated. Cheers, Edward

3 8

Re: Error while compiling cross-compiler
by Eric Schug 10 Mar '13

10 Mar '13

Ok using git HEAD, which got me further, but now errors when compiling terminfo. Its having problems locating the headers and libraries for cursers/ncursers Although, I have the host headers and libraries, but I expect it is searching for the target versions. These I can pull from my raspberry pi, but I am not sure where to put them such that the cross compiler will find them. On 03/08/13 20:19, Austin Seipp wrote: > 7.6.2 doesn't really support cross compilation. The bulk of the work > has been done in the git repository. Any artifacts of cross > compilation support in released tarballs can be ignored. > > Please do try the steps on the wiki page, using a copy of HEAD from > git. I tried this a week or two ago and encountered no difficulties if > my memory serves correctly. > > Sent from my iPhone^H^H^H^H^HPortable Turing machine > > On Mar 8, 2013, at 6:34 PM, Eric Schug<schugschug(a)gmail.com> wrote: > >> I am following the instructions for creating a cross compiler for Raspberry Pi, but I get a file does not exist error during stage 1 (see below). >> The basic steps I have taken are >> apt-get install llvm >> git clone https://github.com/raspberrypi/tools.git >> export rpitools=`pwd`/rpitools/ >> export tools=`pwd`/tools >> export PATH=$PATH:$tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin >> wget http://www.haskell.org/ghc/dist/7.6.2/ghc-7.6.2-src.tar.bz2 >> tar jxvf ghc-7.6.2-src.tar.bz2 >> cd ghc-7.6.2/ >> ./configure --target=arm-linux-gnueabihf --prefix=$rpitools >> make >> >> make -r --no-print-directory -f ghc.mk phase=1 phase_1_builds >> CROSS_COMPILE="arm-unknown-linux-gnueabihf-" "inplace/bin/ghc-cabal" configure --with-ghc="/media/2612bbee-1ea0-43dd-82f4-c7e7d3fe634b_/eric/haskell/ghc-7.6.2/inplace/bin/ghc-stage1" --with-ghc-pkg="/media/2612bbee-1ea0-43dd-82f4-c7e7d3fe634b_/eric/haskell/ghc-7.6.2/inplace/bin/ghc-pkg" --flag=include-ghc-prim --enable-library-for-ghci --configure-option=CFLAGS=" -fno-stack-protector " --configure-option=LDFLAGS=" -Wl,--hash-size=31 -Wl,--reduce-memory-overheads " --configure-option=CPPFLAGS=" " --with-gcc="/media/2612bbee-1ea0-43dd-82f4-c7e7d3fe634b_/eric/haskell/tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin/arm-linux-gnueabihf-gcc" --configure-option=--with-cc="/media/2612bbee-1ea0-43dd-82f4-c7e7d3fe634b_/eric/haskell/tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin/arm-linux-gnueabihf-gcc" --with-ar="/usr/bin/ar" --with-ranlib="true" --with-alex="/usr/bin/alex" --with-happy="/usr/bin/happy" -- dist-install libraries/ghc-prim >> Configuring ghc-prim-0.3.0.0... >> ghc-cabal: /tmp/22147.o: does not exist >> make[1]: *** [libraries/ghc-prim/dist-install/package-data.mk] Error 1 >> make: *** [all] Error 2 >> >> I am not sure if I need to create a mk/build.mk file using the mk/build.mk.sample, but when I do so and add the line >> Stage1Only = YES >> I still get the same error only with a different temp filename. >> >> >> _______________________________________________ >> ghc-devs mailing list >> ghc-devs(a)haskell.org >> http://www.haskell.org/mailman/listinfo/ghc-devs

3 4

Unicode support for Haddock
by Max Bolingbroke 10 Mar '13

10 Mar '13

Hi GHCers, I recently ran into a problem where Haddock does not correctly handle Unicode in doc comments. So for example with this file: """ module Example where -- | 好 ok :: Int -> Int ok x = x -- | 个 misinterp :: Int -> Int misinterp _ = (-1) -- | 漢 failure :: Int -> Int failure x = x-1 """ Current versions of Haddock will output the documentation for "ok" correctly, will output an empty bulleted list as the documentation for "misinterp" and not output any documentation at all for "failure" (echoing a warning to stderr instead). This is kind of sad. There is a very old open ticket about this issue: http://trac.haskell.org/haddock/ticket/20. The patches I've attached to that ticket fix the problem by using the native Unicode support in Alex 3. I've also attached to the ticket a patch which makes the necessary changes to GHC's build system required to build this new Haddock correctly. Do these patches seem OK? Is it fine to insist on Alex 3? I think it was released in 2011 so I think by now we can assume that it is available on all machines that will want to build GHC. If this patch is accepted, at some point we might want to think about switching to Alex 3's unicode support in GHC's own lexer rather than relying on the current hacks. My patches do not make any change along those lines. Cheers, Max

3 3

Trac source browser not working
by Simon Marlow 09 Mar '13

09 Mar '13

I tried to follow a link to a commit on Trac today, and got an error: internal error (got unexpected object kind 'commit') The link I followed: http://hackage.haskell.org/trac/ghc/changeset/109a1e53287f50103e8a5b5922759… This was working before, has anything changed recently that would break it? I tried browsing to a couple of other commits and got the same error, so it doesn't seem specific to that commit. Cheers, Simon

3 2

Error while compiling cross-compiler
by Eric Schug 08 Mar '13

08 Mar '13

I am following the instructions for creating a cross compiler for Raspberry Pi, but I get a file does not exist error during stage 1 (see below). The basic steps I have taken are apt-get install llvm git clone https://github.com/raspberrypi/tools.git export rpitools=`pwd`/rpitools/ export tools=`pwd`/tools export PATH=$PATH:$tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin wget http://www.haskell.org/ghc/dist/7.6.2/ghc-7.6.2-src.tar.bz2 tar jxvf ghc-7.6.2-src.tar.bz2 cd ghc-7.6.2/ ./configure --target=arm-linux-gnueabihf --prefix=$rpitools make make -r --no-print-directory -f ghc.mk phase=1 phase_1_builds CROSS_COMPILE="arm-unknown-linux-gnueabihf-" "inplace/bin/ghc-cabal" configure --with-ghc="/media/2612bbee-1ea0-43dd-82f4-c7e7d3fe634b_/eric/haskell/ghc-7.6.2/inplace/bin/ghc-stage1" --with-ghc-pkg="/media/2612bbee-1ea0-43dd-82f4-c7e7d3fe634b_/eric/haskell/ghc-7.6.2/inplace/bin/ghc-pkg" --flag=include-ghc-prim --enable-library-for-ghci --configure-option=CFLAGS=" -fno-stack-protector " --configure-option=LDFLAGS=" -Wl,--hash-size=31 -Wl,--reduce-memory-overheads " --configure-option=CPPFLAGS=" " --with-gcc="/media/2612bbee-1ea0-43dd-82f4-c7e7d3fe634b_/eric/haskell/tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin/arm-linux-gnueabihf-gcc" --configure-option=--with-cc="/media/2612bbee-1ea0-43dd-82f4-c7e7d3fe634b_/eric/haskell/tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin/arm-linux-gnueabihf-gcc" --with-ar="/usr/bin/ar" --with-ranlib="true" --with-alex="/usr/bin/alex" --with-happy="/usr/bin/happy" -- dist-install libraries/ghc-prim Configuring ghc-prim-0.3.0.0... ghc-cabal: /tmp/22147.o: does not exist make[1]: *** [libraries/ghc-prim/dist-install/package-data.mk] Error 1 make: *** [all] Error 2 I am not sure if I need to create a mk/build.mk file using the mk/build.mk.sample, but when I do so and add the line Stage1Only = YES I still get the same error only with a different temp filename.

1 0

Show-like output of GHC data types
by Johan Tibell 08 Mar '13

08 Mar '13

I'm trying to better understand how a GHC produced TypedcheckedSource is composed. I have this little example: module Test ( mysum ) where import Data.List (foldl') mysum :: [Int] -> Int mysum xs = foldl' (+) 0 xs Pretty-printing TypecheckedSource gives me something like this: {{Test.hs:7:10-21} AbsBinds [] [] {Exports: [main:Test.mysum{v rgu} [lid] <= mysum{v agP} [lid] <>] Exported types: main:Test.mysum{v rgu} [lid] :: [ghc-prim:GHC.Types.Int{(w) tc 3J}] -> ghc-prim:GHC.Types.Int{(w) tc 3J} [LclId] Binds: {Test.hs:8:1-26} mysum{v agP} [lid] :: [ghc-prim:GHC.Types.Int{(w) tc 3J}] -> ghc-prim:GHC.Types.Int{(w) tc 3J} [LclId] mysum{v agP} [lid] ((xs{v agw} [lid] :: [ghc-prim:GHC.Types.Int{(w) tc 3J}])) = {Test.hs:8:12-26} (base:Data.List.foldl'{v r4u}) @ ghc-prim:GHC.Types.Int{(w) tc 3J} @ ghc-prim:GHC.Types.Int{(w) tc 3J} (((base:GHC.Num.+{v rt})) @ ghc-prim:GHC.Types.Int{(w) tc 3J} $dNum{v agU} [lid]) 0 ((base:GHC.Num.fromInteger{v 02A}) @ ghc-prim:GHC.Types.Int{(w) tc 3J} $dNum{v ahc} [lid] 0) xs{v agw} <> Evidence: EvBinds{}}} {Test.hs:7:1-21} main:Test.mysum{v rgu} :: {Test.hs:7:10-21} [ghc-prim:GHC.Types.Int{(w) tc 3J}] -> ghc-prim:GHC.Types.Int{(w) tc 3J} nonrec {Test.hs:8:1-26} main:Test.mysum{v rgu} main:Test.mysum{v rgu} (xs{v agw}) = {Test.hs:8:12-26} base:Data.List.foldl'{v r4u} (base:GHC.Num.+{v rt}) 0 (base:GHC.Num.fromInteger{v 02A}) xs{v agw} <> This doesn't really help me understand the AST any better, as this is essentially the source printed back to me. What I would like to see is something like: HsApp (HsApp (HsApp (HsVar "foldl'") (HsVar "+")) (HsLit 0)) (HsVar "xs") Is this possible today. If not, can we derive Show for all the GHC data types so it's possible to print their structure? P.S. An example of why the pretty-printed output is not very helpful in understanding the AST: the above simple example generates a HsWrap constructor, which is nowhere to be seen in the pretty-printed output. -- Johan

6 7

Re: Resource limits for Haskell
by Edward Z. Yang 08 Mar '13

08 Mar '13

Excerpts from Andrew Adams-Moran's message of Fri Mar 08 07:01:29 -0800 2013: > > This would correspond to the ability to "freeze" Haskell threads in > > mid-execution; no MVar blocking necessary. This is not possible with > > the current RTS. I don't know how hard it would be to do. > > We have a way to interrupt Haskell threads mid-execution; could that machinery be used? It is not difficult to imagine a circumstance where you would like to resume the thread after interrupting it; I don't think the current machinery can do that. Edward

1 0