http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58392 <pre>pgj (x86 FreeBSD HEAD), build 690 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/690.html git clone | Success create mk/build.mk | Success get subrepos | Success repo versions | Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling | Success creating check-remove-after | Success compiling testremove | Success simulating clean | Success checking clean | Success making bindist | Success publishing bindist | Success testing bindist | Success testing | Success testsuite summary | Success Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/690.html File not deleted: "compiler/ghc.cabal.old" File not deleted: "inplace" F</pre> Builder 2012-05-26T04:25:28 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58391 <pre>Build description = HEAD on x86_64-unknown-linux (cam-04-unx) Build location = /64playpen/simonmar/nightly/HEAD-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-04-unx Nightly build started on cam-04-unx at Fri May 25 18:00:01 BST 2012. **** checking out new source tree ... ok. **** Building stage 1 compiler ... ok. GHC Version 7.5.20120525 **** Building stage 2 compiler ... ok. **** Building stage 3 compiler ... ok. **** building source distribution ... ok. **** uploading source distribution ... ok. **** building testsuite tools ... ok. **** running tests ... ok (summary below). **** building compiler binary distribution ... ok. **** uploading binary distribution ... ok. **** running nofib (-rtsopts -O2) ... ok. **** running nofib (-rtsopts -O2 -fllvm) ... ok. **** running nof</pre> GHC Build Reports 2012-05-26T01:39:54 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58390 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : imp-param-class http://hackage.haskell.org/trac/ghc/changeset/13748fcead3376f4cf2bd0198de7aa2fc4c033be commit 13748fcead3376f4cf2bd0198de7aa2fc4c033be Author: Iavor S. Diatchki &lt;diatchki&lt; at &gt;galois.com&gt; Date: Fri May 25 17:31:40 2012 -0700 Change `let ?x = ...` to use the `IP` class. XXX: Technically, the IP bindings that define the values of the implicit parameters should be cast to a dictionary for the class (see `mkIPBox` in module `MkCore`). At the moment we don't do this, which is not quite right (although things still work because the value and the dictionary are represented in the same way). compiler/coreSyn/MkCore.lhs | 8 +++++++- compiler/typecheck/TcBinds.lhs | 12 +++++++++--- 2 files changed, 16 insertions(+), 4 deletions(-) diff --git a/compiler/coreSyn/MkCore.lhs b/compiler/coreSyn/MkCore.lhs index 53386fe..a2849a8 100644 --- a/compiler/coreSyn/MkCore.lhs +++ b/compiler/coreSyn/MkCore.</pre> Iavor Diatchki 2012-05-26T00:31:48 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58389 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : imp-param-class http://hackage.haskell.org/trac/ghc/changeset/2bc826b0f86103c5163cdc5bf99c533cf06bdcb6 commit 2bc826b0f86103c5163cdc5bf99c533cf06bdcb6 Author: Iavor S. Diatchki &lt;diatchki&lt; at &gt;galois.com&gt; Date: Fri May 25 17:26:58 2012 -0700 Change `isIPPred` to test for the new `IP` class. compiler/types/Type.lhs | 7 ++++--- 1 files changed, 4 insertions(+), 3 deletions(-) diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs index 62cc7bb..97e869b 100644 --- a/compiler/types/Type.lhs +++ b/compiler/types/Type.lhs &lt; at &gt;&lt; at &gt; -157,7 +157,7 &lt; at &gt;&lt; at &gt; import Class import TyCon import TysPrim import {-# SOURCE #-} TysWiredIn ( eqTyCon, mkBoxedTupleTy ) -import PrelNames ( eqTyConKey ) +import PrelNames ( eqTyConKey, ipClassName ) -- others import {-# SOURCE #-} IParam ( ipTyCon ) &lt; at &gt;&lt; at &gt; -851,9 +851,10 &lt; at &gt;&lt; at &gt; isClassPred ty = case tyConAppTyCon_maybe ty of isEqPred ty = case tyConAppTyCon_maybe ty of Just tyCon -&gt; tyCo</pre> Iavor Diatchki 2012-05-26T00:31:46 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58388 <pre>am-deb7-64 (HEAD), build 106 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/am-deb7-64/106.html git clone | Success create mk/build.mk | Success get subrepos | Success repo versions | Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling | Success creating check-remove-after | Success compiling testremove | Success simulating clean | Success checking clean | Success making bindist | Success testing bindist | Success testing | Success testsuite summary | Success Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/am-deb7-64/106.html File not deleted: "compiler/ghc.cabal.old" File not deleted: "inplace" File not deleted: "libraries</pre> Builder 2012-05-26T00:17:22 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58387 <pre>Build description = STABLE on x86_64-unknown-linux (cam-04-unx) Build location = /64playpen/simonmar/nightly/STABLE-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-04-unx Nightly build started on cam-04-unx at Fri May 25 18:10:01 BST 2012. **** checking out new source tree ... warning: Remote branch ghc-7.4 not found in upstream origin, using HEAD instead warning: Remote branch ghc-7.4 not found in upstream origin, using HEAD instead ok. **** Building stage 1 compiler ... ok. GHC Version 7.4.1.20120516 **** Building stage 2 compiler ... ok. **** Building stage 3 compiler ... ok. **** building source distribution ... ok. **** uploading source distribution ... ok. **** building testsuite tools ... ok. **** running tests ... ok (summary below). **** building compiler binary distribution ... ok. **** uploading binary </pre> GHC Build Reports 2012-05-26T00:08:14 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58386 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/4e07a12029dc856f79e0057ad955c3dcd657543a commit 4e07a12029dc856f79e0057ad955c3dcd657543a Author: Simon Peyton Jones &lt;simonpj&lt; at &gt;microsoft.com&gt; Date: Fri May 25 11:47:17 2012 +0100 Test Trac #6123, and improve an error message in T2627b tests/indexed-types/should_fail/T2627b.stderr | 12 ++++++++---- tests/indexed-types/should_fail/T6123.hs | 10 ++++++++++ tests/indexed-types/should_fail/T6123.stderr | 10 ++++++++++ tests/indexed-types/should_fail/all.T | 2 +- 4 files changed, 29 insertions(+), 5 deletions(-) diff --git a/tests/indexed-types/should_fail/T2627b.stderr b/tests/indexed-types/should_fail/T2627b.stderr index c0e03ce..9d5504f 100644 --- a/tests/indexed-types/should_fail/T2627b.stderr +++ b/tests/indexed-types/should_fail/T2627b.stderr &lt; at &gt;&lt; at &gt; -1,7 +1,11 &lt; at &gt;&lt; at &gt; -T2627b.hs:20:24: - Occurs check: cannot construct the infinite type: - b0 = Du</pre> Simon Peyton Jones 2012-05-25T10:48:07 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58385 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/05289c2ac1203a5d5bbe8236d0239946b5093116 commit 05289c2ac1203a5d5bbe8236d0239946b5093116 Author: Simon Peyton Jones &lt;simonpj&lt; at &gt;microsoft.com&gt; Date: Fri May 25 11:45:53 2012 +0100 Improve occurs-check error reporting (fix Trac #6123) We were wrongly reporting (a ~ F a) as an occurs-check error when F is a type function. compiler/typecheck/TcCanonical.lhs | 112 ++++++++++++++++++----------------- compiler/typecheck/TcErrors.lhs | 41 ++++++-------- compiler/typecheck/TcInteract.lhs | 5 ++ 3 files changed, 80 insertions(+), 78 deletions(-) Diff suppressed because of size. To see it, use: git show 05289c2ac1203a5d5bbe8236d0239946b5093116 </pre> Simon Peyton Jones 2012-05-25T10:47:37 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58384 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/haddock On branch : master http://hackage.haskell.org/trac/ghc/changeset/4fbd2b4b0088d373f0d026dc1cd7117269c7a9db commit 4fbd2b4b0088d373f0d026dc1cd7117269c7a9db Author: Simon Peyton Jones &lt;simonpj&lt; at &gt;microsoft.com&gt; Date: Fri May 25 08:30:11 2012 +0100 Follow changes in LHsTyVarBndrs src/Haddock/Backends/Hoogle.hs | 2 +- src/Haddock/Convert.hs | 32 ++++++++++++++++++-------------- src/Haddock/Interface/Create.hs | 2 +- src/Haddock/Interface/Rename.hs | 7 ++++--- src/Haddock/Utils.hs | 8 +++++++- 5 files changed, 31 insertions(+), 20 deletions(-) diff --git a/src/Haddock/Backends/Hoogle.hs b/src/Haddock/Backends/Hoogle.hs index d176c9f..78e81d1 100644 --- a/src/Haddock/Backends/Hoogle.hs +++ b/src/Haddock/Backends/Hoogle.hs &lt; at &gt;&lt; at &gt; -141,7 +141,7 &lt; at &gt;&lt; at &gt; ppClass x = out x{tcdSigs=[]} : addContext _ = error "expected TypeSig" f (HsForAllTy a b con d) = HsForAllTy a b (reL (context : unLoc con)) d - </pre> Simon Peyton Jones 2012-05-25T07:30:26 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58383 <pre>pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 569 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/569.html git clone | Success create mk/build.mk | Success get subrepos | Success repo versions | Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling | Success creating check-remove-after | Success compiling testremove | Success simulating clean | Success checking clean | Success making bindist | Success publishing bindist | Success testing bindist | Success testing | Success testsuite summary | Success Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/569.html File not de</pre> Builder 2012-05-25T06:41:10 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58382 <pre>pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 552 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/552.html git clone | Success create mk/build.mk | Success get subrepos | Success repo versions | Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling | Success creating check-remove-after | Success compiling testremove | Success simulating clean | Success checking clean | Success making bindist | Success publishing bindist | Success testing bindist | Success testing | Success testsuite summary | Success Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/552.html File not deleted</pre> Builder 2012-05-25T05:22:48 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58381 <pre>Build description = STABLE on i386-unknown-linux (cam-02-unx) Build location = /playpen/simonmar/nightly/STABLE Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-02-unx Nightly build started on cam-02-unx at Thu May 24 18:10:01 BST 2012. **** checking out new source tree ... warning: Remote branch ghc-7.4 not found in upstream origin, using HEAD instead warning: Remote branch ghc-7.4 not found in upstream origin, using HEAD instead ok. **** Building stage 1 compiler ... ok. GHC Version 7.4.1.20120516 **** Building stage 2 compiler ... ok. **** Building stage 3 compiler ... ok. **** building testsuite tools ... ok. **** running tests ... ok (summary below). **** building compiler binary distribution ... ok. **** uploading binary distribution ... ok. **** running nofib (-rtsopts -O2) ... ok. **** running nofib (-rtsopts -O2 -fll</pre> GHC Build Reports 2012-05-25T04:04:04 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58380 <pre>pgj2 (amd64 FreeBSD HEAD), build 687 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/687.html git clone | Success create mk/build.mk | Success get subrepos | Success repo versions | Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling | Failure: Just (ExitFailure 2) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/687.html chmod +x inplace/bin/ghc-stage2 "inplace/bin/ghc-stage2" -H32m -O -hide-all-p [...] .hs -o utils/haddock/dist/build/Haddock/GhcUtils.o "inplace/bin/ghc-stage2" -H32m -O -hide-all-p [...] pes.hs -o utils/haddock/dist/build/Haddock/Types.o "inplace/bin/ghc-stage2" -H32m -O -hide-all-p [...] ils.hs -o utils/haddock/dist/build/Haddock/Utils.o "inplace/bin/ghc-stage</pre> Builder 2012-05-25T03:07:23 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58379 <pre>pgj (x86 FreeBSD HEAD), build 689 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/689.html git clone | Success create mk/build.mk | Success get subrepos | Success repo versions | Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling | Failure: Just (ExitFailure 2) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/689.html chmod +x inplace/bin/ghc-stage2 "inplace/bin/ghc-stage2" -H32m -O -hide-all-p [...] .hs -o utils/haddock/dist/build/Haddock/GhcUtils.o "inplace/bin/ghc-stage2" -H32m -O -hide-all-p [...] pes.hs -o utils/haddock/dist/build/Haddock/Types.o "inplace/bin/ghc-stage2" -H32m -O -hide-all-p [...] ils.hs -o utils/haddock/dist/build/Haddock/Utils.o "inplace/bin/ghc-stage2" </pre> Builder 2012-05-25T01:37:00 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58378 <pre>Build description = STABLE on x86_64-unknown-linux (cam-04-unx) Build location = /64playpen/simonmar/nightly/STABLE-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-04-unx Nightly build started on cam-04-unx at Thu May 24 18:10:01 BST 2012. **** checking out new source tree ... warning: Remote branch ghc-7.4 not found in upstream origin, using HEAD instead warning: Remote branch ghc-7.4 not found in upstream origin, using HEAD instead ok. **** Building stage 1 compiler ... ok. GHC Version 7.4.1.20120516 **** Building stage 2 compiler ... ok. **** Building stage 3 compiler ... ok. **** building source distribution ... ok. **** uploading source distribution ... ok. **** building testsuite tools ... ok. **** running tests ... ok (summary below). **** building compiler binary distribution ... ok. **** uploading binary </pre> GHC Build Reports 2012-05-24T23:50:36 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58377 <pre>kgardas-linux-arm-head (HEAD), build 50 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/kgardas-linux-arm-head/50.html git clone | Success create mk/build.mk | Success get subrepos | Success repo versions | Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling | Failure: Just (ExitFailure 2) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/kgardas-linux-arm-head/50.html "inplace/bin/ghc-stage1" -optc-DTHREADED_RTS -prof [...] -c rts/Apply.cmm -o rts/dist/build/Apply.thr_p_o "inplace/bin/ghc-stage1" -optc-DTHREADED_RTS -prof [...] /Exception.cmm -o rts/dist/build/Exception.thr_p_o "inplace/bin/ghc-stage1" -optc-DTHREADED_RTS -prof [...] Check.cmm -o rts/dist/build/HeapStackCheck.thr_p_o "inplace/bin/ghc-stage1" -optc-DTHREADED_RTS -p</pre> Builder 2012-05-24T23:25:56 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58376 <pre>tn23 (x86 OSX HEAD), build 625 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/625.html git clone | Success create mk/build.mk | Success get subrepos | Success repo versions | Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling | Success creating check-remove-after | Success compiling testremove | Success simulating clean | Success checking clean | Success making bindist | Success testing bindist | Success testing | Success testsuite summary | Success Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/625.html File not deleted: "compiler/ghc.cabal.old" File not deleted: "inplace" File not deleted: "libraries/base/incl</pre> Builder 2012-05-24T23:17:12 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58375 <pre>am-deb7-64 (HEAD), build 105 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/am-deb7-64/105.html git clone | Success create mk/build.mk | Success get subrepos | Success repo versions | Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling | Failure: Just (ExitFailure 2) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/am-deb7-64/105.html chmod +x inplace/bin/ghc-stage2 "inplace/bin/ghc-stage2" -H32m -O -hide-all-p [...] .hs -o utils/haddock/dist/build/Haddock/GhcUtils.o "inplace/bin/ghc-stage2" -H32m -O -hide-all-p [...] pes.hs -o utils/haddock/dist/build/Haddock/Types.o "inplace/bin/ghc-stage2" -H32m -O -hide-all-p [...] ils.hs -o utils/haddock/dist/build/Haddock/Utils.o "inplace/bin/ghc-s</pre> Builder 2012-05-24T22:36:08 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58374 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : imp-param-class http://hackage.haskell.org/trac/ghc/changeset/a9ea1fe7cae8760e75e128da4f2589309fea9bec commit a9ea1fe7cae8760e75e128da4f2589309fea9bec Author: Iavor S. Diatchki &lt;diatchki&lt; at &gt;galois.com&gt; Date: Thu May 24 14:34:15 2012 -0700 We turn implicit parameters into uses of the IP class method. compiler/typecheck/TcExpr.lhs | 12 ++++++++++-- 1 files changed, 10 insertions(+), 2 deletions(-) diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs index 488e654..3fae6a2 100644 --- a/compiler/typecheck/TcExpr.lhs +++ b/compiler/typecheck/TcExpr.lhs &lt; at &gt;&lt; at &gt; -185,8 +185,16 &lt; at &gt;&lt; at &gt; tcExpr (HsIPVar ip) res_ty -- type variable as its type. (Because res_ty may not -- be a tau-type.) ; ip_ty &lt;- newFlexiTyVarTy argTypeKind-- argTypeKind: it can't be an unboxed tuple -; ip_var &lt;- emitWanted origin (mkIPPred ip ip_ty) -; tcWrapResult (HsIPVar (IPName ip_var)) ip_ty res_ty } + -- XXX: Change HsIPVar to just kee</pre> Iavor Diatchki 2012-05-24T21:35:22 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58373 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/ghc New branch : imp-param-class Referencing: a9ea1fe7cae8760e75e128da4f2589309fea9bec </pre> Iavor Diatchki 2012-05-24T21:35:18 http://permalink.gmane.org/gmane.comp.lang.haskell.cvs.ghc/58372 <pre>Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : imp-param-class http://hackage.haskell.org/trac/ghc/changeset/0eb3bb339846d45d5efe68e8811c188c23ef16bf commit 0eb3bb339846d45d5efe68e8811c188c23ef16bf Author: Iavor S. Diatchki &lt;diatchki&lt; at &gt;galois.com&gt; Date: Thu May 24 14:33:10 2012 -0700 Add references to the implicit parameter class in the GHC.IP compiler/prelude/PrelNames.lhs | 22 +++++++++++++++++++++- 1 files changed, 21 insertions(+), 1 deletions(-) diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs index bc76c77..4993139 100644 --- a/compiler/prelude/PrelNames.lhs +++ b/compiler/prelude/PrelNames.lhs &lt; at &gt;&lt; at &gt; -282,6 +282,9 &lt; at &gt;&lt; at &gt; basicKnownKeyNames typeNatMulTyFamName, typeNatExpTyFamName, + -- Implicit parameters + ipClassName, ipClassOpName, + -- Annotation type checking toAnnotationWrapperName &lt; at &gt;&lt; at &gt; -345,7 +348,7 &lt; at &gt;&lt; at &gt; gHC_PRIM, gHC_TYPES, gHC_GENERICS, gHC_FLOAT, gHC_TOP_HANDLER, sYSTEM_IO, dYNAMIC, t</pre> Iavor Diatchki 2012-05-24T21:35:20 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.haskell.cvs.ghc