New commits

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

New commits

GHC - devs mailing list

Edward, Ben, others

I have just pushed a patch series

2209d5e6 Comments only

4eeb3273 Drop redundant import

2d3cb34a Define TcSimplify.simplifyTopImplic and use it

af6ed4a6 Fix constraint simplification in rules

48d1866e Improve error messages for skolems

7e96526a Fix TcSimplify.decideQuantification for kind variables

bc0f3abd Deal with JoinIds before void types

900cfdc2 Do not generate a data-con wrapper for !Int#

Issues:

·         bkpcabal03 is failing… I don’t see how it can possibly have anything to do with me, so I’ve pushed anyway.  Edward, might you look?

·         I get these stat failures – all improvements

   perf/compiler/T13035.run    T13035 [stat too good] (normal)

   perf/compiler/T12425.run    T12425 [stat too good] (optasm)

   perf/compiler/T9675.run     T9675 [stat too good] (optasm)

   perf/space_leaks/T4029.run  T4029 [stat too good] (ghci)

   perf/should_run/T10359.run  T10359 [stat too good] (normal)

   perf/compiler/T1969.run     T1969 [stat too good] (normal)

Some of them are from before (I reported this and suggested re-centreing the numbers), but the last two are new, I think.  Hurrah!   Ben: might you look?

Sorry for playing a bit fast and loose, but I’m out of time, and there are bug-fixes in here.

Thanks

Simon

bkpcabal03

simonpj@cam-05-unx:~/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03$ make bkpcabal03

rm -f -r tmp.d inst dist Setup

make -s --no-print-directory clean

'/5playpen/simonpj/HEAD-5/inplace/test   spaces/ghc-pkg' init tmp.d

'/5playpen/simonpj/HEAD-5/inplace/test   spaces/ghc-stage2' -v0 --make Setup

cp bkpcabal03.cabal.in1 bkpcabal03.cabal

# typecheck asig1

(cd asig1; '/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 configure --enable-library-vanilla --disable-shared --with-ghc='/5playpen/simonpj/HEAD-5/inplace/test   spaces/ghc-stage2' --ghc-options='-dcore-lint -dcmm-lint -no-user-package-db -rtsopts  -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output' --package-db='/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/tmp.d' --prefix='/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/inst' --cid "asig1" asig1)

(cd asig1; '/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 build)

(cd asig1; '/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 copy)

(cd asig1; '/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 register)

# typecheck asig2

(cd asig2; '/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 configure --enable-library-vanilla --disable-shared --with-ghc='/5playpen/simonpj/HEAD-5/inplace/test   spaces/ghc-stage2' --ghc-options='-dcore-lint -dcmm-lint -no-user-package-db -rtsopts  -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output' --package-db='/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/tmp.d' --prefix='/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/inst' --cid "asig2" asig2)

(cd asig2; '/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 build)

(cd asig2; '/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 copy)

(cd asig2; '/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 register)

# typecheck top-level

'/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 configure --enable-library-vanilla --disable-shared --with-ghc='/5playpen/simonpj/HEAD-5/inplace/test   spaces/ghc-stage2' --ghc-options='-dcore-lint -dcmm-lint -no-user-package-db -rtsopts  -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output' --package-db='/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/tmp.d' --prefix='/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/inst' --cid "toplevel" bkpcabal03

! '/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 build

 

<no location info>: warning: [-Wmissing-home-modules]

    Modules are not listed in command line: Foo

 

Mod.hs:4:5: error: Variable not in scope: g :: Int

# modify mixins

cp bkpcabal03.cabal.in2 bkpcabal03.cabal

# retypecheck top-level

'/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 configure --enable-library-vanilla --disable-shared --with-ghc='/5playpen/simonpj/HEAD-5/inplace/test   spaces/ghc-stage2' --ghc-options='-dcore-lint -dcmm-lint -no-user-package-db -rtsopts  -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output' --package-db='/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/tmp.d' --prefix='/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/inst' --cid "toplevel" bkpcabal03

'/home/simonpj/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03/Setup' -v0 build

 

<no location info>: warning: [-Wmissing-home-modules]

    Modules are not listed in command line: Foo

simonpj@cam-05-unx:~/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03$ dirs

~/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03 ~/5builds/HEAD-5 ~/code/HEAD-5

simonpj@cam-05-unx:~/5builds/HEAD-5/testsuite/tests/backpack/cabal/bkpcabal03$

 


_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: New commits

Ben Gamari-3
Simon Peyton Jones via ghc-devs <[hidden email]> writes:

> Edward, Ben, others
> I have just pushed a patch series
>
> 2209d5e6 Comments only
>
> 4eeb3273 Drop redundant import
>
> 2d3cb34a Define TcSimplify.simplifyTopImplic and use it
>
> af6ed4a6 Fix constraint simplification in rules
>
> 48d1866e Improve error messages for skolems
>
> 7e96526a Fix TcSimplify.decideQuantification for kind variables
>
> bc0f3abd Deal with JoinIds before void types
>
> 900cfdc2 Do not generate a data-con wrapper for !Int#
> Issues:
>
> *         bkpcabal03 is failing... I don't see how it can possibly have anything to do with me, so I've pushed anyway.  Edward, might you look?
>
> *         I get these stat failures - all improvements
>
>    perf/compiler/T13035.run    T13035 [stat too good] (normal)
>
>    perf/compiler/T12425.run    T12425 [stat too good] (optasm)
>
>    perf/compiler/T9675.run     T9675 [stat too good] (optasm)
>
>    perf/space_leaks/T4029.run  T4029 [stat too good] (ghci)
>
>    perf/should_run/T10359.run  T10359 [stat too good] (normal)
>
>    perf/compiler/T1969.run     T1969 [stat too good] (normal)
>
> Some of them are from before (I reported this and suggested
> re-centreing the numbers), but the last two are new, I think. Hurrah!
> Ben: might you look?
Sure.


_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

signature.asc (497 bytes) Download Attachment
Loading...