Timeline


and

Sep 29, 2013:

11:13 PM Ticket #8385 (Various testsuite fixes) created by rwbarton
See https://github.com/rwbarton/testsuite/compare/rwbarton.
10:29 PM Ticket #8022 (Outdated documentation for the -fwarn-lazy-unlifted-bindings warning) closed by thoughtpolice
fixed: I chatted with Simon about this for a second at ICFP, and I decided to go …
10:28 PM Ticket #8257 (System.Mem: Expose performMinorGC) closed by thoughtpolice
fixed: Done - thanks!
10:27 PM Ticket #8350 (shm_open and shm_unlink not detected on openSUSE Linux) closed by thoughtpolice
fixed: Merged in […]
10:27 PM Ticket #8352 (System function setitimer not detected in library process) closed by thoughtpolice
fixed: Merged in […]
10:26 PM Ticket #8377 (GHCi crashes with unboxed values on 32-bit platforms) closed by thoughtpolice
fixed: Merged (with a test - too many can't hurt) - thanks!
10:25 PM Ticket #8349 (Extra space in CFLAGS for libffi includes) closed by thoughtpolice
fixed: Merged, thanks!
10:22 PM Changeset in ghc [6a8e733]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix fallout from making lazy unlifted bindings an error Issue #8022 Signed-off-by: Austin Seipp <austin@well-typed.com>
10:22 PM Changeset in testsuite [cdadf540]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Fix fallout from making lazy unlifted bindings an error Issue #8022 Signed-off-by: Austin Seipp <austin@well-typed.com>
9:27 PM Ticket #8384 (-fwarn-empty-enumerations doesn't work with -fhpc) created by rwbarton
It appears that tick insertion occurs before arithmetic sequences are …
7:43 PM Ticket #8254 (confusing comment on allocate()) closed by monoidal
fixed: Closing as fixed.
5:50 PM Ticket #8381 (Simplifier ticks exhausted) closed by monoidal
wontfix: The problem is caused by compiling ghc -O Fix, where Fix is […] …
4:25 PM Changeset in integer-gmp [ce8ec96]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Expose GMP's `mpz_gcdext()` as internal primitive The extended GCD computation is useful to have for implementing algorithms such as the chinese reminder theorem. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:08 PM Ticket #7482 (GHC.Event overwrites main IO managers hooks to RTS) closed by AndreasVoellmy
wontfix: I am going to close this for now. Here are my reasons. 1. I have not …
4:06 PM Changeset in integer-gmp [97c101b]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Expose new internal exponentiation primitives This exposes the GMP functions `mpz_pow_ui()`, `mpz_powm()`, and `mpz_invert()` as `powInteger`, `powModInteger`, and `recipModInteger` respectively in the module `GHC.Integer.GMP.Internals`. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
3:01 PM Changeset in ghc [bb3f7b07]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Mention the Foldable and Traversable instances for Const r in the user guide Signed-off-by: Austin Seipp <austin@well-typed.com>
3:01 PM Changeset in ghc [cb83365]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Add a note about Proxy# to the user guide Signed-off-by: Austin Seipp <austin@well-typed.com>
2:51 PM Changeset in unix [996bd23]ghc-7.8 by Austin Seipp <austin@…>
Fix library detection of shm* on openSUSE (#8350) Use the new AC_SERACH_LIBS to check if rt is needed for shm_open and shm_unlink. This sets LIBS and so the shm_* functions can be found if librt is indeed required. Passing -lrt through CFLAGS is not portable. Signed-off-by: Austin Seipp <austin@well-typed.com>
2:50 PM Changeset in process [7c97999]ghc-7.8 by Austin Seipp <austin@…>
Delete spurious comma in configure.ac (#8352) A comma in AC_CHECK_FUNCS prevented setitimer from being detected. Signed-off-by: Austin Seipp <austin@well-typed.com>
2:43 PM Changeset in ghc [d664f8bb]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Remove extra space in LIBFFI_CFLAGS (#8349) Signed-off-by: Austin Seipp <austin@well-typed.com>
2:42 PM Changeset in base [c1491e6]ghc-7.8 by Austin Seipp <austin@…>
Expose performMinorGC (#8257) Signed-off-by: Austin Seipp <austin@well-typed.com>
2:38 PM Changeset in ghc [883fd49]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Test Trac #8377 Signed-off-by: Austin Seipp <austin@well-typed.com>
2:38 PM Changeset in testsuite [b499ed1]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Test Trac #8377 Signed-off-by: Austin Seipp <austin@well-typed.com>
2:37 PM Changeset in ghc [3bd7861]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Fix BCO bitmap generation on 32-bit platforms (#8377) On 32-bit platforms, the bitmap should be an array of 32-bit words, not Word64s. Signed-off-by: Austin Seipp <austin@well-typed.com>
2:36 PM Ticket #8371 (ghci byte compiler + FFI crashes when used with embedded R) closed by rwbarton
invalid: Great, glad you were able to get it working!
2:23 PM Ticket #8383 ("tagToEnum# (0# ==# 1#) :: Bool" causes CASEFAIL in ghci) created by rwbarton
[…] This causes libraries/base test tup001 to fail in the same way …
1:22 PM Ticket #8382 (ghc unhappy with program who want to program in C in haskell...) closed by rwbarton
fixed: Thanks for the report. Your bug is already fixed in HEAD: […] (In …
12:31 PM Changeset in ghc [7f23a5df]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Make lazy unlifted bindings an error by default. This was supposed to happen a long time ago, but later is better than never. This makes `-fwarn-lazy-unlifted-bindings` into a no-op (with its own warning) to be removed in GHC 7.10. This fixes #8022. Signed-off-by: Austin Seipp <austin@well-typed.com>
10:52 AM Ticket #8382 (ghc unhappy with program who want to program in C in haskell...) created by wagle
[1 of 1] Compiling Main ( test1.hs, test1.o ) ghc: panic! (the …
10:18 AM Ticket #8381 (Simplifier ticks exhausted) created by guest
Trying to build a (rather simple) project using cabal I get the …
7:56 AM Ticket #8173 (GHC uses nub) closed by leroux
wontfix: Full nofib analysis of head, ordNub, and ordNub-cases (each ran twice): …
4:51 AM Ticket #8380 (Numerous testsuite failures on ARM due to missing mkJumpToAddr) created by bgamari
Numerous ghci tests in the testsuite currently fail on ARM due to the lack …
1:14 AM Ticket #8374 (`tcIfaceGlobal (local): not found` while compiling) closed by bgamari
invalid

Sep 28, 2013:

9:58 PM Ticket #8379 (sync-all broken when using the GitHub mirror) closed by tibbe
invalid: Makes sense to me.
5:32 PM Ticket #8379 (sync-all broken when using the GitHub mirror) created by tibbe
Making a fresh checkout using the GitHub? mirror: […]
4:20 PM Ticket #8378 (Cross-compiling from x86_64-unknown-linux-gnu to x86_64-sun-solaris2 with ...) created by AlainODea
Here is the script I used to get build dependencies: […] Here is the …
3:35 PM Changeset in base [a9f4716]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add missing/remove redundant `{-# LANGUAGE CPP #-}`s The `CPP` forgotten were in windows-specific modules, and the redundant `CPP` files were removed in some `.hsc` files. Note: `.hsc` files only require `{-# LANGUAGE CPP #-}` annotations if they use `##`, as `hsc2hs` removes all non-escaped `#`-directives. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
3:02 PM Changeset in ghc [bdc5697]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Fixes links to random and vector libraries
11:02 AM Ticket #8377 (GHCi crashes with unboxed values on 32-bit platforms) created by akio
The following program causes GHCi to crash, on x86 Linux and x86 Windows. …
11:01 AM Changeset in base [fc9b291]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `/Since: 4.7.0.0/` to new entities in fc904366 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:00 AM Ticket #8341 (T8333 fails to pass because of stdout ghci version mismatch) closed by monoidal
fixed: I fixed it by adding -v0 to Makefile, commit noted at #8333.
10:58 AM Changeset in ghc [030e3f7f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Fix T8333 (#8333)
10:58 AM Changeset in testsuite [f915f230]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Fix T8333 (#8333)
10:48 AM Changeset in base [8e1a231]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Remove obsolete `include/Nhc98BaseConfig.h` This is a left-over from f231a01d2217d31 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:42 AM Changeset in base [6b489e1]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Drop redundant `{-# LANGUAGE #-}` pragmas This removes language pragmas from Haskell modules which are implicitly active with `default-language: Haskell2010`. Specifically, the following language extension pragmas are removed by this commit: - PatternGuards - ForeignFunctionInterface - EmptyDataDecls - NoBangPatterns Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
10:33 AM Ticket #8376 (Static Executable + GHC API (+ Dynamic Linking?) gives Segfault) created by darchon
I am getting segfaults when a statically linked executable uses a GHC API. …
10:29 AM Changeset in base [dfb52c3]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Modernize and refactor `base.cabal` - removes the redundant `impl(ghc)` conditional - unifies the `exposed-modules` list - sorts lists alphabetically - convert to uniform `,`-less & line-oriented lists (helps reduce diff-noise in future) - remove obsolete `nhc98-options` field - avoid `{}`-style Cabal grammar - remove `extensions: CPP` - add `category` field to silence Cabal warning - add missing entries to `extra-source-files` (the source distribution wasn't buildable because of this!) - list all occuring `LANGUAGE` pragmas in `other-extensions` - explicitly declare `default-language: Haskell2010` Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:08 AM Changeset in base [7d2297a]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add a few missing `{-# LANGUAGE CPP #-}`s Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:19 AM Changeset in ghc [0481e076]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Herbert Valerio Riedel <hvr@…>
Teach sync-all how to rewrite submodule repo urls This applies attachment:sync-all-submodules-locally.diff from #8369 Authored-by: Nathaniel Filardo Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:55 AM Status/GHC-7.8 edited by thoughtpolice
(diff)
7:54 AM Status/GHC-7.8 edited by thoughtpolice
(diff)
7:16 AM Ticket #8375 (Fix typo in sync-all script.) closed by monoidal
fixed: Done, thanks.
7:15 AM Changeset in ghc [8634935a]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Fix typo in sync-all script. (#8375)
4:47 AM Ticket #8375 (Fix typo in sync-all script.) created by leroux
sync-all […]
4:26 AM Ticket #8374 (`tcIfaceGlobal (local): not found` while compiling) created by bgamari
On commit fa3ffb43144eadc406031110b01ba3dc4f9bd94e on compiling on ARM, …
2:24 AM Changeset in ghc [fd9a9ab]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Erik de Castro Lopo <erikd@…>
RnNames.lhs : Reuse existing function.
1:48 AM Ticket #8373 (Cross-compiling from x86_64-unknown-linux-gnu to x86_64-sun-solaris2 tries ...) created by AlainODea
During a cross-build from x86_64-unknown-linux-gnu to …
1:02 AM Ticket #8370 (Ranked Instances) closed by carter
invalid: Hey wvv. Emailing cafe and getting no feedback is not sufficient reason …

Sep 27, 2013:

11:20 PM Changeset in ghc [774af686]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Removes tabs
10:14 PM Ticket #8372 (enable -dcmm-lint by default for .cmm input files) created by rwbarton
I'm finding it's quite easy to write .cmm files with subtle errors that …
9:48 PM Ticket #8371 (ghci byte compiler + FFI crashes when used with embedded R) created by dsamperi
The ghci interpreter destroys the C stack when initializing embedded R …
9:30 PM Changeset in ghc [9b98c6d]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Merging master
9:06 PM Changeset in ghc [eb0c7f8]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Update library refs
6:48 PM Changeset in ghc [683f4b74]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Erik de Castro Lopo <erikd@…>
Whitespace only.
6:24 PM Ticket #8370 (Ranked Instances) created by wvv
This is a first part of 3 depended extensions: Ranked Instances => Inherit …
6:12 PM Changeset in ghc [d52fcc8]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Removes tabs from tab-free files.
4:51 PM Ticket #8369 (Small improvements to ./sync-all) created by nwf
./sync-all get in a local clone does not use local submodules. That is, …
3:58 PM Changeset in ghc [bd9f9074]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Minor changes to chameneos to remove the debugging messages. Pulling in newer libraries.
3:50 PM Changeset in ghc [8e119d89]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Merge branch 'ghc-lwc2' of /homes/chandras/temp/ghc into lwc-merge
3:27 PM Changeset in ghc [8da04f43]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Pulling changes from head
2:31 PM Ticket #7771 (RTS should provide stg_sel_n_noupd_closure) closed by simonmar
worksforme: closing until/unless we find a real failure here.
2:15 PM Ticket #8368 (Panic in rejigConRes) created by goldfire
When I compile the following erroneous code […] I get […] I …
12:30 PM Ticket #7698 (thread blocked indefinitely in an MVar operation) closed by simonmar
duplicate: dup of #4245
12:13 PM Ticket #7676 (Unify patterns and function bindings) closed by simonmar
wontfix: I think this feature request is unlikely to make any progress on this …
7:58 AM Changeset in process [ad1a5c8]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Make compatible with GHC 7.2/7.4/7.6 again Supporting GHC 7.2 again was just a single `#ifdef`. Otoh, supporting GHC 7.0 would require reverting part of d10b168a65701. This also updates the build-dependancy version constraints to reflect the current reality. The code is `-Wall` clean for GHC 7.4 and later. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:55 AM Changeset in process [fae91ea]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Modernize `process.cabal` This includes declaring all potentially used language pragmas in `other-extensions` and declare the `CPP` in the `.hs` files instead of relying on `default-extensions`. The confusing NHC98/HUGS conditionals should be removed, as the package most probably won't work w/ those compilers anyway these days. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:42 AM Commentary/Libraries/VersionHistory edited by hvr
add Win32 row (diff)
6:57 AM Changeset in ghc [fa3ffb43]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Release notes: mention -XEmptyCase
6:55 AM Changeset in ghc [c4ffdbad]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Fix manual regarding current state of implicit quantification See also #4426
6:29 AM Changeset in base [a299293]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Fix comment typo introduced in 6368362f44
5:18 AM Ticket #8367 (putStrLn and related printing functions don't output to MinTTY properly ...) created by schyler
One place where this glitch can be seen in cabal update by it *delaying* …
5:16 AM Changeset in base [7bd64c5]ghc-7.8 by Austin Seipp <austin@…>
Define typeRep in terms of new Proxy# Data.Typeable.Internal.Typeable now contains typeRep# - defined over Proxy# - instead of typeRep, the latter now being a wrapper of the former. Authored-by: Edward Kmett <ekmett@gmail.com> Authored-by: Austin Seipp <austin@well-typed.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
5:16 AM Changeset in ghc [17112084]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Implement an unlifted Proxy type, Proxy# A value of type 'Proxy# a' can only be created through the new, primitive witness 'proxy# :: Proxy# a' - a Proxy# has no runtime representation and is thus free. This lets us clean up the internals of TypeRep, as well as Adam's future work concerning records (by using a zero-width primitive type.) Authored-by: Edward Kmett <ekmett@gmail.com> Authored-by: Austin Seipp <austin@well-typed.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
5:16 AM Changeset in ghc [f712751]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Make typeRep_RDR use typeRep# instead of typeRep Authored-by: Edward Kmett <ekmett@gmail.com> Authored-by: Austin Seipp <austin@well-typed.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
5:01 AM Changeset in ghc [9a7626c0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix T8132 A tiny bit of fallout from the TypeRep changes with a simple fix: we don't export typeRep# from Data.Typeable anymore, only Data.Typeable.Internal Signed-off-by: Austin Seipp <austin@well-typed.com>
5:01 AM Changeset in testsuite [c0e6045]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Fix T8132 A tiny bit of fallout from the TypeRep changes with a simple fix: we don't export typeRep# from Data.Typeable anymore, only Data.Typeable.Internal Signed-off-by: Austin Seipp <austin@well-typed.com>

Sep 26, 2013:

10:35 PM Ticket #8361 (hsc2hs error: sizeof/offsetof during solaris2 target compile) closed by leroux
duplicate: #8366 has resolves this. Closing as dupe.
9:30 PM Changeset in base [3b4ee00]ghc-7.8 by Jose Pedro Magalhaes <jpm@…>
Documentation for GHC.Generics
8:43 PM Ticket #8366 (haskeline Posix backend needs #include <sys/termios.h> on Solaris) created by oddsignals
System/Console/Haskeline/Backend/Posix.hsc needs an #include …
8:29 PM Ticket #8365 (stage2 build fails on Solaris (SmartOS)) created by oddsignals
I'm getting some missing symbols building on 32-bit SmartOS. 'quick' …
8:13 PM Ticket #8364 (equip GHC with an accurate internal model of floating point) created by carter
currently there really isn't a systematic / portable story for doing …
5:19 PM WorkingConventions edited by carter
adding link to browser tips (diff)
12:00 PM Ticket #8363 (Order matters for unused import warnings when reexporting identifiers) created by bergmark
Import order seem to change whether unused import warnings trigger when a …
10:12 AM Status/GHC-7.8/Libraries edited by hvr
update situation for primitive/vector (diff)
10:03 AM Changeset in ghc [5e2f145a]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Herbert Valerio Riedel <hvr@…>
Update `primitive` and `vector` packages - `primitive` is updated to upstream's HEAD which is essentially `primitive-0.5.1.0`, plus a core-lint-error workaround for #8355 and some minor cleanups. - `vector` is updated to upstreams `vector-0.10.9.1` release Note: The upstream repo location has changed to GitHub, hence the update in the `packages` file Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:52 AM Ticket #8362 (Filesystem related tests failed on solaris (SmartOS)) created by leroux
Getting filesystem (files/permissions) related test faiures on SmartOS …
6:29 AM Ticket #8361 (hsc2hs error: sizeof/offsetof during solaris2 target compile) created by leroux
I'm trying to cross-(compile/build?) ghc for SmartOS (target) from Mac OS …
4:37 AM Changeset in base [6fe359b]ghc-7.8 by Austin Seipp <austin@…>
Revert "Add fmapCoerce to Functor class." This reverts commit 3da4fd92e005cb9348ab2852d9268ad61ae1b347. Signed-off-by: Austin Seipp <austin@well-typed.com>
3:43 AM Ticket #8360 (panic! (the 'impossible' happened): ... kindFunResult) closed by monoidal
duplicate: This is already fixed in HEAD, thanks for the report. …

Sep 25, 2013:

10:26 PM Ticket #8360 (panic! (the 'impossible' happened): ... kindFunResult) created by 2piix
I got an 'impossible' error on GHCi 7.6.3 after trying to evaluate a type …
9:44 PM Ticket #8359 (ConstraintKinds require UndecidableInstances when it doesn't need it) created by thomaseding
Using ConstraintKinds to alias a bunch of class constraints fails to …
9:42 PM Ticket #8358 (Trivial comment fixup) created by krakrjak
While I was trying to build GHC HEAD today I ran across this minor …
9:26 PM Building/QuickStart edited by krakrjak
Add the missing details in case you installed alex or happy using cabal. (diff)
9:21 PM Building/Preparation/Linux edited by krakrjak
Found a way forward on Debian wheezy, sharing the details here. (diff)
6:25 PM Building/Preparation/Linux edited by krakrjak
Turns out upgrading Happy to sid version uninstalls the haskell-platform … (diff)
6:19 PM Building/Preparation/Linux edited by krakrjak
Reference to ghc6 package is obsolete. (diff)
5:49 PM Building/Preparation/Linux edited by krakrjak
Updating instructions to include gotchas for building on Debian. (diff)
3:30 PM Ticket #8355 (Core lint error/warnings with `primitive-0.5.1.0`) closed by hvr
duplicate: Actually a duplicate of #7643
9:53 AM Ticket #8357 (Pretty printing of kind-involving inferred types) created by ksf
An example of inferred types (foo, bar, both), for brevity's sake omitting …
9:14 AM Ticket #8356 (Strangeness with FunDeps) created by ksf
[…] results in […] The guess is that the FunDep? Checker chokes …
7:48 AM TeamGHC edited by hvr
update my interests (diff)
7:37 AM Ticket #8355 (Core lint error/warnings with `primitive-0.5.1.0`) created by hvr
When compiling [http://hackage.haskell.org/package/primitive-0.5.1.0
4:23 AM Changeset in base [3da4fd9]ghc-7.8 by Austin Seipp <austin@…>
Add fmapCoerce to Functor class. This allows coercions to work under functors that are not locally known. Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
3:12 AM Changeset in base [dbd9181]ghc-7.8 by Austin Seipp <austin@…>
Add Foldable/Traversable instances for 'Const m' These were proposed a while ago but never went anywhere. Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>

Sep 24, 2013:

8:33 PM TeamGHC edited by heisenbug
complete my info (diff)
8:19 PM Changeset in ghc [1c0a8e03]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Gabor Greif <ggreif@…>
Typo in comment
8:19 PM Changeset in ghc [94ab5d29]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Gabor Greif <ggreif@…>
Fix user guide documentation about unboxed values Signed-off-by: Arash Rouhani <rarash@student.chalmers.se>
5:26 PM Ticket #8354 (Add INLINE (or at least INLINABLE) pragmas for methods of Ord in ghc-prim) created by guest
Self-explanatory. Eq already has INLINE on (==) and (/=), and it'd be nice …
3:55 PM Ticket #8353 (Easy way to defer type errors) created by goldfire
A number of comments I've heard recently have focused on the joy of …
3:15 PM Ticket #8352 (System function setitimer not detected in library process) created by trommler
Due to a spurious comma in configure.ac setitimer is not detected. I will …
1:22 PM Changeset in base [fc90436]ghc-7.8 by Iavor S. Diatchki <iavor.diatchki@…>
Add type functions (-) and ToNat1; Turn FromNat1 into a closed family.
1:16 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:14 PM Changeset in ghc [3eb5cfd0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Iavor S. Diatchki <iavor.diatchki@…>
Add some tests for type-level subtraction.
1:14 PM Changeset in testsuite [3023f20]wip/nested-cprwip/pattern-synonymswip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add some tests for type-level subtraction.
1:14 PM Changeset in ghc [5cf3669]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add a type-function for subtraction. This is used in the definition of `ToNat1` in the `base` library (module GHC.TypeLits).
1:09 PM Ticket #8351 (Arrays are always allocated out-of-line) created by tibbe
unordered-containers uses lots of small arrays (length <= 16). These …
12:40 PM Ticket #8350 (shm_open and shm_unlink not detected on openSUSE Linux) created by trommler
The test in libraries/unix/configure fails to detect shm_* functions on …
10:56 AM Ticket #8348 (Add Super-classes to libraries) closed by monoidal
invalid: I'm afraid this is a bad idea, see http://stackoverflow.com/a/3216937. …
9:32 AM Ticket #8349 (Extra space in CFLAGS for libffi includes) created by trommler
Compiling with system libffi include file in a non-standard location fails …
1:50 AM Ticket #8058 (If .ghci is a symlink, permissions aren't read correctly) closed by leroux
invalid: Reformatted output from berdario: […] The attacker could symlink …

Sep 23, 2013:

8:58 PM Changeset in ghc [325587c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Driver: Fix % operator typo
8:58 PM Changeset in testsuite [f1b6909]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Driver: Fix % operator typo
8:30 PM Ticket #8348 (Add Super-classes to libraries) created by wvv
Haskell community has a long discussion how to implement a superclasses …
4:22 PM Ticket #8218 (Missing instance Monad WrappedMonad) closed by monoidal
fixed: Done, thanks for the report.
4:21 PM Changeset in ghc [e2da02d]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Release notes: mention instance Monad (WrappedMonad m) (#8218)
3:57 PM Changeset in ghc [72fa9fc]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble after #8218 The new hidden line in output of tcfail181 is instance Monad m => Monad (Control.Applicative.WrappedMonad m). It might seem weird that Control.Applicative is suggested when not imported, but it's almost certainly a side-effect of AMP and it's harmless.
3:57 PM Changeset in testsuite [ffa99f42]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble after #8218 The new hidden line in output of tcfail181 is instance Monad m => Monad (Control.Applicative.WrappedMonad m). It might seem weird that Control.Applicative is suggested when not imported, but it's almost certainly a side-effect of AMP and it's harmless.
3:56 PM Changeset in base [c831b4a]ghc-7.8 by Krzysztof Gogolewski <krz.gogolewski@…>
Add instance Monad (WrappedMonad m) to Control.Applicative (#8218)
3:50 PM Status/GHC-7.8/Libraries edited by hvr
(diff)
3:46 PM Ticket #8347 (Add a Strict LANGUAGE pragma) created by tibbe
A Strict LANGUAGE pragma would allow us to experiment with writing in …
2:26 PM Ticket #8346 (Rank 1 type signature still requires RankNTypes) created by tinctorius
When trying to figure out which type variable names are *actually* bound …
2:22 PM TeamGHC edited by jstolarek
(diff)
1:13 PM Ticket #8219 (x86 definition of cas() is wrong) closed by parcs
fixed
1:11 PM Changeset in ghc [9c11fdb]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Patrick Palka <patrick@…>
Fix build when PROF_SPIN is unset whitehole_spin is only defined when PROF_SPIN is set.
1:05 PM Changeset in ghc [84dff710]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Patrick Palka <patrick@…>
Fix the definition of cas() on x86 (#8219) *p is both read and written to by the cmpxchg instruction, and therefore should be given the '+' constraint modifier. (In GCC's extended ASM language, '+' means that the operand is both read and written to whereas '=' means that it is only written to.) Otherwise, the compiler is allowed to rewrite something like SpinLock lock; initSpinLock(&lock); /* sets lock = 1 */ ACQUIRE_SPIN_LOCK(&lock); into SpinLock lock; ACQUIRE_SPIN_LOCK(&lock); because according to the asm statement, the previous value of 'lock' is not important.
12:55 PM Ticket #8345 (A more efficient atomicModifyIORef') created by parcs
atomicModifyIORef' is currently defined as: […] This doesn't seem …
11:43 AM Changeset in ghc [93a04b4]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Remove fglasgow-exts from ghci --help It has been deprecated for long and already removed from ghc --help
11:23 AM Ticket #8344 (Problem w/ Monadic when installing hldeger-web on Raspberry Pi) closed by monoidal
duplicate: Thanks for the report. This should be fixed in HEAD (#7824)
10:06 AM Ticket #7574 (Register allocator chokes on certain branches with literals) closed by simonmar
fixed: I believe this is fixed, as always reopen the ticket if there are still …
10:02 AM Ticket #8291 (unloadObj doesn't work, unloaded_objects list keeps growing in size) closed by simonmar
fixed
9:58 AM Changeset in ghc [c0d64418]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
T7574 is now passing (#7574)
9:58 AM Changeset in ghc [10a4450]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
linker_unload is now passing (#8192)
9:58 AM Changeset in testsuite [491551d]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
T7574 is now passing (#7574)
9:58 AM Changeset in testsuite [1bb8a2e]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
linker_unload is now passing (#8192)
9:58 AM Changeset in ghc [f5879acd]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
Discard unreachable code in the register allocator (#7574) The problem with unreachable code is that it might refer to undefined registers. This happens accidentally: a block can be orphaned by an optimisation, for example when the result of a comparsion becomes known. The register allocator panics when it finds an undefined register, because they shouldn't occur in generated code. So we need to also discard unreachable code to prevent this panic being triggered by optimisations. The register alloator already does a strongly-connected component analysis, so it ought to be easy to make it discard unreachable code as part of that traversal. It turns out that we need a different variant of the scc algorithm to do that (see Digraph), however the new variant also generates slightly better code by putting the blocks within a loop in a better order for register allocation.
9:58 AM Changeset in ghc [19081952]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
Fix linker_unload now that we are running constructors in the linker (#8291) See also #5435. Now we have to remember the the StablePtrs that get created by the module initializer so that we can free them again in unloadObj().
9:34 AM Ticket #8344 (Problem w/ Monadic when installing hldeger-web on Raspberry Pi) created by daccle
Hi Folks! This is what I get when try to install on Raspberry Pi using …
9:33 AM Changeset in ghc [be3b84f]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Typos
9:32 AM Changeset in ghc [b7e27b6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Typos
9:32 AM Changeset in testsuite [5668965]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Typos
8:48 AM Ticket #8343 (Interrupting readProcess doesn't work) created by akio
The following program should terminate in 1 second, but it does not: …
4:44 AM Changeset in ghc [e19ae5df]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <gmainlan@…>
Catch potential garbage after -msse.
4:22 AM Changeset in ghc [680441d]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <gmainlan@…>
Merge branch 'wip/simd' This merge revises and extends the current SIMD support in GHC. Notable features: * Support for AVX, AVX2, and AVX-512. Support for AVX-512 is untested. * SIMD primops are currently LLVM-only and documented in compiler/prelude/primops.txt.pp. * By default only 128-bit wide SIMD vectors are passed in registers, and then only on the X86_64 architecture. There is a "hidden" flag, -fllvm-pass-vectors-in-regs, that causes GHC to generate LLVM code that assumes all vectors are passed in registers by LLVM. This can be used with a suitably patched version of LLVM, and if we get LLVM 3.4 patched, we can consider turning it on by default for LLVM 3.4+. This would mean that we couldn't mix LLVM <3.4-compiled object files with LLVM >=3.4-compiled object files, but I don't see that as much of a problem. * utils/genprimcode has been hacked up to allow us to write vector operations once and have them instantiated at multiple vector types. I'm not thrilled with this solution, but after discussing with Simon PJ, what I've implemented seems to be the minimal reasonable solution to the problem of exploding primop boilerplate. The changes are documented in compiler/prelude/primops.txt.pp. * Error handling is sub-optimal. My patch checks to make sure that vector primops can be compiled efficiently based on the current set of dynamic flags. For example, if -mavx is not specified and the user tries to use a primop that adds together two 256-bit wide vectors of double-precision elements, the user will see an error message like: ghc-stage2: sorry! (unimplemented feature or known bug) (GHC version 7.7.20130916 for x86_64-unknown-linux): 256-bit wide floating point SIMD vector instructions require at least -mavx.
3:43 AM Ticket #8342 (System.Directory.getPermissions does not work well on Windows 7) created by freizl
It works well for following code […] However getting error with this: …
2:34 AM Changeset in ghc [76248150]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add 256-bit-wide SIMD primitives.
2:34 AM Changeset in ghc [03e33c92]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add support for -mavx512* flags.
2:34 AM Changeset in ghc [49f4c12]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add Cmm support for 512-bit-wide values.
2:34 AM Changeset in ghc [26a960c6]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add support for 512-bit-wide vectors.
2:34 AM Changeset in ghc [c5add86]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Pass 512-bit-wide vectors in registers.
2:34 AM Changeset in ghc [7dda67b9]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add 512-bit-wide SIMD primitives.
2:34 AM Changeset in ghc [d2b9526]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
By default, only pass 128-bit SIMD vectors in registers on X86-64. LLVM's GHC calling convention only allows 128-bit SIMD vectors to be passed in machine registers on X86-64. This may change in LLVM 3.4; the hidden flag -fllvm-pass-vectors-in-regs causes all SIMD vector widths to be passed in registers on both X86-64 and on X86-32.
2:34 AM Changeset in ghc [1ed36c5]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Enable -msse to be specified by itself. This sets the SSE "version" to 1.0.
2:34 AM Changeset in ghc [25eeb678]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Check that SIMD vector instructions are compatible with current set of dynamic flags. SIMD vector instructions currently require the LLVM back-end. The set of available instructions also depends on the set of architecture flags specified on the command line.
2:33 AM Changeset in ghc [bdcf210]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Ensure that globalRegMaybe returns accurate information for XMM registers.
2:33 AM Changeset in ghc [e02c5067]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Do not assume that XMM registers are used to pass floating point arguments. On x86-32, the C calling convention specifies that when SSE2 is enabled, vector arguments are passed in xmm* registers; however, float and double arguments are still passed on the stack. This patch allows us to make the same choice for GHC. Even when SSE2 is enabled, we don't want to pass Float and Double arguments in registers because this would change the ABI and break the ability to link with code that was compiled without -msse2. The next patch will enable passing vector arguments in xmm registers on x86-32.
2:33 AM Changeset in ghc [0f89b9e2]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Enable passing vector arguments in xmm registers on x86-32. Note that this will only work with the LLVM back end pending LLVM patches to change the GHC calling convention appropriately.
2:33 AM Changeset in ghc [da5a647c]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Do not expose LLVM-only primops in GHC.PrimopWrappers. GHC.PrimopWrappers is only used by GHCi, which cannot evaluate LLVM-only primops in any case.
2:33 AM Changeset in ghc [16b350a4]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
SIMD primops are now generated using schemas that are polymorphic in width and element type. SIMD primops are now polymorphic in vector size and element type, but only internally to the compiler. More specifically, utils/genprimopcode has been extended so that it "knows" about SIMD vectors. This allows us to, for example, write a single definition for the "add two vectors" primop in primops.txt.pp and have it instantiated at many vector types. This generates a primop in GHC.Prim for each vector type at which "add two vectors" is instantiated, but only one data constructor for the PrimOp data type, so the code generator is much, much simpler.
2:33 AM Changeset in ghc [638cd12]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Flesh out 128-bit wide SIMD primops.
2:33 AM Changeset in ghc [0c6cf2a]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add support for -mavx and -mavx2 flags.
2:33 AM Changeset in ghc [9d47e58]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add Cmm support for 256-bit-wide values.
2:33 AM Changeset in ghc [e074c1c2]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add support for 256-bit-wide vectors.
2:33 AM Changeset in ghc [afdb2fc3]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Set LLVM option -stack-alignment=32 when compiling AVX instructions.
2:33 AM Changeset in ghc [f8c51678]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Fixup stack spills when generating AVX instructions. LLVM uses aligned AVX moves to spill values onto the stack, which requires 32-bye aligned stacks. Since the stack in only 16-byte aligned, LLVM inserts extra instructions that munge the stack pointer. This is very very bad for the GHC calling convention, so we tell LLVM to assume the stack is 32-byte aligned. This patch rewrites the spill instructions that LLVM generates so they do not require an aligned stack.
2:33 AM Changeset in ghc [0b561f1]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Pass 256-bit-wide vectors in registers.
1:49 AM Ticket #8341 (T8333 fails to pass because of stdout ghci version mismatch) created by leroux
[…] T8333 has a hardcoded version number which changes based on …
1:12 AM Changeset in ghc [6e6e6f5]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Release note blurb. GHCi now runs constructors for linked libraries. Signed-off-by: Austin Seipp <austin@well-typed.com>
1:04 AM Status/GHC-7.8 edited by thoughtpolice
(diff)

Sep 22, 2013:

11:47 PM Changeset in ghc [6f79989]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Restructure compilation pipeline to allow hooks This commit exposes GHC's internal compiler pipeline through a `Hooks` module in the GHC API. It currently allows you to hook: * Foreign import/exports declarations * The frontend up to type checking * The one shot compilation mode * Core compilation, and the module iface * Linking and the phases in DriverPhases.hs * Quasiquotation Authored-by: Luite Stegeman <stegeman@gmail.com> Authored-by: Edsko de Vries <edsko@well-typed.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
11:06 PM Changeset in base [ba98712]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Remove obsolete pre-Haddock-2 `#hide` pragmas The now obsolete (and redundant) `#hide` pragmas have been superseded by `{-# OPTIONS_HADDOCK hide #-}` pragmas which are used by most of the affected modules anyway. This commit also adds proper `{-# OPTIONS_HADDOCK hide #-}` pragmas to `GHC.Desugar` and `GHC.IO.Encoding.Iconv` which had only the ineffective `#hide` annotation. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:04 PM Changeset in base [27c90b7]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.4.0.0/` comments to symbols This commit retroactively adds `/Since: 4.4.0.0/` annotations to symbols newly added/exposed in `base-4.4.0.0` (as shipped with GHC 7.2.1). See also 6368362f which adds the respective annotation for symbols newly added in `base-4.7.0.0` (that goes together with GHC 7.8.1). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
6:45 PM Roles edited by DaniilFrumin
Comment about role annotations for datatypes with multiple params (diff)
4:32 PM Changeset in base [6fe5240]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.5.[01].0/` comments to symbols This commit retroactively adds `/Since: 4.5.[01].0/` annotations to symbols newly added/exposed in `base-4.5.[01].0` (as shipped with GHC 7.4.[12]). See also 6368362f which adds the respective annotation for symbols newly added in `base-4.7.0.0` (that goes together with GHC 7.8.1). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:28 PM WorkingConventions/Git edited by hvr
add note about findhash service (diff)
1:48 PM Commentary/Libraries/VersionHistory created by hvr
Add version matrix for packages visible via ghc-pkg list for past 7.x.x …
12:46 PM Ticket #8340 (support for generating annotations from TH) created by errge
This patch adds support for template haskell generation of annotations. …
6:42 AM PatternSynonyms edited by cactus
(diff)
6:30 AM Ticket #5724 (Confusing warning message for incomplete patterns) closed by monoidal
duplicate: Closing as duplicate of #2204.
6:24 AM PatternSynonyms edited by cactus
(diff)
3:03 AM Ticket #7436 (Derived Foldable and Traversable instances become extremely inefficient ...) closed by monoidal
It has been fixed in HEAD long time ago, but was not merged into 7.6. …
2:35 AM Ticket #7501 (Some GHCi options are undocumented) closed by monoidal
fixed: Applied, thanks!
2:33 AM Changeset in ghc [ea2af9b2]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
users_guide/ghci: Whitespace cleanup (#7501)
2:08 AM Changeset in ghc [efb9e829]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Document remaining GHCi commands in users_guide (#7501) Also a small formatting change in GHCi :help

Sep 21, 2013:

8:47 PM Changeset in ghc [1320fd2]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Add release note entry for `{-# MINIMAL #-}` (#7633)
6:07 PM Ticket #8339 (Build fails with panic in vector) created by trommler
I get this on powerpc64 Linux but I suspect from the error message it …
4:14 PM Platforms edited by trommler
Fixed links to distribution packages and download page. (diff)
4:07 PM Changeset in base [e8d2d2a]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.6.0.0/` comments to symbols This commit retroactively adds `/Since: 4.6.0.0/` annotations to symbols newly added/exposed in `base-4.6.0.0` (as shipped with GHC 7.6.1). See also 6368362f which adds the respective annotation for symbols newly added in `base-4.7.0.0` (that goes together with GHC 7.8.1). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:16 PM Changeset in base [6368362]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock `/Since: 4.7.0.0/` comments to new symbols These annotations were added in such a way, that the line {{{ /Since: 4.7.0.0/ }}} represents the last paragraph of the Haddock comment. Maybe Haddock will have support for this meta-syntax at some point, and be able to inherited the since-version property to the children of an annotated symbol and display the since-version property in the rendered documentation only in cases when it's not visually obvious (for instance, when re-exporting documentation strings). Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
12:10 PM Changeset in base [b0ca46b]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add Haddock docs for new `class FiniteBits`
8:08 AM Ticket #4985 (Improve locations in ghci errors) closed by monoidal
duplicate: This was fixed by #8051.
6:27 AM Ticket #4196 (add more stolen syntax to the user guide) closed by monoidal
fixed: Done.
6:24 AM Changeset in ghc [da11bb13]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Document more stolen syntax (#4196)

Sep 20, 2013:

9:13 PM Ticket #7043 (32-bit GHC ceiling of negative float SEGFAULT: 11) closed by bgamari
fixed: In that case I'm going to close this. If someone can reproduce the issue …
8:45 PM Ticket #8277 (Fix name of vanilla RTS way in the user's guide) closed by monoidal
fixed: Applied in commit 96cfb11075db8076407f2035a451e525f98d826b. Thanks.
8:41 PM Changeset in ghc [96cfb110]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Fix name of vanilla RTS way in the user's guide
8:34 PM Ticket #8338 (Incoherent instances without -XIncoherentInstances) created by goldfire
Consider the following 4 modules: […] […] […] […] …
8:23 PM Changeset in ghc [ffa8d223]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Typos
7:42 PM Ticket #3103 (Compiling base with cabal fails.) closed by bgamari
worksforme: I was also able to compile base-4.7 with cabal 1.18 but without the MVar …
7:33 PM Ticket #5361 (regSpill: out of spill slots!) closed by bgamari
worksforme: Despite the root cause probably still lurking about somewhere, I'm going …
7:03 PM TeamGHC edited by monoidal
add myself (diff)
6:49 PM Changeset in ghc [2fbfa11]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update `Cabal` to 1.18.1 final
3:57 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
3:55 PM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
3:48 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
3:42 PM ActiveBranches edited by thoughtpolice
(diff)
3:39 PM ActiveBranches edited by thoughtpolice
(diff)
3:33 PM Ticket #8337 (make it possible for the user to force orphanness via a module-level ...) created by errge
A module is marked orphan currently only in the case when we detect orphan …
3:04 PM Status/GHC-7.8 edited by simonpj
(diff)
2:44 PM Status/SLPJ-Tickets edited by simonpj
(diff)
2:42 PM Ticket #7800 (Error message when deriving Typeable without PolyKinds) closed by simonpj
fixed
2:38 PM Ticket #8333 (The impossible happened with TH + -fno-omit-interface-pragmas) closed by simonpj
fixed
2:38 PM Changeset in ghc [023eff7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8333
2:38 PM Changeset in testsuite [57330d4]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8333
2:38 PM Changeset in ghc [fd4e4ab3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8129
2:38 PM Changeset in ghc [b1391024]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
test Trac #7800
2:38 PM Changeset in testsuite [6d3be60]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8129
2:38 PM Changeset in testsuite [edf6a82]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
test Trac #7800
2:38 PM Changeset in ghc [9d0ae76]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8280
2:38 PM Changeset in testsuite [2ed33c3]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8280
2:25 PM Changeset in ghc [d545b46]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Comments only
1:51 PM Changeset in ghc [86033a0]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve error message for deriving polykinded Typeable (Trac #7800) Thanks to Krzysztof Gogolewski (monoidal) for the first draft of this patch
1:50 PM Changeset in ghc [15dc80e]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Nuke tc-trace that makes the typechecker loop The trace was being over-eager, which disturbs the typecheckers careful knot-tying
1:49 PM Changeset in ghc [3462534c]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Kill Type.isKindTy in favour of Kind.isKind (same code)
1:48 PM Changeset in ghc [e17072d]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refactor AMP warnings a bit There was a bit of clutter (tryTc stuff) caused by the fact that tcLookupImported didn't return a MaybeErr. Now it does. That finishes up Trac #8004.
1:46 PM Changeset in ghc [d57f2ad3]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Ignore Tickish Breakpoints when serialising Core into interface files This fixes Trac #8333 Thanks to 'klao', who identified the cause and provided the patch
1:19 PM Building/RunningTests/Settings edited by nomeata
document make VERBOSE=n in testsuite (diff)
1:18 PM Ticket #7866 (floor (0/0) :: Int is different with -O0 and -O1) closed by bgamari
invalid: Looking at the report it's not entirely clear how operations on NaN are …
1:15 PM Changeset in ghc [1e24696]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test driver: Implement different verbosities Select verbosity with "make VERBOSE=n". Options so far: n=0: No per-test output n=1: Only failing test results n=2: As above, plus progress information (names of all tests) n=3: As aobve, plus commands called. Default currently is n=3, although n=2 might be a nicer default.
1:15 PM Changeset in testsuite [36a70ba]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Test driver: Implement different verbosities Select verbosity with "make VERBOSE=n". Options so far: n=0: No per-test output n=1: Only failing test results n=2: As above, plus progress information (names of all tests) n=3: As aobve, plus commands called. Default currently is n=3, although n=2 might be a nicer default.
12:58 PM Ticket #8334 (unexpected type inference failure in main) closed by simonpj
invalid: main only has special behaviour when it's in module Main. When it's in …
11:55 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:43 AM Ticket #8336 (Sinking pass could optimize some assignments better) created by jstolarek
Compiling this program: […] produces following Cmm code for hashStr
11:29 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:24 AM Ticket #8335 (Create more specialized entries to GC) created by jstolarek
Consider this Cmm code (taken from #8326): […] We perform two …
11:16 AM Changeset in ghc [33dfd925]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test driver: Print total time spent at the end
11:16 AM Changeset in testsuite [472075f]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Test driver: Print total time spent at the end
11:07 AM Ticket #7968 (fft2 benchmark sometimes fails (nofib)) closed by jstolarek
duplicate: I close this as a duplicate of #5793
10:55 AM Commentary/Compiler/TypeChecker edited by simonpj
(diff)
10:55 AM Commentary/Compiler/TypeChecker edited by simonpj
(diff)
10:55 AM Commentary/Compiler/TypeChecker edited by simonpj
(diff)
10:53 AM Commentary/Compiler/TypeChecker edited by simonpj
(diff)
10:43 AM Commentary/Compiler/HscMain edited by simonpj
(diff)
10:42 AM Commentary/Compiler/HscMain edited by simonpj
(diff)
10:26 AM Internships edited by simonpj
(diff)
10:25 AM Internships edited by simonpj
(diff)
7:53 AM Ticket #8334 (unexpected type inference failure in main) created by carter
I'm not sure if this is a failure of me understanding the semantics of …

Sep 19, 2013:

11:40 PM Ticket #8333 (The impossible happened with TH + -fno-omit-interface-pragmas) created by errge
[…] With Test.hs being: […] I want to make TemplateHaskell
8:52 PM Building/Preparation/Windows edited by simonpj
(diff)
8:49 PM Ticket #8332 (hp2ps does not escape parentheses) created by luite
If some symbol name in the key includes a (, but is cut off before the ), …
6:26 PM NewtypeWrappers edited by nomeata
fix name spelling (diff)
4:31 PM Ticket #8331 (GHC fails to apply {-# SPECIALIZE #-} for dubious reasons) created by blitzcode
I encountered a 'RULE left-hand side too complicated to desugar' warning …
2:43 PM Commentary/Compiler/StackAreas edited by simonpj
(diff)
2:37 PM Commentary/Compiler/StackAreas edited by simonpj
(diff)
2:36 PM Commentary/Compiler/StackAreas edited by simonpj
(diff)
2:25 PM Commentary/Compiler/StackAreas edited by simonpj
(diff)
2:23 PM Commentary/Compiler/StackAreas edited by simonpj
(diff)
12:55 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:53 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:25 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:22 PM Ticket #8314 (ASSERTion at TcMType:809 fails on test polykinds/T6068) closed by simonpj
fixed: Thanks, now fixed.
12:21 PM Ticket #8129 (Constraint solver panic due to derived type function equality) closed by simonpj
fixed
10:50 AM PrimBool edited by jstolarek
(diff)
10:48 AM Changeset in ghc [d85550e5]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Comments only
10:30 AM Ticket #8330 (Remove ExtsCompat46 module once we bootstrap with GHC 7.8) created by jstolarek
Changing type signature of comparison primops from Bool to Int# in GHC …
10:22 AM PrimBool edited by jstolarek
(diff)
10:17 AM NewPrimopsInGHC7.8 edited by jstolarek
(diff)
10:04 AM PrimBool edited by jstolarek
(diff)
9:57 AM PrimBool edited by jstolarek
(diff)
9:55 AM NewPrimopsInGHC7.8 edited by jstolarek
(diff)
9:50 AM Changeset in ghc [4916552]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Update release notes for new comparison primops
9:40 AM Changeset in ghc [291cb85]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Document -floopification flag in user guide
9:39 AM Changeset in ghc [17ba306]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Remove trailing whitespaces in flags.xml
4:33 AM Building/CrossCompiling/iOS edited by StephenBlackheath
(diff)
3:36 AM Building/CrossCompiling/iOS edited by StephenBlackheath
Note that RTS hangs are fixed. (diff)
2:59 AM Ticket #8202 (ghc panic applyTypeToArgs) closed by monoidal
fixed: The bug is fixed in HEAD, unfortunately, I cannot provide a simple test …

Sep 18, 2013:

8:04 PM Ticket #8329 (dmdTransformDictSelSig panic) created by monoidal
Installing xmlhtml with HEAD panicks, while it works in 7.6.3. […] …
6:09 PM Ticket #8328 (Crash at -O2: Cannot read from uninitialized register) closed by bos
duplicate: Duplicate of #7574.
5:55 PM Ticket #8328 (Crash at -O2: Cannot read from uninitialized register) created by bos
I did a quick x86_64 compile of all of Hackage today using HEAD, and GHC …
5:53 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
5:52 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
4:58 PM Changeset in ghc [71f09183]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Fix performance failures on x86_64
4:58 PM Changeset in testsuite [5fe7b57]wip/nested-cprwip/pattern-synonymswip/th-new by Jan Stolarek <jan.stolarek@…>
Fix performance failures on x86_64
4:18 PM Changeset in ghc [e9fa0096]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Fix T4007 Accidentally broken by my last commit
4:18 PM Changeset in testsuite [50fc5891]wip/nested-cprwip/pattern-synonymswip/th-new by Jan Stolarek <jan.stolarek@…>
Fix T4007 Accidentally broken by my last commit
4:08 PM Changeset in ghc-prim [b78f02a]ghc-7.8 by Jan Stolarek <jan.stolarek@…>
Comments only
3:54 PM Status/GHC-7.8 edited by thoughtpolice
(diff)
3:26 PM Ticket #8280 (Deriving Show for Word#) closed by simonpj
fixed: Thanks for reporting this. Simon
3:20 PM Changeset in ghc [de4090bc]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make Word# a wired-in TyCon (fix Trac #8280) wordTyCon was treated as wired-in, but * It didn't have a WiredInName * It didn't appear in the list of wiredInTyCons I'm not sure how anything worked!
3:20 PM Changeset in ghc [07f524c]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix egregious blunder in extractRelevantInerts
3:20 PM Changeset in ghc [9078408c]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
1:48 PM Changeset in ghc [53948f91]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Restore old names of comparison primops In 6579a6c we removed existing comparison primops and introduced new ones returning Int# instead of Bool. This commit (and associated commits in array, base, dph, ghc-prim, integer-gmp, integer-simple, primitive, testsuite and template-haskell) restores old names of primops. This allows us to keep our API cleaner at the price of not having backwards compatibility. This patch also temporalily disables fix for #8317 (optimization of tagToEnum# at Core level). We need to fix #8326 first, otherwise our primops code will be very slow.
1:19 PM Changeset in base [427cbd5]ghc-7.8 by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
1:19 PM Changeset in base [5904d0d]ghc-7.8 by Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
1:19 PM Changeset in ghc [eca30442]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
1:19 PM Changeset in ghc [4a9f2162]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
1:19 PM Changeset in testsuite [cfd51fc2]wip/nested-cprwip/pattern-synonymswip/th-new by Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
1:19 PM Changeset in testsuite [7704115]wip/nested-cprwip/pattern-synonymswip/th-new by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
1:19 PM Changeset in ghc [6eec7bc5]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Trailing whitespaces
1:18 PM Ticket #8327 (Cmm sinking does not eliminate dead code in loops) created by jstolarek
Cmm code shown in #8326 is suboptimal. For this Haskell code: […] we …
1:02 PM Newcomers edited by goldfire
(diff)
12:06 PM Changeset in ghc [03e44ee7]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up and refactor overflow checking for literals It's much easier (and more efficient) to pattern match on the HsOverLit than on the desugared version!
12:06 PM Changeset in ghc [62c4058]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Optimise (case tagToEnum# x of ..) as in Trac #8317 See Note [Optimising tagToEnum#] in Simplify
12:06 PM Changeset in ghc [8cfbdcc]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Accommodate Derived constraints in two places (fix Trac #8129, #8134) If we have class (F a ~ b) => C a b then we can produce *derived* CFunEqCans. These were not being treated properly in two places: a) in TcMType.zonkFlats (Trac #8134) b) in TcSMonad.prepareInertsForImplications (Trac #8129) This patch fixes both.
12:06 PM Changeset in ghc [a5bdc6b5]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
A little refactoring * Make isCFunEqCan_maybe return Maybe (TyCon, [Type]) * Add insertTM, deleteTM to TrieMap
11:58 AM Ticket #8326 (Place heap checks common in case alternatives before the case) created by jstolarek
We would like to have functions that check whether an Int# is a valid …
11:27 AM Changeset in ghc [690b7e4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Follow changes in [7ab62490/base] (re #7633)
11:27 AM Changeset in testsuite [5af4e9c]wip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Follow changes in [7ab62490/base] (re #7633)
11:00 AM Changeset in ghc-prim [5ab5b3d]ghc-7.8 by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
9:14 AM Changeset in ghc [7a4c15a]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Add flag to control loopification It is off by default, which is meant to be a workaround for #8275. Once #8275 is fixed we will enable this option by default.
8:45 AM Changeset in base [7ab6249]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `{-# MINIMAL #-}` annotations to typeclasses This makes use of the new `{-# MINIMAL #-}` facility (see #7633) for the following typeclasses - `Bits` - `Foldable` - `Fractional` - `Num` - `MonadZip` - `Read` - `Show` - `Storable` - `Traversable` Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:40 AM Changeset in ghc [1c5fee15]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Follow changes in [12a8244/ghc-prim] (#7633)
8:40 AM Changeset in testsuite [150844d]wip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Follow changes in [12a8244/ghc-prim] (#7633)
8:32 AM Changeset in ghc [b626989d]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Tweaks to release notes If someone also feels that credits should better go into the release announcement, just nuke the last line of that paragraph.
7:55 AM Changeset in ghc [f900796]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Tests for MINIMAL pragma (#7633)
7:55 AM Changeset in testsuite [4867458]wip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Tests for MINIMAL pragma (#7633)
7:55 AM Changeset in ghc [b6d90d1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Update to new missing-method-decl warning style As a side-effect, the new `{-# MINIMAL #-}` facility (see #7633) changes the existing separate warnings for each missing method declaration: {{{ No explicit method or default declaration for ‛+’ In the instance declaration for ‛Num T’ }}} to a single warning per class of the following form: {{{ No explicit implementation for ‛+’, ‛*’, ‛abs’, ‛signum’, and ‛fromInteger’ In the instance declaration for ‛Num T’ }}} This commit adapts the reference output files in the testsuite to follow this change in GHC's warnings messages. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:55 AM Changeset in testsuite [d72a4dc]wip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Update to new missing-method-decl warning style As a side-effect, the new `{-# MINIMAL #-}` facility (see #7633) changes the existing separate warnings for each missing method declaration: {{{ No explicit method or default declaration for ‛+’ In the instance declaration for ‛Num T’ }}} to a single warning per class of the following form: {{{ No explicit implementation for ‛+’, ‛*’, ‛abs’, ‛signum’, and ‛fromInteger’ In the instance declaration for ‛Num T’ }}} This commit adapts the reference output files in the testsuite to follow this change in GHC's warnings messages. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:53 AM Changeset in ghc [bd42c9d]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Implement checkable "minimal complete definitions" (#7633) This commit adds a `{-# MINIMAL #-}` pragma, which defines the possible minimal complete definitions for a class. The body of the pragma is a boolean formula of names. The old warning for missing methods is replaced with this new one. Note: The interface file format is changed to store the minimal complete definition. Authored-by: Twan van Laarhoven <twanvl@gmail.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:47 AM Changeset in ghc [b6bc3263]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Limit upper versions of Alex and Happy This is temporary until new bool primops have been pushed.
6:55 AM Changeset in ghc [d80bd87]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Fix-up Docbook XML broken in f4046b508a5a7
6:09 AM Changeset in ghc-prim [12a8244]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `{-# MINIMAL #-}` to `class Eq` and `class Ord` This makes use of the new compiler checked minimal-complete-defintion `{-# MINIMAL #-}` annotation (see #7633 for more details) Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
2:59 AM Changeset in ghc [53b2dc8d]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Suppress unused variable when OS does not support setuid. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
2:53 AM Ticket #8325 (Pattern guards in anonymous functions) created by mcollis
In the course of a project, I had an idea that would allow less cumbersome …
1:56 AM Ticket #8246 (Role annotations does not allow the use of parenthesis) closed by goldfire
fixed
1:55 AM Ticket #8185 (Change role annotation syntax) closed by goldfire
fixed
1:55 AM Ticket #8234 (Remove role annotations on type synonyms) closed by goldfire
fixed
1:41 AM Changeset in ghc [1e3ca733]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Update to tests due to change in syntax for role annotations.
1:41 AM Changeset in testsuite [0b5892b]wip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Update to tests due to change in syntax for role annotations.
1:41 AM Changeset in base [e5fc2e5]ghc-7.8 by Richard Eisenberg <eir@…>
Update use of role annotations to new syntax.
1:37 AM Changeset in ghc [f4046b5]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Change role annotation syntax. This fixes bugs #8185, #8234, and #8246. The new syntax is explained in the comments to #8185, appears in the "Roles" subsection of the manual, and on the [wiki:Roles] wiki page. This change also removes the ability for a role annotation on type synonyms, as noted in #8234.
12:13 AM Ticket #8324 (ghci failed on startup) created by dabraham
fred:~ danielabraham$ ghci GHCi, version 7.6.3: …

Sep 17, 2013:

11:39 PM Changeset in ghc [b4ab30d5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Add missing Windows stdout/stderr output for #5435. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
11:39 PM Changeset in testsuite [4b22a8b]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Add missing Windows stdout/stderr output for #5435. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
9:57 PM Ticket #8323 (explore ways to possibly use more tag bits in x86_64 pointers) created by carter
on x86_64, pointers only use 48 bits! currently we use 3bits for tagging / …
8:47 PM Ticket #8322 (Report all missing module, not just the first or last) created by nomeata
This is a usability issue bothering me for a while, so I’ll write it down …
8:41 PM Ticket #8247 (Dependency tracking (--make) broken for re-exported modules) closed by nomeata
worksforme: I cannot reproduce this with current head; please check the test case that …
8:37 PM Changeset in ghc [9a4c4e2d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Recompilation test case for #8247 But seems to be fixed in head already.
8:37 PM Changeset in testsuite [b1f6cab]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Recompilation test case for #8247 But seems to be fixed in head already.
7:51 PM Changeset in base [fef98f1]ghc-7.8 by Joachim Breitner <mail@…>
Replaced Text.Printf with extensible printf, and made comcommitant changes Signed-off-by: Joachim Breitner <mail@joachim-breitner.de>
7:48 PM Changeset in ghc [3505891c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Adjust testsuite to new printf implementation Expand 'bytes allocated' allowed in haddock.base, and update error messages.
7:48 PM Changeset in testsuite [88a8ff9]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Adjust testsuite to new printf implementation Expand 'bytes allocated' allowed in haddock.base, and update error messages.
6:53 PM Ticket #8321 (improve basic block layout on LLVM backend by predicting stack/heap checks) created by rwbarton
Currently we don't give the LLVM optimizer any information about which …
6:44 PM Ticket #8320 (Build fails due to Haddock error in ghc-prim:GHC.Types) created by guest
Anyone else see the build failure below? […] EDIT: Same build …
4:05 PM Ticket #8319 (Simplifier ticks exhausted (need -fsimpl-tick-factor=955)) created by ruudkoot
Attached file needs a rather high simpl-tick-factor (955) in order to …
3:50 PM Ticket #8318 (GHC does not infer type of `tagToEnum#` expression) created by jstolarek
Compiling this program: […] gives a compilation error: […] To make …
3:12 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
2:44 PM Changeset in ghc [96421e06]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Release Notes: New printf features in base
1:50 PM Ticket #3389 (CPP strips out C-style comments) closed by nomeata
fixed
1:49 PM Changeset in ghc [0eb7546]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
In the test that tests -optP -C, also pass -optP -ffreestanding This closes #3389, and makes the testsuite go through again.
1:49 PM Changeset in testsuite [168ac1b]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
In the test that tests -optP -C, also pass -optP -ffreestanding This closes #3389, and makes the testsuite go through again.
1:45 PM Changeset in ghc [4e2f6c2]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Allow branches with / in them (e.g. wip/) in ./sync-all
12:31 PM Ticket #8317 (Optimize tagToEnum# at Core level) created by jstolarek
Old comparison primops that returned Bool were implemented by inserting …
11:50 AM Ticket #8316 (GHCi debugger segfaults when trying force a certain variable) created by guest
The file Test.hs has following definitions: […] Calling ghci as: …
9:20 AM Ticket #8315 (Improve specialized Hoopl module) created by jstolarek
GHC uses Hoopl to perform some of the Cmm-to-Cmm optimization passes, but …
8:41 AM Changeset in base [57b5310]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Make `<Typeable.h>` obsolete and refactor away its use With GHC 7.8's PolyKinds the macros in `<Typeable.h>` are no longer of any use, and their use is clearly obsolete. The sites using those macros are replaced by auto-derivations of `Typeable` instances. This reduces reliance on the CPP extension and the compile dependency on `Typeable.h` in a couple of modules. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:57 AM Ticket #5435 (GHCi linker should run constructors for linked libraries) closed by ezyang
fixed: OK, all done. (PS: Windows system linker does NOT honor init_array …
7:55 AM Changeset in ghc [b647700]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Add warning comment about Mach-O section name hack. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7:54 AM Changeset in base [9415541]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Constant-fold `__GLASGOW_HASKELL__` CPP conditionals Now that HUGS and NHC specific code has been removed, this commit "folds" the now redundant `#if((n)def)`s containing `__GLASGOW_HASKELL__`. This renders `base` officially GHC only. This commit also removes redundant `{-# LANGUAGE CPP #-}`. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:51 AM Changeset in ghc [7b12be7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Finish up asm test #5435 for Mac OS X Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7:51 AM Changeset in testsuite [28e921b]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Finish up asm test #5435 for Mac OS X Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7:47 AM Changeset in base [322ab4e]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Remove Hugs98 specific code For rationale. see http://permalink.gmane.org/gmane.comp.lang.haskell.ghc.devel/2349 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
2:27 AM Ticket #8314 (ASSERTion at TcMType:809 fails on test polykinds/T6068) created by goldfire
On a recent run through the testsuite on a debug build, testcase …
1:39 AM Ticket #8313 (Poor performance of higher-order functions with unboxing) created by dolio
I was testing out some code to see how GHC handled some unboxed …
1:01 AM Changeset in ghc [853f92c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Implement assembly test for #5435 in Windows. Fixes HostOS bug, where the define was not being set. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
1:01 AM Changeset in testsuite [b3c5baa]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Implement assembly test for #5435 in Windows. Fixes HostOS bug, where the define was not being set. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
12:26 AM Ticket #8312 (Annotations in a compiler without interpreter needs a better error message) created by ablackmore
Environment: Raspbian Wheezy (Raspberry Pi Debian), Kernel 3.6, …
12:18 AM Changeset in ghc [d53be3b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
New and improved tests for #5435. Linux only at the moment. Added a new test Makefile variable $(dllext), which is instantiated to .dll or .so or .dylib depending on your platform. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
12:18 AM Changeset in testsuite [3c313be]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
New and improved tests for #5435. Linux only at the moment. Added a new test Makefile variable $(dllext), which is instantiated to .dll or .so or .dylib depending on your platform. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
12:17 AM Changeset in ghc [bfe3c4c6]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Implement ctors support for Linux. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Sep 16, 2013:

9:37 PM Ticket #8311 (suboptimal code generated for even :: Int -> Bool by NCG (x86, x86_64)) created by rwbarton
This appears to be the x86 assembly for a specialization for `even :: Int …
8:11 PM Roles edited by goldfire
(diff)
7:15 PM Ticket #8310 (Can we change the semantics of `Trustworthy`?) created by ekmett
I would like to propose that if I put {-# LANGUAGE Trustworthy #-} on a …
4:10 PM Changeset in ghc [9672b08]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Further linguistic improvement of that one line now brought to you by Gabor Greif... ;-)
3:48 PM Changeset in ghc [2eb4487]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Typo in release notes
3:47 PM Ticket #8306 (NegativeLiterals allows negative type-level integers) closed by thoughtpolice
fixed
3:46 PM Changeset in ghc [3ee4700]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Make sure type literals aren't negative (#8306) As Krzysztof pointed out in #8306, with NegativeLiterals and DataKinds, definitions such as: type T = -1 were accepted, although type literals must be greater than zero. Signed-off-by: Austin Seipp <austin@well-typed.com>
3:46 PM Changeset in ghc [7f6518ca]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
s/TypeNats/DataKinds/ in release notes. Signed-off-by: Austin Seipp <austin@well-typed.com>
3:45 PM Changeset in ghc [9b0f0cb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Test for #8306 Signed-off-by: Austin Seipp <austin@well-typed.com>
3:45 PM Changeset in testsuite [32e9017]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Test for #8306 Signed-off-by: Austin Seipp <austin@well-typed.com>
3:35 PM Changeset in ghc [5f212c86]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Release Notes: Document Data.Bool.bool (#8302)
3:19 PM Ticket #8302 (Add 'bool' to Data.Bool) closed by nomeata
fixed
3:04 PM Changeset in base [f404697]ghc-7.8 by Joachim Breitner <mail@…>
Add Data.Bool.bool (fixes #8302)
2:45 PM CodeOwners edited by thoughtpolice
Add documentation to code owners page (diff)
2:16 PM Changeset in integer-gmp [b1c4ae4]ghc-7.8wip/T8647 by Jan Stolarek <jan.stolarek@…>
Follow changes in comparison primops (see #6135)
1:59 PM Newcomers edited by goldfire
(diff)
12:18 PM Ticket #8309 (traceEvent truncates to 512 bytes) created by duncan
The Debug.Trace.traceEvent (& traceEventIO) use a code path that …
10:10 AM Changeset in ghc [9ef384d6]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Comment typo only
9:41 AM Newcomers edited by jstolarek
(diff)
9:37 AM Ticket #8308 (Resurrect ticky code for counting constructor arity) created by jstolarek
There is a dead piece of ticky profiling code that computes histograms of …
8:57 AM Ticket #8307 (iOS patch: fix hangs in threaded runtime) created by lukexi
Extends two darwin_HOST_OS cases in libraries/base/GHC/Event/Manager.hs to …
8:23 AM Ticket #7186 (problems with typelits and typenats) closed by monoidal
fixed: With new type-level naturals 1<=2 example compiles in HEAD. The second …
7:42 AM Ticket #8306 (NegativeLiterals allows negative type-level integers) created by monoidal
With NegativeLiterals? extension it is possible to write negative …
6:53 AM Changeset in ghc [c65a3cdb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
T5435 test improvements, see #5435 for details. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6:53 AM Changeset in testsuite [7520b97]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
T5435 test improvements, see #5435 for details. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6:53 AM Changeset in ghc [ea83174]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Distinguish between hs-main cases when giving rtsopts advice. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6:53 AM Changeset in ghc [85a9e24]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Run ctors initializers backwards, see #5435. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
2:50 AM Ticket #8305 (ghci macros override built-ins for command expansion) created by rwbarton
I have a ghci macro :tsu from the ghc-vis package, which I installed a …

Sep 15, 2013:

11:00 PM Ticket #8304 (more lenient operator sections (RelaxedSections extension)) created by aavogt
Some operator sections are rejected which could have some meaning. […] …
9:35 PM WikiStart edited by simonmar
(diff)
9:06 PM Changeset in ghc [769bfc73]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Mention new solver for -XTypeNats in release notes. Signed-off-by: Austin Seipp <austin@well-typed.com>
8:45 PM Ticket #910 (--make should have a -j flag for parallel building) closed by parcs
fixed
8:44 PM Ticket #8184 (Compiler panic in the presence of cyclic imports) closed by parcs
fixed
8:35 PM Changeset in ghc [4141f8b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Add test case for #8184
8:35 PM Changeset in testsuite [5f2f788]wip/nested-cprwip/pattern-synonymswip/th-new by Patrick Palka <patrick@…>
Add test case for #8184
8:34 PM Changeset in ghc [0138d19e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Fix usage of 'expect_fail' in T2507
8:34 PM Changeset in testsuite [bf13df77]wip/nested-cprwip/pattern-synonymswip/th-new by Patrick Palka <patrick@…>
Fix usage of 'expect_fail' in T2507
8:21 PM Status edited by thoughtpolice
Remove old release plan notes. (diff)
8:20 PM Ticket #8284 (freeHaskellFunPtr crashes on iOS) closed by thoughtpolice
fixed: Merged. Thanks Stephen! […]
8:20 PM Ticket #8296 (Patch: new primops for byte range copies ByteArray# <-> Addr#) closed by thoughtpolice
fixed: Merged. […] Duncan, I also had to fix the actual primops in …
8:19 PM Ticket #8250 (cgrun072 (optllvm) failing) closed by thoughtpolice
fixed
8:18 PM Changeset in ghc [4d2cd51]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Delete trailing whitespace in cgrun070 Signed-off-by: Austin Seipp <austin@well-typed.com>
8:18 PM Changeset in testsuite [587dc68]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Delete trailing whitespace in cgrun070 Signed-off-by: Austin Seipp <austin@well-typed.com>
8:18 PM Changeset in ghc [5f7733d4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Add tests for the new ByteArray# <-> Addr# copy primops Essentially the same tests as for the existing ByteArray# ones. Signed-off-by: Austin Seipp <austin@well-typed.com>
8:18 PM Changeset in ghc [321647d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix up cgrun072 a bit (#8250) This includes: * Adding a test for bswap16 with a low byte >= 128 * Also test the byteSwapN functions from GHC.Word, tested both INLINE and not INLINE, so we test both independent parts: the compilation of base, and the backend compiling the code *using* base. * Fix the usage of byteSwapN# primitives in the test, by masking off * the higher bits when storing the results in Word16/Word32. Thanks to Reid Barton for the investigation. Authored-by: Reid Barton <rwbarton@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
8:18 PM Changeset in testsuite [234404e]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Add tests for the new ByteArray# <-> Addr# copy primops Essentially the same tests as for the existing ByteArray# ones. Signed-off-by: Austin Seipp <austin@well-typed.com>
8:18 PM Changeset in testsuite [c8cd4df]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Fix up cgrun072 a bit (#8250) This includes: * Adding a test for bswap16 with a low byte >= 128 * Also test the byteSwapN functions from GHC.Word, tested both INLINE and not INLINE, so we test both independent parts: the compilation of base, and the backend compiling the code *using* base. * Fix the usage of byteSwapN# primitives in the test, by masking off * the higher bits when storing the results in Word16/Word32. Thanks to Reid Barton for the investigation. Authored-by: Reid Barton <rwbarton@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
8:15 PM Changeset in ghc [bb53268]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix the type signatures of new copy primops. They claimed to work over 'ST RealWorld', when instead they should be parameterized in the state type. This fixes the cgrun070. Signed-off-by: Austin Seipp <austin@well-typed.com>
6:01 PM Changeset in base [bb41dbf]ghc-7.8 by Austin Seipp <austin@…>
byteSwap16/32: Narrow the result to 16/32 bits According to primops.txt.pp, the BSwap16Op and BSwap32Op primops leave the higher bytes of their results undefined. We must clear those higher bytes here before storing the result in a Word16/32. Signed-off-by: Austin Seipp <austin@well-typed.com>
5:58 PM Changeset in ghc [14677cd]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix freeHaskellFunPtr crash on iOS. Authored-by: Stephen Blackheath <...@blacksapphire.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
5:56 PM Changeset in ghc [f11289f]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
New primops for byte range copies ByteArray# <-> Addr# We have primops for copying ranges of bytes between ByteArray#s: * ByteArray# -> MutableByteArray# * MutableByteArray# -> MutableByteArray# This extends it with three further cases: * Addr# -> MutableByteArray# * ByteArray# -> Addr# * MutableByteArray# -> Addr# One use case for these is copying between ForeignPtr-based representations and in-heap arrays (like Text, UArray etc). The implementation is essentially the same as for the existing primops, and shares the memcpy stuff in the code generators. Defficiencies / future directions: none of these primops (existing or the new ones) let one take advantage of knowing that ByteArray#s are word-aligned in memory. Though it is unclear that any of the code generators would make use of this information unless the size to copy is also known at compile time. Signed-off-by: Austin Seipp <austin@well-typed.com>
5:54 PM Ticket #8194 (make install (at git ef01794) still fails) closed by bos
fixed
5:07 PM Changeset in ghc [865956a6]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Bryan O'Sullivan <bryano@…>
Cause "make install" to install dynamic libraries (#8194) Our special ghc-cabal command needs to be told that we are building with dynamic library support when it does its copying. We do so by passing an extra parameter from ghc.mk.
12:38 AM Ticket #8303 (defer StackOverflow exceptions (rather than dropping them) when exceptions ...) created by rwbarton
See …
12:19 AM Ticket #8302 (Add 'bool' to Data.Bool) created by ocharles
As mentioned in …

Sep 14, 2013:

10:42 PM Ticket #8301 (error BaseReg must be in a register for THREADED_RTS) created by erikd
Compiling git HEAD on powerpc64-linux. This was working as recently as two …
10:35 PM Ticket #8300 (split-objs doesn't split on LLVM) created by rwbarton
-split-objs is allowed with -fllvm, but it doesn't really do anything. …
10:07 PM Ticket #8299 (Add richer data model address arithmetic: AddrDiff and AddrInt (ie d ...) created by carter
currently GHC's internals and code gen don't provide a strong distinction …
8:47 PM GhcKinds/KindsWithoutData edited by elliottt
(diff)
8:34 PM Changeset in ghc [05d2fae]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Make these two tests thread safe. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:34 PM Changeset in testsuite [5b6e1d0]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Make these two tests thread safe. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6:53 PM Changeset in ghc [bf582957]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add stg_MUT_VAR_CLEAN_info and stg_MUT_VAR_DIRTY_info to the symbol table
6:53 PM Changeset in ghc [81610b0]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
80 columns
5:36 PM Ticket #8289 (unused variable in rts/posix/OSMem.c getPageSize) closed by thoughtpolice
fixed
5:35 PM Changeset in ghc [d510f5e]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Nuke tabs in rts/posix/OSMem.c Signed-off-by: Austin Seipp <austin@well-typed.com>
5:20 PM Changeset in ghc [57700b9a]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix getPageSize to actually cache the page size. This fixes #8289. Signed-off-by: Austin Seipp <austin@well-typed.com>
4:40 PM Status/GHC-7.8/Libraries edited by hvr
(diff)
4:32 PM Status/GHC-7.8/Libraries edited by hvr
(diff)
4:23 PM ActiveBranches edited by hvr
(diff)
4:19 PM WorkingConventions/Git edited by hvr
(diff)
4:14 PM Building/CrossCompiling/iOS edited by lukexi
Added explicit --with-gcc arg to configure to work around new GHC … (diff)
2:34 PM Ticket #8298 (+RTS -hb crash when blocking on empty TChan) created by exFalso
Running the following code […] produces: […] It crashes without …
10:54 AM Ticket #8297 (Allow implicit parameters to take a default value) created by schyler
-XImplicitParams is not that useful except as a type hole. I had an idea …
10:53 AM Changeset in ghc [d1594465]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Mention coerce in the release notes It is not added to the section on Special built-in functions because the (from a user POV related) unsafeCoerce has been removed there recently.
10:32 AM Status/GHC-7.8/Libraries edited by hvr
add marker to 3rd party libs not exposed yet in the package db (diff)
10:28 AM Changeset in ghc [1534b1d]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Fix links in #special-ids section This completes the change from [7ea49661c]: GHC.Exts lives in base, not in ghc-prim.
9:50 AM Ticket #8296 (Patch: new primops for byte range copies ByteArray# <-> Addr#) created by duncan
Currently we have: * copyByteArray# for ByteArray# to …
9:32 AM Ticket #3647 (unify handling and error messages for -X vs. {-#LANGUAGE ...#-} ...) closed by nomeata
fixed
9:02 AM Changeset in ghc [baaf4e8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Adjust test suite to new Language Pragma warnigns (this is related to #3647)
9:02 AM Changeset in testsuite [bb0e5b5]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Adjust test suite to new Language Pragma warnigns (this is related to #3647)
9:02 AM Changeset in ghc [9278994]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Give language pragma suggestions without -X for easier copy'n'paste. This fixes: #3647
8:56 AM Changeset in ghc [bd598da4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Suppress some known broken Windows tests. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:56 AM Changeset in testsuite [d21310f]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Suppress some known broken Windows tests. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:38 AM Ticket #8295 (T4850 deadlocks when run with -Ds on Windows (also it's failing)) created by ezyang
T4850 has been failing recently, reporting too *few* OS threads allocated. …
8:20 AM Changeset in ghc [cef90d5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Suppress some known errors from Mac OS X. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:20 AM Changeset in testsuite [00312aa]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Suppress some known errors from Mac OS X. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7:09 AM Ticket #8294 (T7478 fails on Mac OS X with "unexpected bindingNone" from ld) created by ezyang
(Tangentially, the test script was swallowing up relevant output; you need …
6:27 AM TypeApplication edited by Hamidhasan
Added design decisions, and cleaned up formatting (diff)
6:05 AM TypeApplication edited by Hamidhasan
Added general explanation, and some usage examples (diff)
5:58 AM Ticket #8293 (user001 spuriously fails if getGroupEntryForID correctly fails) created by ezyang
In some cases, a user's current group ID can be a number for a …
5:48 AM Ticket #8292 (linker_unload test doesn't work on Windows) created by ezyang
I fixed up the major issues but I am getting: […]
5:47 AM Changeset in ghc [35db0b3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Fix egregious pathchar business in linker_unload. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
5:47 AM Changeset in testsuite [4423f10]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Fix egregious pathchar business in linker_unload. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:27 AM Ticket #8291 (unloadObj doesn't work, unloaded_objects list keeps growing in size) created by ezyang
Shows up as the linker_unload test going very slowly and triggering the …
4:02 AM Ticket #8290 (lookupSymbol API is unsafe) created by ezyang
lookupSymbol is one of those functions that looks nice and innocuous on …
4:00 AM Changeset in ghc [02d4958]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Properly provide leading underscore when necessary. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:00 AM Changeset in testsuite [29b0521]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Properly provide leading underscore when necessary. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
2:39 AM Changeset in ghc [e0885ad]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Implement __mod_init_func for Mach-O. Finishes support for init in #5435. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
1:58 AM Ticket #8289 (unused variable in rts/posix/OSMem.c getPageSize) created by rwbarton
bgamari pointed this out on IRC. The static variable pageSize is never …
1:13 AM Status/GHC-7.8 edited by thoughtpolice
(diff)
1:11 AM Changeset in ghc [30bf3ed]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Implement .ctor support for PEi386. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Sep 13, 2013:

11:49 PM Changeset in ghc [226a18b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edward Z. Yang <ezyang@…>
Tests for #5435 (init/init_array/constr handling by linker) Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
11:49 PM Changeset in testsuite [1935c70]wip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Tests for #5435 (init/init_array/constr handling by linker) Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
11:44 PM Changeset in ghc [291ec13]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Implement .init/.init_array support for ELF. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
10:07 PM Changeset in ghc [8b9f71ee]better-ho-cardinalitydecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Fix rebase fallout To push what was validated, not just what was commited.
9:56 PM Ticket #8288 (add idris style EDSL support for deep embedding lambdas) created by carter
I could be wrong, but I think this would actually make it much easier to …
9:47 PM Ticket #8287 (exploring calling convention changes and related engineering for 7.10) created by carter
I'm creating this as a master ticket for systematically exploring and …
9:20 PM NewtypeWrappers edited by nomeata
typo (diff)
9:10 PM NewtypeWrappers edited by nomeata
Clean up the page a bit to keep up the signal-to-noise-level on the wiki. (diff)
9:06 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
9:06 PM TypeApplication created by Hamidhasan
8:56 PM Ticket #8033 (add AVX register support to llvm calling convention) closed by carter
invalid: closing for now because this will be subsumed a somewhat more ambitious …
7:59 PM Changeset in ghc-prim [32ab616]ghc-7.8 by Joachim Breitner <mail@…>
Define GHC.Types.Coercible This data type is required so that Coercible (which is actually a class and is exported from GHC.Prim) has a info table etc., similar to ~
7:59 PM Changeset in ghc [5dd3e99]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Tests for the Coercible class Also see http://ghc.haskell.org/trac/ghc/wiki/NewtypeWrappers
7:59 PM Changeset in testsuite [ebb26cd]wip/nested-cprwip/pattern-synonymswip/th-new by Joachim Breitner <mail@…>
Tests for the Coercible class Also see http://ghc.haskell.org/trac/ghc/wiki/NewtypeWrappers
7:58 PM Changeset in ghc [17a868a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Introduce coerce :: Coercible a b -> a -> b This is the result of the design at http://ghc.haskell.org/trac/ghc/wiki/NewtypeWrappers The goal is to be able to convert between, say [First Int] and [Last Int] with zero run-time overhead. To that end, we introduce a special two parameter type class Coercible whose instances are created automatically and on-the fly. This relies on and exploits the recent addition of roles to core.
7:57 PM Changeset in ghc [81928d0]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Expose more in the TcS monad in preparation for the Coercible class implementation.
7:57 PM Changeset in ghc [1f17065a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Outputable.isOrAre: "is" or "are" for correct grammar
7:57 PM Changeset in ghc [638da2f]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Expose tcTyConsOfType as Types.tyConsOfType and add related function tyConsOfTyCon.
7:57 PM Changeset in ghc [e239753c]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
Allow primclass and class constraints in primops In preparation for the primitive class Coercible
5:29 PM CodeOwners edited by thoughtpolice
I technically own these things now. (diff)
5:27 PM TeamGHC edited by thoughtpolice
(diff)
5:24 PM TeamGHC edited by thoughtpolice
(diff)
5:14 PM TeamGHC edited by thoughtpolice
Typo, and some date fixes (diff)
5:08 PM TeamGHC edited by tibbe
(diff)
5:05 PM TeamGHC edited by bos
(diff)
5:04 PM TeamGHC edited by bos
(diff)
4:39 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:10 PM Changeset in ghc [c228418c]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Release note for new `instance Data Data.Version` Implemented in [e17549c80425f3c8a8a672c65bbff00290839f3c/base] Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
4:00 PM Status/GHC-7.8 edited by jstolarek
(diff)
3:56 PM Changeset in ghc [fccb5c6]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update Cabal to current upstream `1.18` branch tip The new commits inlcude AMP-warning fixes and support for the new `instance Data Data.Version` provided by `base`
3:29 PM Changeset in ghc [7e76e921]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Follow change in [e17549c80425f3/base]
3:29 PM Changeset in testsuite [ee63d51]wip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Follow change in [e17549c80425f3/base]
3:25 PM Changeset in ghc [a602fe5a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Missing printf path format change
10:53 AM Changeset in ghc [8570fe7]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Replace reference to `Data.Generics` with `Data.Data` The `Data` definitions were moved from `Data.Generics` to `Data.Data` via [5a9e76d24776608a3e14ba94f1dfa0cac072c251/base] Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
9:36 AM Ticket #8286 (fdToHandle docs are wrong about non-blocking mode) created by duncan
The docs for System.Posix.IO.fdToHandle state: […] The final …
9:19 AM Changeset in base [e17549c]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `Data` instance for `Data.Version` See also http://permalink.gmane.org/gmane.comp.lang.haskell.libraries/20269 Patch from Edward Kmett (essentially.) Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
7:54 AM WorkingConventions/Git edited by thoughtpolice
(diff)
7:48 AM Changeset in ghc [6719877]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Rename -ddump-cmm-rewrite to -ddump-cmm-sink This makes it consistent with the corresponding -cmm-sink flag
7:46 AM Status/GHC-7.8 edited by thoughtpolice
(diff)
7:07 AM Changeset in ghc [f56a787]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix static GHCi build (#8270) When Ryan merged in the atomics branch, he made atomic_inc and atomic_dec EXTERN_INLINE functions, meaning their definitions became part of object files in the non-threaded build, instead of being inlined. As a result, this broke the linker for static GHCi, since it couldn't properly resolve the now-externally defined functions. Signed-off-by: Austin Seipp <austin@well-typed.com>
6:44 AM Ticket #8192 (Finally remove -fwarn-lazy-unlifted-bindings flag) closed by thoughtpolice
duplicate: On second thought, this should just go ahead and stay with #8022.
6:20 AM Changeset in ghc [04a24282]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Iavor S. Diatchki <iavor.diatchki@…>
Add some tests for evaluating type-level naturals.
6:20 AM Changeset in testsuite [076e04e]wip/nested-cprwip/pattern-synonymswip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add some tests for evaluating type-level naturals.
6:19 AM Changeset in ghc [1f77a53]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add support for evaluation of type-level natural numbers. This patch implements some simple evaluation of type-level expressions featuring natural numbers. We can evaluate *concrete* expressions that use the built-in type families (+), (*), (^), and (<=?), declared in GHC.TypeLits. We can also do some type inference involving these functions. For example, if we encounter a constraint such as `(2 + x) ~ 5` we can infer that `x` must be 3. Note, however, this is used only to resolve unification variables (i.e., as a form of a constraint improvement) and not to generate new facts. This is similar to how functional dependencies work in GHC. The patch adds a new form of coercion, `AxiomRuleCo`, which makes use of a new form of axiom called `CoAxiomRule`. This is the form of evidence generate when we solve a constraint, such as `(1 + 2) ~ 3`. The patch also adds support for built-in type-families, by adding a new form of TyCon rhs: `BuiltInSynFamTyCon`. such built-in type-family constructors contain a record with functions that are used by the constraint solver to simplify and improve constraints involving the built-in function (see `TcInteract`). The record in defined in `FamInst`. The type constructors and rules for evaluating the type-level functions are in a new module called `TcTypeNats`.
5:11 AM Ticket #8285 (unexpected behavior with encodeFloat on large inputs) created by carter
benjamin scarlet discovered some unexpected behavior in encodeFloat today …
4:39 AM Ticket #8282 (Windows error building HEAD missing '_atomic_inc') closed by rwbarton
duplicate
4:10 AM Ticket #8284 (freeHaskellFunPtr crashes on iOS) created by StephenBlackheath
3:58 AM WorkingConventions/Git edited by thoughtpolice
(diff)
3:56 AM WorkingConventions/Git edited by thoughtpolice
(diff)
3:55 AM WorkingConventions/Git edited by thoughtpolice
(diff)
3:54 AM WorkingConventions/Git edited by thoughtpolice
Refactor new info (diff)
3:53 AM Ticket #8283 (utils/fingerprint/fingerprint.py doesn't work on Windows) created by schyler
Invocation: […] Produces: […]
3:48 AM WorkingConventions/Git edited by thoughtpolice
(diff)
3:44 AM WorkingConventions/Git edited by thoughtpolice
(diff)
3:39 AM Ticket #8282 (Windows error building HEAD missing '_atomic_inc') created by schyler
Pulled ad15c2b4bd37082ce989268b3d2f86a2cd34386a like so: […] Error …
12:22 AM Ticket #8281 (The impossible happened: primRepToFFIType) created by tibbe
I ran into this error while trying to use GHCi on the hashable package: …
12:15 AM Ticket #8280 (Deriving Show for Word#) created by monoidal
[…] This works in 7.6.3, but 7.7 gives […] The same file works if …

Sep 12, 2013:

10:29 PM Ticket #8051 (GHCi: confusing `:set +m`/`:{` interaction & wrong line-numbers in ...) closed by thoughtpolice
fixed: Thanks for fixing this Herbert!
9:41 PM Ticket #7880 (Require "forall" in definitions of polymorphic types) closed by monoidal
duplicate: I see this exact proposal was created earlier: #4426.
8:20 PM Ticket #8279 (bad alignment in code gen yields substantial perf issue) created by carter
independently, a number of folks have noticed that in various ways, GHC …
7:56 PM Ticket #8278 (Improve error message when the same type is imported from two different ...) created by Yuras
When a package indirectly depends on different versions of the same …
5:24 PM Ticket #8277 (Fix name of vanilla RTS way in the user's guide) created by rwbarton
A program compiled with the vanilla way, when queried with +RTS --info, …
4:04 PM Changeset in ghc [ad15c2b]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Improve sinking pass This commit does two things: * Allows duplicating of global registers and literals by inlining them. Previously we would only inline global register or literal if it was used only once. * Changes method of determining conflicts between a node and an assignment. New method has two advantages. It relies on DefinerOfRegs and UserOfRegs typeclasses, so if a set of registers defined or used by a node should ever change, `conflicts` function will use the changed definition. This definition also catches more cases than the previous one (namely CmmCall and CmmForeignCall) which is a step towards making it possible to run sinking pass before stack layout (currently this doesn't work). This patch also adds a lot of comments that are result of about two-week long investigation of how sinking pass works and why it does what it does.
2:40 PM Ticket #8276 (Building Haddock documentation panics with perf build on x86_64 Linux) created by jstolarek
After setting BuildFlavor = perf in build.mk compilation ends with a …
1:05 PM Ticket #8271 (missing semicolon in rts/Linker.c) closed by jstolarek
fixed
12:11 PM Ticket #8275 (Loopification breaks profiling) created by jstolarek
Profiling is currently broken in HEAD. Setting BuildFlavour = prof in …
11:57 AM Building/RunningNoFib edited by jstolarek
(diff)
11:56 AM Building/RunningNoFib edited by jstolarek
(diff)
10:44 AM Changeset in ghc [66aa489]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Add missing semicolon in rts/Linker.c (#8271) And remove some trailing whitespaces from that file.
10:11 AM Changeset in ghc [28013971]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Test for #8205 This test is a bit speculative, because I can't reproduce problem on my machine. Still, it should work because it produces the same Cmm that originally caused the problem.
10:11 AM Changeset in testsuite [9267561]wip/nested-cprwip/pattern-synonymswip/th-new by Jan Stolarek <jan.stolarek@…>
Test for #8205 This test is a bit speculative, because I can't reproduce problem on my machine. Still, it should work because it produces the same Cmm that originally caused the problem.
9:10 AM Ticket #8274 (Core pretty-printer doesn't print # on unboxed literals) created by jstolarek
I just noticed that Core pretty printer produces something like this (this …
8:01 AM Ticket #8205 (the 'impossible' happened : expectJust block_order) closed by jstolarek
fixed: Replying to kazu-yamamoto: > I verified that the current GHC …
7:51 AM Ticket #8273 (ghc: panic! (the 'impossible' happened)) closed by jstolarek
duplicate: This is already solved in HEAD. Thanks for reporting.
7:01 AM Ticket #8273 (ghc: panic! (the 'impossible' happened)) created by ready2go
[…] My Apologies if this is a duplicate, first time I have used trac, …
5:45 AM Ticket #8272 (testing if SpLim=$rbp and Sp=$rsp changed performance at all) created by carter
testing if SpLim?=$rbp and Sp=$rsp changed performance at all would need …
4:31 AM Ticket #8271 (missing semicolon in rts/Linker.c) created by rwbarton
[…] The missing ; is harmless when LOCK_DEBUG is not defined, because …
4:10 AM Ticket #8270 (unknown symbol "atomic_inc" in GHCi when loading package ghc) created by rwbarton
I tried to do a "quick-llvm" build of a distclean-ed tree and got an error …
12:58 AM Status/GHC-7.8 edited by thoughtpolice
AMP is in. (diff)
12:54 AM Changeset in ghc [75a9664a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Implement the AMP warning (#8004) This patch implements a warning when definitions conflict with the Applicative-Monad Proposal (AMP), described in #8004. Namely, this will cause a warning iff: * You have an instance of Monad, but not Applicative * You have an instance of MonadPlus, but not Alternative * You locally defined a function named join, <*>, or pure. In GHC 7.10, these warnings will actually be enforced with superclass constraints through changes in base, so programs will fail to compile then. This warning is enabled by default. Unfortunately, not all of our upstream libraries have accepted the appropriate patches. So we temporarily fix ./validate by ignoring the AMP warning. Dan Rosén made an initial implementation of this change, and the remaining work was finished off by David Luposchainsky. I finally made some minor refactorings. Authored-by: Dan Rosén <danr@chalmers.se> Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
12:49 AM Changeset in ghc [47a0c363]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Fix remaining AMP fallout. The perf tests can probably be rechecked and tightened a little; I fixed them with AMP the other day but some changes since then have made them wibble perhaps. Signed-off-by: Austin Seipp <austin@well-typed.com>
12:49 AM Changeset in testsuite [816e4df]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Fix remaining AMP fallout. The perf tests can probably be rechecked and tightened a little; I fixed them with AMP the other day but some changes since then have made them wibble perhaps. Signed-off-by: Austin Seipp <austin@well-typed.com>

Sep 11, 2013:

11:47 PM Changeset in ghc [b20cf4e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix AMP warnings. Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
10:26 PM BrowserTips edited by leroux
Clarify how to add a new search engine in Chrome. (diff)
9:05 PM Changeset in ghc [1ef941a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
User guide typo: Missing ) in #language-pragma
8:50 PM Ticket #8269 (Suggest LANGUAGE pragmas instead of -XFoo) closed by nomeata
duplicate: I didn’t find the other ticket with a quick (probably too quick) search, …
5:26 PM Ticket #8243 (process.cabal source-repository field is out of date) closed by monoidal
fixed: The URLs in the libraries were fixed (for libraries-process commit …
3:53 PM Ticket #8269 (Suggest LANGUAGE pragmas instead of -XFoo) created by nomeata
Minor, but still: Currently GHC says: […] Maybe it is just me, but …
2:47 PM Status/GHC-7.8 edited by jstolarek
(diff)
1:58 PM Ticket #8267 (User's guide documents deprecated syntax for GADT records) closed by monoidal
duplicate: Thanks for the report. It's already fixed (#7915).
1:42 PM Ticket #8268 (Local annotations ignored in ambiguity check) closed by simonpj
invalid: I'm afraid the error is quite right: fst's type is ambiguous. Suppose …
1:38 PM Changeset in ghc [65e55c6]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update submodule `random` to point to latest HEAD
1:33 PM Changeset in ghc [bec3c04]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Drop proc-points that don't exist in the graph (#8205) On some architectures it might happen that stack layout pass will invalidate the list of calculated procpoints by dropping some of them. We fix this by checking whether a proc-point is in a graph at the beginning of proc-point analysis. This is a speculative fix for #8205.
1:28 PM Changeset in base [fb739a1]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `base.cabal` This is related to #8121
1:15 PM Changeset in directory [9397707c]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in ghc-prim [2e74638]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in integer-gmp [7799086]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in process [390978c]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in unix [0d91c0a]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
12:42 PM Ticket #8268 (Local annotations ignored in ambiguity check) created by maxs
The following program type checks correctly in GHC 7.6.3 but fails in 7.7 …
12:28 PM Ticket #8267 (User's guide documents deprecated syntax for GADT records) created by Feuerbach
Section 7.4.7 of the user's guide distributed with GHC 7.6.3 documents the …
12:26 PM Ticket #8236 (Assertion failure of MarkWeak) closed by kazu-yamamoto
fixed: Happily, Mighty is still running. Great. Let's close this ticket.
11:17 AM Changeset in ghc [43111a0b]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
GHCi: Fix multi-line input line/column-number refs This commit addresses #8051 by fixing - Incorrect column indices reported in error messages for single-line and multi-line input, - incorrect line numbers reported in error messages for expressions entered in multi-line input, and - inhibiting the confusing interaction between `:{` and `:set +m` causing the triggering of implicit multi-line continuation mode right after `:}` terminates the multi-line entry block.
11:17 AM Changeset in ghc [ed3c59a4]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `bin-packages-db.cabal` This is related to #8121
10:28 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:58 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:01 AM Changeset in ghc [13f1caad]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Leftover change to relevant-binding warnings (one I missed)
9:01 AM Changeset in testsuite [8450b18]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Leftover change to relevant-binding warnings (one I missed)
9:00 AM Changeset in ghc [394ab58b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix output for T8262
9:00 AM Changeset in testsuite [4f4cf71]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix output for T8262
4:46 AM BrowserTips edited by leroux
(diff)
4:46 AM FirefoxTips edited by leroux
Point to BrowserTips page. (diff)
4:42 AM WikiStart edited by leroux
(diff)
4:41 AM BrowserTips created by leroux
4:32 AM FirefoxTips edited by leroux
Add Chrome instructions and use ghc.haskell.org instead of … (diff)
12:41 AM Ticket #8266 (Dynamic linking on Mac) created by kazu-yamamoto
Many dynamic libraries refer to the build tree. (1) Every ".dylib" …

Sep 10, 2013:

8:55 PM ActiveBranches edited by nfrisby
(diff)
8:31 PM Building/Preparation/Windows edited by simonpj
(diff)
7:46 PM Ticket #8265 (getTokenStream fails for source using cpp) created by alanz
Calling getTokenStream (or getRichTokenStream) on a module that has CPP …
7:10 PM Ticket #8264 (Canonical way to prevent manual instances) created by nomeata
For some classes (Typeable) the user must not provide hand-written …
6:33 PM Ticket #8263 (allow duplicate deriving / standalone deriving) created by aavogt
I would like to avoid conditional compilation. Currently I need to write: …
6:04 PM Changeset in ghc [850490af]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Nicolas Frisby <nicolas.frisby@…>
factor 'tcRnModuleTcRnM' out of 'tcRnModule' and export it 'tcRnModuleTcRnM' builds the TcRnM monad computation that is the bulk of 'tcRnModule' This commit makes it simpler for courageous Core plugins to invoke the typechecker. In particular, they no longer need to copy-and-paste what is now the body of 'tcRnModuleTcRnM'. The key change is that the 'tcRnModuleTcRnM' computation can be run with (a hypothetical) 'initTcFromCoreM' instead of 'initTc'.
5:02 PM Ticket #8262 (Ill-kinded value is not rejected immediately) closed by simonpj
fixed: Great bug report thank you. Simon
5:02 PM Changeset in ghc [f3559379]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8262
5:02 PM Changeset in testsuite [d9da475]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8262
4:59 PM Ticket #8233 (Type environment when reporting holes) closed by simonpj
fixed: OK I've implemented an improvement as above. Try it now! Simon
4:58 PM Changeset in ghc [9ca4a73]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Error message wibbles Almost all are re-orderings of relevant-binding output Relevant bindings include + m :: Map (a, b) elt (bound at T3169.hs:12:17) + b :: b (bound at T3169.hs:12:13) lookup :: (a, b) -> Map (a, b) elt -> Maybe elt (bound at T3169.hs:12:3) - b :: b (bound at T3169.hs:12:13) - m :: Map (a, b) elt (bound at T3169.hs:12:17)
4:58 PM Changeset in testsuite [2d45a3e]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Error message wibbles Almost all are re-orderings of relevant-binding output Relevant bindings include + m :: Map (a, b) elt (bound at T3169.hs:12:17) + b :: b (bound at T3169.hs:12:13) lookup :: (a, b) -> Map (a, b) elt -> Maybe elt (bound at T3169.hs:12:3) - b :: b (bound at T3169.hs:12:13) - m :: Map (a, b) elt (bound at T3169.hs:12:17)
4:58 PM Changeset in ghc [ad8fb8f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8227
4:58 PM Changeset in testsuite [309e564]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8227
4:55 PM Changeset in ghc [9039108b]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve error reporting for "relevant bindings" again (Trac #8233) This patch makes a number of related improvements: * Displays relevant bindings in innermost-first order. The inner ones are closer to the error. * Does not display syntactically top-level bindings, unless you say -fno-max-relevant-bindings. This is what Trac #8233 was mainly about * Makes the TopLevelFlag in a TcIdBinder really mean "syntactically top level". It was a bit vague before. There was some associated simplification, because we no longer need to pas a TopLevelFlag to tcMonoBinds and friends.
10:47 AM Changeset in ghc [32ee9b3e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve -flate-dmd-anal documentation
10:47 AM Changeset in ghc [dc8b06e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
10:47 AM Changeset in ghc [e365d49]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve the insolubility check when quantifying See Note [Quantification with errors] Fixes Trac #8262
8:22 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
latest data representation (diff)
7:44 AM Changeset in ghc [a8a0764a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Remove dead code
7:38 AM Ticket #8262 (Ill-kinded value is not rejected immediately) created by monoidal
The expression Just (1#) is ill-kinded, since Just expects a parameter …
5:47 AM Ticket #3195 (runghc failing sometimes) closed by monoidal
invalid: I'm closing the ticket: it concerns ghc 6.10 and the links are broken. If …
4:39 AM Ticket #8261 (Windows Testsuite stuck at configuring timeout) created by leroux
When running the testsuite, it gets stuck at {{{Configuring …
3:11 AM Changeset in ghc [80a53aa]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
More release note fixes. This is what I get for being so hasty for release notes. Signed-off-by: Austin Seipp <austin@well-typed.com>
3:07 AM Changeset in ghc [f342512d]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Typo fix. Spotted by Mikhail Glushenkov. Signed-off-by: Austin Seipp <austin@well-typed.com>
3:03 AM TeamGHC edited by thoughtpolice
Update with my Well-Typed email. (diff)
2:26 AM ActiveBranches edited by thoughtpolice
(diff)
2:26 AM ActiveBranches edited by thoughtpolice
(diff)
2:24 AM Status/GHC-7.8 edited by thoughtpolice
Newtype wrappers will make it as well (diff)
2:24 AM Status/GHC-7.8 edited by thoughtpolice
Update with current status. (diff)
2:20 AM Changeset in ghc [d290ee5]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Add release notes for parallel compilation driver. Signed-off-by: Austin Seipp <austin@well-typed.com>
2:05 AM Changeset in ghc [7740e25]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix ./validate with GHC 7.6 as bootstrap compiler. 7.6 deprecated the Control.Concurrent.QSem module (to be removed later,) but according to Patrick it was actually un-deprecated. As a result, validate fails if your bootstrap compiler is 7.6, since it throws a DEPRECATED warning. Signed-off-by: Austin Seipp <austin@well-typed.com>

Sep 9, 2013:

11:15 PM Ticket #8260 (Parallel build behaves erratic under Windows) created by schyler
Under Windows, make -j4 will freeze randomly all through the build …
8:28 PM Changeset in ghc [9c18ad7]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Merge branch 'ghc-parmake-gsoc' (#910)
8:12 PM Status/GHC-7.8 edited by goldfire
(diff)
8:10 PM Changeset in ghc [c62a0b9]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Revision to release notes for the new Typeable.
8:09 PM Changeset in ghc [72ceffe]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Clarification in formalism concerning roles.
5:23 PM Changeset in ghc [d3cde17]type-nats-simple by Iavor S. Diatchki <diatchki@…>
Add additional reachable modules to `compiler_stage2_dll0_MODULES`.
4:36 PM TeamGHC edited by nomeata
Hi, I’m here. (diff)
3:44 PM Changeset in ghc [9f8e9d29]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Fix optimization of Parser.y.pp In 9e133b, the build was modified to pass -fcmm-sink to Parser, but unfortunately Parser specifies -O0 in its OPTIONS_GHC directive, meaning the sinking pass was actually turned off. HC_OPTS is the last thing passed to the compiler for that source file however, so the correct fix is to also move -O0 out into the build system as well. This was uncovered thanks to a build report from Kazu Yamamoto. Thanks to Jan Stolarek for eyeballing this bug and finding it. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:23 PM Records/OverloadedRecordFields/Plan edited by adamgundry
hull (diff)
12:22 PM Newcomers edited by goldfire
(diff)
10:31 AM Changeset in ghc [9fb15842]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Remove -fwarn-typeable-instances
9:27 AM Ticket #8259 (HEAD won't build on Windows) created by schyler
Related output: […] Fresh HEAD pulled, booted and sync'd <5 minutes …
8:49 AM Ticket #8258 (GHC accepts `data Foo where` in H2010 mode) created by hvr
According to the Haskell2010 report, The grammar productions relevant for …
8:42 AM Ticket #8257 (System.Mem: Expose performMinorGC) created by nh2
We already have […] which triggers a major garbage collection. In …
8:05 AM GitSubmoduleProblem edited by hvr
more notes about git submodules (diff)
7:15 AM ActiveBranches edited by heisenbug
type-nats-simple is for 7.8 (diff)
7:13 AM ActiveBranches edited by heisenbug
add link (diff)
6:53 AM ActiveBranches edited by heisenbug
mention type-nats-simple and data-kind-syntax (diff)
6:47 AM WorkingConventions/Releases edited by heisenbug
add link to active branches (diff)
6:40 AM WorkingConventions/Releases edited by heisenbug
make this more current (diff)
5:52 AM Changeset in ghc [85cb4d00]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats-simple
5:45 AM Changeset in testsuite [d2b7f82]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Add some tests
5:41 AM Changeset in ghc [2a025e0]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Fix coercion optimization for axiom rules.
3:53 AM Changeset in testsuite [5f2dc1b]data-kind-syntax by Trevor Elliott <trevor@…>
Squashed commit of the following: commit 05dbbe371fc6f55350146d9da3be964502f2f2f6 Author: Trevor Elliott <trevor@galois.com> Date: Sun Sep 8 15:44:36 2013 -0700 Add a `data type` test for the manual commit 47196bea5019896f52c721fa1d8883954eb8ef38 Merge: 985c976 80b8fbb Author: Trevor Elliott <trevor@galois.com> Date: Sun Sep 8 14:25:05 2013 -0700 Merge remote-tracking branch 'head/master' into data-kind-syntax-v2 commit 985c976801c42f10d8d3745bfab213399ce11ebb Merge: 214b93e f88ca20 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Aug 28 01:09:26 2013 -0400 Merge remote-tracking branch 'head/master' into data-kind-syntax-v2 commit 214b93ed9db50fdfae5e28252b39b57c9e1bad86 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Jul 17 03:22:57 2013 -0400 Update output for renamed should_fail cases commit fece262b7ec0326f1f59e6789fa0daec63ec2da7 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Jul 17 03:16:50 2013 -0400 Fix naming conflicts for data kind tests commit d4d4614a696633c6fe2c58b1832331abeb21bc32 Merge: de7a85e 27d4d6e Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Jul 17 03:13:35 2013 -0400 Merge remote-tracking branch 'head/master' into data-kind-syntax-v2 commit de7a85e7a4efea7d3cbf68b19b2622ecae71774e Merge: 4765d76 1ad2fda Author: Trevor Elliott <trevor@galois.com> Date: Wed Jun 5 11:02:55 2013 -0700 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 commit 4765d7607d883885d7b707f91ec3b30efc06bf46 Author: Trevor Elliott <trevor@galois.com> Date: Mon Jun 3 20:21:26 2013 -0700 Add the data kind example from the Wiki from http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/KindsWithoutData commit 90eb2e3ab18495948fb8de749fc993038fb63ab0 Author: Trevor Elliott <trevor@galois.com> Date: Mon Jun 3 20:11:26 2013 -0700 Update the expected failure DataKind6 Name resolution is checked for data kind declarations now commit 54621191bfebe6cc60e4a8553bee40d622405e24 Author: Trevor Elliott <trevor@galois.com> Date: Sat May 4 16:01:12 2013 -0700 Add tests for the data kind syntax
3:10 AM Ticket #8256 (adding locality levels to prefetch# and friends) created by carter
currently in HEAD / 7.7, the prefetch primop only does the equivalent of …
2:10 AM Changeset in ghc [783ca39]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Merge remote-tracking branch 'origin/master' into ghc-parmake-gsoc
1:25 AM Changeset in ghc [41744581]data-kind-syntax by Trevor Elliott <trevor@…>
Add IfacePromotionInfo * Remove the orphan instance for PromotionInfo from types/TyCon.lhs
12:46 AM Changeset in ghc [13d4096e]data-kind-syntax by Trevor Elliott <trevor@…>
Fix how we're using roles with `data kind` declarations
12:39 AM Ticket #8255 (GC Less Operation) closed by thoughtpolice
invalid: ARC does not make sense for a language like Haskell. Objective-C is …

Sep 8, 2013:

11:46 PM Changeset in ghc [86bf416]data-kind-syntax by Trevor Elliott <trevor@…>
Squashed commit of the following: commit 6549c3e569d0e0c3714814860201924432da2435 Author: Trevor Elliott <trevor@galois.com> Date: Sun Sep 8 16:43:42 2013 -0700 Document `data kind` syntax commit 81c6d7b884e819cf0b0569cef23b67bb5aff8944 Merge: 6c3f34c c798a8c Author: Trevor Elliott <trevor@galois.com> Date: Sun Sep 8 11:40:47 2013 -0700 Merge remote-tracking branch 'head/master' into data-kind-syntax-v2 commit 6c3f34c80bd8b17920a956e194ec29d1affbd776 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Aug 28 02:21:07 2013 -0400 Merge with the roles changes There a bunch of spots where the roles haven't been properly integrated with, so this patch should get some review. commit 6bb530f50f655e74fb4e337311699eee46b519b7 Merge: 7d27880 4b5238a Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Tue Aug 27 02:35:55 2013 -0400 Merge remote-tracking branch 'head/master' into data-kind-syntax-v2 Conflicts: compiler/basicTypes/DataCon.lhs compiler/iface/IfaceSyn.lhs compiler/main/PprTyThing.hs compiler/parser/Lexer.x compiler/parser/Parser.y.pp compiler/typecheck/TcInstDcls.lhs compiler/typecheck/TcTyClsDecls.lhs compiler/typecheck/TcTyDecls.lhs compiler/types/TyCon.lhs commit 7d2788021dab549ffd888deb9f28c8e7eab0d4ba Author: Trevor Elliott <trevor@galois.com> Date: Mon Jul 29 09:05:38 2013 -0700 Migrate through some lost instances commit 13e1f41ec9252fd9d547d8e4b9fb04ffaf43c105 Merge: e051060 9e185cc Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Sun Jul 28 14:28:05 2013 -0400 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 Moved Binary instances for data-kind related types to IfaceSyn commit e051060bbef4d359f2b1caa1c6135b23df17ffe7 Merge: 08d7c2f 2f99cdb Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Jul 17 01:58:16 2013 -0400 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 commit 08d7c2fca10a8c89b6fd638536a28972753ae360 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Mon Jul 1 21:56:48 2013 -0400 Fix some bugs from the merge with master * Figure out what the right choice for the kind checking strategy of kind decls should be commit 12f055d23a1b5c0a74d2db0784b779b605f3888f Merge: f0adbdc e56b9d5 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Mon Jul 1 21:12:47 2013 -0400 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 Conflicts: compiler/typecheck/TcTyClsDecls.lhs commit f0adbdc29fefc54675f0960e3178f3b079058eea Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Sun Jun 23 15:53:06 2013 -0400 Swap the names for PromotionFlavor and PromotionInfo commit e177270dc002f45286a9b644935ea339d8a6c8d3 Merge: 16df4be 3660ef9 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Sat Jun 22 04:00:15 2013 -0400 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 commit 16df4beac24065d3075a65b26add543452d1f2b2 Merge: b021b30 569b265 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Sat Jun 22 02:41:14 2013 -0400 merge with master commit b021b30f66fdb66965f6c57fb0969317c9aeb9e3 Author: Trevor Elliott <trevor@galois.com> Date: Thu Jun 20 19:39:20 2013 -0700 Start reworking comments commit b765370181571c1922b508f8dd17648a090ac248 Merge: d1ac794 e4fc6fd Author: Trevor Elliott <trevor@galois.com> Date: Thu Jun 20 18:27:43 2013 -0700 Merge branch 'master' into data-kind-syntax-v2 commit d1ac794b5bd06ae04e014cabe4560628b70fcdeb Merge: 9ad0a3c 73991d6 Author: Trevor Elliott <trevor@galois.com> Date: Thu Jun 20 18:16:15 2013 -0700 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 commit 9ad0a3c57a5b77f5040f1201b2c53a84680c1af2 Author: Trevor Elliott <trevor@galois.com> Date: Thu Jun 20 18:13:58 2013 -0700 Don't add the promotion tick to data kind constructors commit 8c37784e31702ecf7d91f2d7cf7dfab675a56927 Merge: 4dff379 db9b631 Author: Trevor Elliott <trevor@galois.com> Date: Mon Jun 17 10:55:51 2013 -0700 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 Conflicts: compiler/main/PprTyThing.hs compiler/rename/RnTypes.lhs compiler/types/TyCon.lhs commit 4dff3791ac9d1175d26f8c3b44923aefbe6c3f40 Author: Trevor Elliott <trevor@galois.com> Date: Mon Jun 3 20:45:00 2013 -0700 When parsing interfaces, use forkM while checking type constructors commit 7903009475b3e89aecc0a8e5d328ea84ea53a39d Author: Trevor Elliott <trevor@galois.com> Date: Mon Jun 3 20:06:40 2013 -0700 When parsing data kind declarations, don't change the constructor namespace commit 78ff545601cedba106eda05a38ce8f24f8480961 Author: Trevor Elliott <trevor@galois.com> Date: Mon May 27 18:45:52 2013 -0700 Switch from Maybe TyCon to a richer type for promotion The new type distinguishes the two cases where promotion isn't possible: 1) Promotion isn't possible, as it's disabled by a 'data type' declaration 2) Promotion isn't possible because we don't know how to promote it commit 0573fd3e8f9822171ddeb0df937e10075b653678 Author: Trevor Elliott <trevor@galois.com> Date: Mon May 27 17:36:21 2013 -0700 Remove an old TODO commit e218d5d6848109e9dea129250199115a9db6b1d9 Author: Trevor Elliott <trevor@galois.com> Date: Mon May 27 17:36:15 2013 -0700 Properly print data kind declarations in ghci commit 22b011d43f84cb0478eded613344e1dd165664e5 Author: Trevor Elliott <trevor@galois.com> Date: Thu May 16 18:38:22 2013 -0700 Switch to using the PromotedDataCon for the RHS of a data kind Something is still wrong here: doing :browse will get a panic for some reason. commit 12db8c704765d2775b0299c2e718d015577a6f18 Author: Trevor Elliott <trevor@galois.com> Date: Sat May 4 19:06:43 2013 -0700 Thread data kind syntax through the interface Things are not quite right at the moment. The issue is that we can't distinguish abstract types from types that are constructors in a data kind. As such, we should introduce a new constructor to TyCon to help disambiguate these two cases. Also it might be nice to add a new TyCon for kinds, which would avoid the need for a new RHS in the AlgTyCon case. commit 73f19612444e2a3b1534ab41f02449c9a5191ccb Author: Trevor Elliott <trevor@galois.com> Date: Tue Apr 30 20:30:21 2013 -0700 Handle kind declarations separately commit 8d3bf040748026829382c5d13421f910b3f9fcf9 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 20:40:49 2013 -0700 Partial type-kind checking of `data kind` declarations commit 2399eb788ed0fe571c22de4f810080a323ddaceb Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 18:01:28 2013 -0700 Support empty `data kind` declarations commit 61a28f2df42b34742219a97a22c029f840fef7f5 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 17:34:31 2013 -0700 Rename `data kind` declarations commit 5d3485a3e3ab7a78f1055b872f78203d5d005b76 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 16:53:26 2013 -0700 Fix a typo in a parser comment commit 7f631cf41a3ca84cd820b292711014b4e806a440 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 16:53:00 2013 -0700 Add paring for `data kind` declarations commit d29733901b2cd195989cdc972ac74c1ed4f19670 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 14:31:30 2013 -0700 Rename typeLiteralsBit to dataKindsBit in the lexer commit ca8ae194826fc47a2ba4f0188d62f5247b0fe631 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 14:27:50 2013 -0700 Add a check for -XDataKinds when parsing a `data type` declaration commit 8588717e8ce224affa584bd1e27aa14e098f5a8f Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 14:18:41 2013 -0700 Implement the 'data type' syntax and checking Add a new form of data declaration where the 'type' modifier can be used to prevent data promotion. For example data type T = K will not yield a promoted kind T, and promoted type K, even though they are in principle promotable.
11:42 PM GhcKinds/KindsWithoutData edited by elliottt
(diff)
11:26 PM GhcKinds/KindsWithoutData edited by elliottt
(diff)
9:43 PM Changeset in base [3323f41]ghc-7.8 by Iavor S. Diatchki <iavor.diatchki@…>
Redo <= with a type synonym instead of a class, add instance for boolean singletons, remove (-)
9:37 PM Changeset in ghc [84bdbf4e]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Add rules for <=?. Also makes wired-ins for promoted booleans.
9:19 PM Changeset in base [426c287]ghc-7.8 by Austin Seipp <aseipp@…>
Revert "length001 passes now" This reverts commit 1be0171fc8c911a7ce3d1e3926475e789d077724.
9:19 PM Changeset in base [476d042]ghc-7.8 by Austin Seipp <aseipp@…>
Revert "GHC.Conc.Sync: Pass TSO to stackOverflow" This reverts commit 0cfba06e09cae209c6fc1f94edd815ccf5a7e9d7.
9:17 PM Changeset in ghc [2cec084e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Revert "Note infinite stack default in release notes." This reverts commit c798a8c6c66d826efdc0201fa56d45337eecc2af.
9:17 PM Changeset in ghc [88dba61]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Revert "Default to infinite stack size (#8189)" This reverts commit d85044f6b201eae0a9e453b89c0433608e0778f0.
7:09 PM Ticket #8235 (Race condition in IO manager) closed by AndreasVoellmy
fixed
6:34 PM Changeset in base [d252043]ghc-7.8 by Andreas Voellmy <andreas.voellmy@…>
EventManager: Gracefully handle an initial 'Finished' state (#8235) Signed-off-by: Andreas Voellmy <andreas.voellmy@gmail.com>
2:54 PM Ticket #7925 (ghc 7.4.2 builds with errors on Red Had Enterprise Linux 6) closed by monoidal
wontfix: Thanks for the report. Unfortunately 7.4 is not maintained anymore; …
2:30 PM Changeset in ghc [0b1bea4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Fix most AMP warnings. Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:30 PM Changeset in testsuite [80b8fbb]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Fix most AMP warnings. Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
9:07 AM Changeset in ghc [c798a8c]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Note infinite stack default in release notes. Signed-off-by: Austin Seipp <aseipp@pobox.com>
8:57 AM Ticket #8242 (Infinite loop with addCFinalizerToWeak) closed by thoughtpolice
fixed: Merged. Thanks!
8:55 AM Changeset in ghc [d85044f6]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Default to infinite stack size (#8189) When servicing a stack overflows, only throw an exception to the given thread if the user explicitly set a max stack size, using +RTS -K. Otherwise just service it normally and grow the stack. In case we actually run out of *heap* (stack chuncks are allocated on the heap), then we need to bail by calling the stackOverflow() hook and exit immediately. Authored-by: Ben Gamari <bgamari.foss@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
8:55 AM Changeset in ghc [4129631]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Avoid allocating while holding a lock (#8242) This reverts commit 6770663f764db76dbb7138ccb3aea0527d194151. If the program enters the garbage collector with the closure lock held, it will confuse the garbage collector and will result in an infinite loop in evacuate(). Signed-off-by: Austin Seipp <aseipp@pobox.com>
8:52 AM Changeset in base [1be0171]ghc-7.8 by Austin Seipp <aseipp@…>
length001 passes now It no longer stack overflows, since the stack is infinite by default now. Signed-off-by: Austin Seipp <aseipp@pobox.com>
8:09 AM Ticket #8255 (GC Less Operation) created by sirinath
Hi, Is it possible to eliminated GC through Automatic Reference Counting …
7:52 AM Changeset in ghc [8859e1e3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Test for Trac #8242 Signed-off-by: Austin Seipp <aseipp@pobox.com>
7:52 AM Changeset in testsuite [ee2aa63]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Test for Trac #8242 Signed-off-by: Austin Seipp <aseipp@pobox.com>
7:46 AM ActiveBranches edited by nfrisby
(diff)
7:31 AM Status/GHC-7.8 edited by nfrisby
(diff)
6:53 AM Changeset in base [0cfba06]ghc-7.8 by Austin Seipp <aseipp@…>
GHC.Conc.Sync: Pass TSO to stackOverflow Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:34 AM Changeset in ghc [c73d372b]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Nicolas Frisby <nicolas.frisby@…>
resurrected -fdicts-strict, off by default also added -fdmd-tx-dict-sel, on by default
1:45 AM Ticket #8254 (confusing comment on allocate()) created by rwbarton
[…] Not sure what, if anything, allocate() is better than, but it's …
1:20 AM Ticket #8253 (example "Core syntax" is ancient) created by rwbarton
[http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/options-debugging.h
12:10 AM Changeset in ghc [e0cd08c]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Add some simple interactions with inerts for (+), (*), and (^).
12:10 AM Changeset in ghc [9c458ab]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Hook-in built-in interactions with inerts. After the solver extracts its relevant constraints (i.e., function applications where the head match), we check for any additional functional equation constraints for the same built-in function. Then, we call out to the custom interaction, to collect some extra derived constraints.
12:07 AM Changeset in ghc [fb3f5d7]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Add a function to get all inert fun-eqs for the given tycon.
12:06 AM Changeset in ghc [0d7649a6]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Add a function to lookup all things with the same top tycon in a TypeMap

Sep 7, 2013:

11:58 PM Ticket #8249 (Allocation counts should include PAPs) closed by ezyang
fixed: […]
9:42 PM Building/Preparation/Windows edited by simonpj
(diff)
9:41 PM Building/Preparation/Windows edited by simonpj
(diff)
9:16 PM Changeset in ghc [2757258]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Record PAP allocation to CCCS. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:43 PM Changeset in ghc [cf2b52bb]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Generalize CoAxiomRule to support non-nominal Roles. Add coreLint checks.
8:42 PM Changeset in ghc [c8606a72]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Just a comment to make it clear that AxiomRuleCo should be fully saturated.
8:21 PM Ticket #8252 (prefetch# isn't as general as it should be (currently the general version ...) created by carter
the fully general prefetch# needs to have certain arguments be compile …
8:04 PM Changeset in ghc [a4d21621]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Fix typo in declaration of exponentiation constructor.
7:37 PM Ticket #3996 (bug in GHC when compiling HOC (SVN revision 413)) closed by monoidal
invalid: I'm closing: the bug is old and apparently was not reproduced with 6.12. …
7:24 PM Changeset in ghc [bce80c5f]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Redo axiom rules, so that they just keep a FastString rather than a Name. This is simpler, and sufficient, because CoAxiomRules are only ever built into the compier, and there is no way for the user to introduce them (at least, not yet!)
6:06 PM Ticket #7807 (Parse error with "where" and file-ending comment) closed by monoidal
fixed: "type instance where" was old notation for closed type families before …
5:44 PM Ticket #8196 (Core Lint error in Specialise with PolyKinds and derived instance) closed by simonpj
fixed: Yes, it should.
3:01 PM Ticket #8016 (case expression with mixed use of Num instances cause spurious overlap ...) closed by monoidal
duplicate: I'm closing as a duplicate of #322. Unfortunately GHC's pattern matching …
2:15 PM Ticket #7982 (ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families) closed by monoidal
fixed: Looks good in HEAD […]
1:15 PM GitSubmoduleProblem edited by hvr
hijacking wiki entry for some notes (diff)
1:12 PM Ticket #8251 (Validate submodule references during pre-receive hook) created by hvr
Right now, you can push a commit introducing a not-yet existing Git …
9:01 AM Ticket #8250 (cgrun072 (optllvm) failing) created by leroux
* Platform: OS X 10.8.4 x86_64 * GHC Version 7.7.20130904 (built with …
7:04 AM Ticket #8249 (Allocation counts should include PAPs) created by ezyang
I was looking through the profiling code and I noticed we don't charge the …
5:43 AM Ticket #8248 (GHCi should not fail to honour ghci.conf or .ghci if group writable) created by afcowie
Any number of Linux distros support the idea of user groups, whereby when …
2:01 AM Ticket #8245 (ghc-pkg list --simple-output prints packages in non-alphabetical order) closed by thoughtpolice
fixed: Merged, thanks!
12:54 AM Changeset in ghc [021b1f8]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Fix ghc-pkg list --simple-output not being alphabetical (#8245). It was sorted by version number so far. I also added a sort to the normal output (without --simple-output) since the source it comes from does not guarantee sortedness. Signed-off-by: Austin Seipp <aseipp@pobox.com>
12:50 AM Ticket #8232 (Add isFullTBQueue to stm package) closed by thoughtpolice
fixed: Merged, thanks! […]

Sep 6, 2013:

7:15 PM Changeset in ghc [4c959e2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Update T4437, per JavaScriptFFI changes. Signed-off-by: Austin Seipp <aseipp@pobox.com>
7:15 PM Changeset in testsuite [6fdbd49]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Update T4437, per JavaScriptFFI changes. Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:41 PM Ticket #8247 (Dependency tracking (--make) broken for re-exported modules) created by heisenbug
Say, I re-export a module, from which I hide some bindings: […] where …
6:18 PM Changeset in ghc [b372e8e]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Add basic support for GHCJS This patch encompasses most of the basic infrastructure for GHCJS. It includes: * A new extension, -XJavaScriptFFI * A new architecture, ArchJavaScript * Parser and lexer support for 'foreign import javascript', only available under -XJavaScriptFFI, using ArchJavaScript. * As a knock-on, there is also a new 'WayCustom' constructor in DynFlags, so clients of the GHC API can add custom 'tags' to their built files. This should be useful for other users as well. The remaining changes are really just the resulting fallout, making sure all the cases are handled appropriately for DynFlags and Platform. Authored-by: Luite Stegeman <stegeman@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
5:57 PM Ticket #8246 (Role annotations does not allow the use of parenthesis) created by DaniilFrumin
There is an inconsistency in roles/kinds annotations wrt parenthesis. For …
3:24 PM Ticket #8245 (ghc-pkg list --simple-output prints packages in non-alphabetical order) created by nh2
Instead, it prints the ones with the smallest version first. That does …
3:20 PM Status/GHC-7.8 edited by simonpj
(diff)
3:17 PM Ticket #8244 (Removing the Cabal dependency) created by nh2
GHC depends on cabal, which is so far has been problematic many times, for …
3:10 PM Changeset in ghc [a58ba185]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Have `ghc --info` report support for parallel --make
3:08 PM Changeset in ghc [67d1d4e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Merge remote-tracking branch 'origin/master' into ghc-parmake-gsoc
2:52 PM Ticket #8243 (process.cabal source-repository field is out of date) created by rwbarton
From libraries/process/process.cabal: […] but `git clone …
2:48 PM Ticket #7980 (runghc dies silently when given large numbers of arguments. Compiled code ...) closed by rwbarton
fixed: I'm going to mark this as fixed since runghc no longer dies silently …
12:33 PM Ticket #8242 (Infinite loop with addCFinalizerToWeak) created by akio
(moved from #8236 ) When I compile the attached program with {{{-threaded …
9:43 AM Ticket #8241 (GHCi showing its internals with malformed instance) closed by ezyang
worksforme: Works fine in 7.6: […]
9:37 AM Ticket #8241 (GHCi showing its internals with malformed instance) created by crntaylor
Using ghci 7.4.2 I observe the following behaviour when I enter a …
9:22 AM Ticket #8239 (Wrong link in docs) closed by ezyang
fixed: Applied; thanks.
9:22 AM Changeset in ghc [df614779]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Fix link to launchbury93natural
9:16 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:14 AM Ticket #8240 (Better error messages for type family constraints) created by simonpj
Consider this constraint […] At the moment we'll combine the two to …
9:13 AM Ticket #8239 (Wrong link in docs) created by nomeata
trivial mistake, see https://github.com/nomeata/ghc/compare/fixlink and …
8:29 AM Ticket #8238 (Implement unloading of shared libraries) created by simonmar
In #8039 we added support for unloading static objects from the runtime …
7:23 AM Commentary/Packages/MultiInstances edited by simonpj
(diff)
7:23 AM Commentary/Packages/MultiInstances edited by simonpj
(diff)
6:45 AM Ticket #2841 (Ghci + foreign export declarations result in undefined symbols) closed by ezyang
worksforme: Actually, looking at the original bug here, it seems unrelated to the …
6:41 AM Ticket #8237 (checkProddableBlock: invalid fixup in runtime linker (Windows)) closed by ezyang
fixed
6:41 AM Changeset in ghc [7e32b2a]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Windows: load eh_frame as rodata, fixes #8237 Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:02 AM Ticket #8237 (checkProddableBlock: invalid fixup in runtime linker (Windows)) created by ezyang
I attempted to load a very simple C file into GHC using the linker and got …
2:32 AM Ticket #8236 (Assertion failure of MarkWeak) created by kazu-yamamoto
Running a web server compiled with GHC head specifying "-debug" got the …
1:38 AM Changeset in ghc [352a2bf8]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Temporary Haskeline fix for Windows build. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Sep 5, 2013:

10:38 PM Changeset in ghc [c1cbda5]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ryan Newton <rrnewton@…>
docs only: update the release notes with atomic primops
10:34 PM Ticket #8235 (Race condition in IO manager) created by parcs
=== Race.hs […] === Command Line […] It looks like there is a race …
9:41 PM Status/GHC-7.8 edited by ezyang
link to bugs (diff)
4:42 PM Ticket #8234 (Remove role annotations on type synonyms) created by goldfire
Currently, role annotations are allowed on vanilla type synonyms. However, …
3:11 PM Status/GHC-7.8 edited by simonpj
(diff)
3:09 PM Status/GHC-7.8 edited by simonpj
(diff)
3:07 PM Ticket #8233 (Type environment when reporting holes) created by monoidal
This is a sequel to #8191. Consider […] Compile with …
2:09 PM WikiStart edited by Itkovian
Getting Started apparently was replaced by Working on GHC in the sidebar, … (diff)
2:01 PM Ticket #8209 (Race condition in setNumCapabilities) closed by simonmar
fixed: oops, thanks for the reminder.
1:32 PM Ticket #8232 (Add isFullTBQueue to stm package) created by merijn
I proposed the addition of isFullTBQueue on libraries@ …
1:15 PM Ticket #8227 (cgLookupPanic (probably invalid Core) closed by monoidal
fixed: I distilled the part that causes panic in 7.6.3 and that part gives a …
12:14 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
repositories (diff)
12:13 PM Records/OverloadedRecordFields/Plan edited by adamgundry
repositories (diff)
8:41 AM Status/GHC-7.8 edited by simonpj
(diff)
8:41 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
8:38 AM Commentary/Packages/MultiInstances edited by simonpj
(diff)
8:37 AM Commentary/GSoCMultipleInstances edited by simonpj
(diff)
8:36 AM Commentary/Packages/MultiInstances edited by simonpj
(diff)
8:04 AM LateDmd edited by simonpj
(diff)
7:58 AM Status/GHC-7.8/Libraries edited by hvr
(diff)
7:54 AM Status/GHC-7.8/Libraries created by hvr
make my todo list public
7:39 AM Ticket #8230 (GHCi 7.6.2 Crashes with GADT + DataKinds) closed by simonpj
duplicate: I suspect that, like #8225, this is a dup of #7502. It certainly works …
7:20 AM Ghc/Hooks edited by luite
remove unused line from example (diff)
5:49 AM Ticket #8231 (Haskell's Run Time System doesn't save electricity) closed by thoughtpolice
invalid: This is because the parallel garbage collector is enabled by by default in …
5:19 AM Ticket #8231 (Haskell's Run Time System doesn't save electricity) created by UnixJunkie
Someone provided me with a sequential implementation of the fibonacci …
3:19 AM Ticket #8230 (GHCi 7.6.2 Crashes with GADT + DataKinds) created by jozefg
The following snippet caused GHCi to die {-# LANGUAGE GADTs, …
3:16 AM Ticket #8229 (Linking in Windows is slow) created by ezyang
It takes a long time to link ghc-stage2 on Windows; several minutes on …
3:09 AM Ticket #8228 (GHC built under Windows does not generate dyn_hi files) created by ezyang
I found cabal01 failing with: […] but I bet some of the other …
1:44 AM Ticket #8227 (cgLookupPanic (probably invalid Core) created by guest
[…]
1:15 AM Ticket #8226 (Remove the old style -- # Haddock comments.) created by Fuuzetsu
Haddock 0.x supported -- # style comments for Haddock pragma and while …
12:52 AM Ghc/Hooks edited by luite
(diff)
12:43 AM Changeset in ghc [24b791f9]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Ignore drectve sections, partially fixing #7056 Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
12:22 AM Ticket #8225 (Type Nats cause crash if GHC.TypeLits not imported) closed by monoidal
duplicate: Thank you for the report. It's already fixed (#7502).
12:10 AM Ticket #8225 (Type Nats cause crash if GHC.TypeLits not imported) created by MikeIzbicki
If I create a file "test.hs" with the following code: […] when I load …

Sep 4, 2013:

11:28 PM Status/GHC-7.8 edited by thoughtpolice
Add a note about #7602 (diff)
10:39 PM Ticket #7724 (cross-compile to iOS) closed by thoughtpolice
fixed: All the patches are in place, so this is finally finished. Thanks …
10:36 PM Ticket #8208 (iOS patch: Fix linker warnings) closed by thoughtpolice
fixed
10:35 PM Changeset in ghc [0451d85]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Fix annoying iOS linker warnings (#8208) Authored-by: Luke Iannini <lukexi@me.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
10:12 PM Ghc/Hooks edited by nominolo
Fix formatting (diff)
10:08 PM Ghc/Hooks edited by nominolo
Add example code and implementation sketch (diff)
10:00 PM Changeset in ghc [fb5156df]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Remove extensions from T4437 known to Cabal 1.18.0 Depends on [eb304bd9a8904c60febe3bf5d1768eebab7d05f2/ghc]
10:00 PM Changeset in testsuite [c4a1ba1a]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Remove extensions from T4437 known to Cabal 1.18.0 Depends on [eb304bd9a8904c60febe3bf5d1768eebab7d05f2/ghc]
9:59 PM Changeset in ghc [eb304bd]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update `Cabal` to 1.18.0 final
9:46 PM Ghc/Hooks created by nominolo
Initial version of GHC API Hooks design
9:08 PM Status/GHC-7.8 edited by quchen
(diff)
9:01 PM Status/GHC-7.8 edited by quchen
(diff)
7:48 PM Newcomers edited by leroux
#2184 has a working patch and is up for review. (diff)
7:26 PM Changeset in ghc [92bd6588]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Adapt for `containers-0.5.3.1` update See also [8a8cfb2ce9ff3d0b1a46421e02ebd5c0b7c61310/ghc]
7:26 PM Changeset in testsuite [07ec9de]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Adapt for `containers-0.5.3.1` update See also [8a8cfb2ce9ff3d0b1a46421e02ebd5c0b7c61310/ghc]
7:25 PM Changeset in ghc [8a8cfb2]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update `containers` to 0.5.3.1 release
7:25 PM Status/GHC-7.8 edited by nfrisby
(diff)
7:24 PM LateDmd edited by nfrisby
(diff)
7:22 PM Changeset in ghc [34728de]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Nicolas Frisby <nicolas.frisby@…>
documentation and comments for -ffun-to-thunk and -flate-dmd-anal
7:10 PM Ticket #8127 (iOS patch no 19: Linking) closed by thoughtpolice
fixed: Merged, thanks! […]
7:09 PM Changeset in ghc [32a0d95]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Test for -staticlib flag Signed-off-by: Austin Seipp <aseipp@pobox.com>
7:09 PM Changeset in testsuite [629f393]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Test for -staticlib flag Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:58 PM Changeset in ghc [1f5338e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Fix bootstrapping of GHC with earlier versions We can no longer use atomic_inc() in the stage1 compiler because its prototype was recently changed. Since the stage1 compiler is always single-threaded, only use atomic_inc() when THREADED_RTS is defined.
6:55 PM Changeset in ghc [500a7f7]type-nats-simple by Iavor S. Diatchki <diatchki@…>
Fixup how we create the wired-in names for type-level function tycons. Now they are all declared in TcTypeNats, because they contain the actual tycons, which are delcared there.
6:40 PM Changeset in ghc [81bafceb]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
genSym: atomic_inc() now takes two arguments
6:15 PM Changeset in ghc [6fff216]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Add a --no-dph flag to ./validate Under --slow, the DPH tests can take incredible amounts of time to run. And on some platforms, we may not have a fully working linker in order to build DPH etc anyway. So this provides a way to turn it off. This flag is off by default, but should your specify it, you can skip the required 'dph' libraries in a build, should you remove them from the source tree. Signed-off-by: Austin Seipp <aseipp@pobox.com>
5:38 PM Commentary/Compiler/Backends/LLVM/ReplacingNCG edited by carter
(diff)
5:20 PM Ticket #7918 (SrcSpan's associated with expanded quasi-quotes are inconsistent) closed by thoughtpolice
fixed
5:17 PM Ticket #7814 (panic in PPC NCG) closed by thoughtpolice
fixed: The more general case here is actually #7574. But yes, if your original …
5:14 PM Ticket #7534 (allocateRegsAndSpill: Cannot read from uninitialized register) closed by thoughtpolice
duplicate: This looks like an exact duplicate of #7574, and I've been working on it …
5:12 PM Ticket #7889 (Build Error (master branch)) closed by thoughtpolice
duplicate: This is actually a duplicate of #7056.
4:58 PM Ticket #8182 (Parser.y.pp needs special treatment with -fcmm-sink) closed by thoughtpolice
fixed
4:57 PM Changeset in ghc [9e133b9]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Make sure -fcmm-sink is passed to Parser properly Parser.hs needs to be compiled with -fcmm-sink on x86 platforms, so the register allocator doesn't run out of stack slots. Previously, we had to do some CPP hacks in order to emit an #ifdef into the file - this is because we preprocess it once up front, and run the preprocessor again when we compile it. There's two cases: the boostrap compiler is > 7.8, and the stage1 parser needs the flag, or the stage1 compiler is compiling the stage2 Parser.hs, and needs the flag.. The previous approach was super fragile with Clang. The more principled fix is to instead do this through the build system. This fixes #8182. Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:22 PM Changeset in ghc [0b778fe1]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Checkpoint: generalize to support arbitrary built-in constructors. This is done by adding a new TyConRHS (cf TyCon). The operations for type-checking a built-in tycon are in FamInst. This is a checkpoint because the current build does not seem to work on my machine: for some reason things like (+) are considered to be Open. The reason could be that I need to rebuild more things or, perhaps the type nat tycons need to be introduced in a different way. Currently, they are just declared as ordinary type families.
4:20 PM LateDmd edited by nfrisby
(diff)
4:13 PM Changeset in ghc [ba576e55]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Remove -fglasgow-exts from --help It's been deprecated for who knows how long, and gives a warning. Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:13 PM Status/GHC-7.8 edited by nfrisby
(diff)
4:10 PM Changeset in ghc [d127a697]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Merge remote-tracking branch 'origin/master' into ghc-parmake-gsoc
4:08 PM Ticket #8190 (mention --show-options in --help) closed by thoughtpolice
fixed: The man page is auto-generated and already has --show-options.
4:06 PM Changeset in ghc [32ade41]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Add --show-options to --help (#8190) Signed-off-by: Austin Seipp <aseipp@pobox.com>
3:44 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
3:40 PM Ticket #8224 (Excessive system time -- new IO manager problem?) created by rrnewton
This is an issue that came to light when testing the patches on #910. …
3:30 PM Ticket #8132 (Warning for Typeable instances misplaced) closed by dreixel
fixed: Done.
3:29 PM Changeset in ghc [391e99d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Adapt test to avoid Typeable instance error
3:29 PM Changeset in ghc [16f468f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Add test for #8132
3:29 PM Changeset in testsuite [7c11d93]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Adapt test to avoid Typeable instance error
3:29 PM Changeset in testsuite [7c73a9f]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Add test for #8132
3:28 PM Changeset in ghc [5335e569]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Turn manual Typeable instances into errors; fixes #8132
3:13 PM Status/GHC-7.8 edited by rrnewton
(diff)
2:42 PM Ticket #8210 (Make fails for Building a GHC cross-compiler for Apple iOS target ...) closed by lukexi
fixed
2:41 PM Changeset in ghc [e742f24]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Move declarations for type-nat TyCons to TcTypeNat
2:29 PM Status/GHC-7.8 edited by gmainland
(diff)
2:22 PM Ticket #8223 (System.Posix.User fails to build on systems without get{gr,pw}nam_r) created by rwbarton
I'm trying to build GHC for Android (using …
1:51 PM Status/GHC-7.8 edited by simonpj
(diff)
1:49 PM Status/GHC-7.8 edited by simonpj
(diff)
1:49 PM Changeset in ghc [d02a50ee]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Fix definition of DefinerOfRegs for CmmForeignCall And update comments
1:45 PM Changeset in ghc [8c16eb5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edsko de Vries <edsko@…>
Magic incantation to make T7918 work on Linux This should solve the issue reported by a few people about missing symbols. Not sure why this wasn't necessary on OSX.
1:45 PM Changeset in testsuite [6b75cb0]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Edsko de Vries <edsko@…>
Magic incantation to make T7918 work on Linux This should solve the issue reported by a few people about missing symbols. Not sure why this wasn't necessary on OSX.
1:29 PM Ticket #8221 (Type checker hangs) closed by simonpj
fixed: Great catch guys. There were indeed two bugs, both now fixed. Simon
12:34 PM Changeset in ghc [e30c84c]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make role inference work on the source type of a data con When inferring roles it is Much More Kosher to work on the source type, as written by the user, rather than the representation type as computed by GHC. Error messages may be better and, more subtly, the representation type is the result of a pretty complicated calculation and I'm worried about accidental cycles.
12:27 PM Changeset in ghc [cab84ec]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Tests for Trac #8221
12:27 PM Changeset in testsuite [25bf8e4]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Tests for Trac #8221
11:07 AM Changeset in ghc [4a0b94bc]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve debug tracing a bit
11:07 AM Changeset in ghc [4db3679]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Put the interface-file typechecking of IfUnpackCo inside forkM Now that IfBangs can contain coercions, which can mention the very type being typechecked, the tc_strict call must be inside forkM. This led to Trac #8221
11:07 AM Changeset in ghc [d3f002c]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix over-eager unpacking in isUnpackableType This bug meant that we tried to unpack Link in data Link a = MkLink !(Link a) when -funbox-small-strict-fields was on. See Trac #8221.
10:11 AM Changeset in ghc [356f7939]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix printf formats for pathchar on Windows (where it's wchar_t, not char)
10:11 AM Changeset in ghc [1fb558d1]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Don't refer to oc->next after freeing oc.
10:00 AM Changeset in ghc [6f0cf01]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add a test for #8209
10:00 AM Changeset in testsuite [26234b2]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add a test for #8209
10:00 AM Changeset in ghc [aa779e09]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Don't move Capabilities in setNumCapabilities (#8209) We have various problems with reallocating the array of Capabilities, due to threads in waitForReturnCapability that are already holding a pointer to a Capability. Rather than add more locking to make this safer, I decided it would be easier to ensure that we never move the Capabilities at all. The capabilities array is now an array of pointers to Capabaility. There are extra indirections, but it rarely matters - we don't often access Capabilities via the array, normally we already have a pointer to one. I ran the parallel benchmarks and didn't see any difference.
9:14 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
unused bindings (diff)
8:03 AM Changeset in ghc [5a3918f]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Hack-fix build breakage on Linux/GCC from fc4856f9 For some reason, the new `GccIsClang` variable introduced via fc4856f9e811d9a23ae9212f43a09ddf5ef12b26 for addressing #8148 isn't set explicitly to `NO`; so this simply changes the test `ifeq $(GccIsClang) NO` to `ifneq $(GccIsClang) YES` which should fix the build with and w/o Clang.
7:19 AM Ticket #8222 (CTYPE pragma on newtype is ignored) created by akio
User's guide includes an example where a CTYPE pragma is used for a …
6:43 AM Building/CrossCompiling/iOS edited by lukexi
(diff)
6:42 AM Building/CrossCompiling/iOS edited by lukexi
Added a note about library profiling via … (diff)
5:52 AM Changeset in ghc [a8a59f7]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Hook-in basic evaluation and improvement for type-nats. This does all the simple interactions with the built-in axioms. Things that are still missing: * Rules for <=? * The functionality to interact with members of the inert set
5:50 AM Changeset in ghc [e27d1a8c]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Add a new evidence constructor: CoAxiomRule This is used to represent generic evidence rules of the form: forall as. (s1 ~ t1, ..., sn ~ tn) => (p ~ q) The plan is to use to record evidence for evaluating built-in type-level functions (e.g., evaluation of type-level natural numbers).
5:42 AM Building/Preparation/Windows edited by ezyang
installer has changed (diff)
5:29 AM Changeset in ghc [fc4856f]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Make validate play nice with clang (for Xcode 5 command line tools) * This partially fixes #8148. However, --with-ghc-4.8 will still not work given the rather dubious m4 macros and the failures in the test suite due to '-nodefaultlibs' still need to be fixed.
12:17 AM Ticket #8221 (Type checker hangs) created by maxs
The following program gets GHC stuck in Renamer/typechecker. This compiles …

Sep 3, 2013:

10:45 PM Status/GHC-7.8 edited by thoughtpolice
Bryan's IO manager change is merged (diff)
10:44 PM Ticket #8158 (Replace IO manager's IntMap with a mutable hash table) closed by thoughtpolice
fixed: You just want to resolve as 'fixed', since "fixed in HEAD" will put it in …
9:04 PM Building/CrossCompiling/iOS edited by StephenBlackheath
(diff)
8:05 PM Changeset in base [239bc1d]ghc-7.8 by Andreas Voellmy <andreas.voellmy@…>
Switch IO manager to a mutable hashtable This data structure (IntTable) provides a similar API to its predecessor (IntMap), at half the number of lines in size. When tested in isolation using criterion, IntTable is much faster than IntMap: over 15x, according to my criterion benchmarks. This translates into a measurable improvement when used in the IO manager: using weighttp to benchmark acme-http under various configurations on two 32-core Linux servers connected by a 10gbE network, I see between a 3% and 10% increase in requests served per second compared to IntMap. Signed-off-by: Andreas Voellmy <andreas.voellmy@gmail.com>
6:18 PM Ticket #8220 (Macros / functions for source location) created by wojteknar
In GNAT (Ada compiler) there is a special package with functions …
4:43 PM LateDmd edited by nfrisby
(diff)
4:35 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
2:27 PM Changeset in ghc [62d3fdeb]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Allow non-Nominal covars (bugfix)
2:16 PM Ticket #8219 (x86 definition of cas() is wrong) created by parcs
On x86, cas() is defined in SMP.h as (paraphrasing) […] But *p is …
1:32 PM Ticket #7918 (SrcSpan's associated with expanded quasi-quotes are inconsistent) closed by edsko
fixed: Ok, implemented as discussed above for expressions, types and patterns; …
1:29 PM Changeset in ghc [be7f10b]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edsko de Vries <edsko@…>
Fix #7918
1:16 PM Ticket #8218 (Missing instance Monad WrappedMonad) created by jcpetruzza
Add to Control.Applicative the missing instance: […] Mailing-list …
1:06 PM Newcomers edited by goldfire
(diff)
11:51 AM Changeset in ghc [2065c01]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edsko de Vries <edsko@…>
Test for T7918
11:51 AM Changeset in testsuite [bba785f]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Edsko de Vries <edsko@…>
Test for T7918
10:58 AM Records/OverloadedRecordFields/Plan edited by adamgundry
virtual record fields (diff)
10:51 AM Changeset in ghc [1957fddb]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Comments and type synonym in CmmSink
8:22 AM Ticket #8215 (Out of scope with `-dcore-lint` and derived instances in GHCi) closed by simonpj
fixed: Good catch, thank you. Simon
8:20 AM Changeset in ghc [dfa8ef0]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve Linting in GHCi (fixes Trac #8215) The original problem was that we weren't bringing varaibles bound in the interactive context into scope before Linting the result of a top-level declaration in GHCi. (We were doing this for expressions.) Moreover I found that we weren't Linting the result of desugaring a GHCi expression, which we really should be doing. It took me a bit of time to unravel all this, and I did some refactoring to make it easier next time. * CoreMonad contains the Lint wrappers that get the right environments into place. It always had endPass and lintPassResult (which Lints bindings), but now it has lintInteractiveExpr. * Both use a common function CoreMonad.interactiveInScope to find those in-scope variables. Quite a bit of knock-on effects from this, but nothing exciting.
8:20 AM Changeset in ghc [32862bff]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comment only
8:20 AM Changeset in ghc [23fb31b6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8215
8:20 AM Changeset in testsuite [6f6f888]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8215
2:21 AM Ticket #8217 (Cross-compiling: Use CrossCompilePrefix for libdir) closed by heisenbug
fixed: If someone wants to do cross-compilation on Windows (I believe this is …
2:15 AM Changeset in ghc [e525547]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Patch by lukexi. Fixing #8217 for the unix(-like) case.

Sep 2, 2013:

10:59 PM Ticket #8217 (Cross-compiling: Use CrossCompilePrefix for libdir) created by lukexi
As suggested by Gabor Grief, use the CrossCompilePrefix? when installing …
8:46 PM Commentary/ResourceLimits edited by ezyang
(diff)
8:41 PM Building/CrossCompiling/iOS edited by lukexi
Updated to prescribe LLVM 3.0 rather than "3.0 or >=3.2", due to many … (diff)
7:47 PM Ticket #8216 (Segment fault using TH) closed by goldfire
duplicate: In that case, it seems that the bug has already been found and fixed in …
6:12 PM Ticket #8216 (Segment fault using TH) created by klrr
Hey, I was asked on reddit to report this as it was a bug. :-) When I try …
3:52 PM Changeset in base [3cb2d58]ghc-7.8 by Patrick Palka <patrick@…>
Fix off-by-one error in the IO manager The last enabled event manager was being needlessly restarted after increasing the number of capabilities at runtime.
3:35 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
2:56 PM Repositories/Upstream edited by hvr
workaround trac/git integration (diff)
2:48 PM Ticket #8215 (Out of scope with `-dcore-lint` and derived instances in GHCi) created by nomeata
At revision 9e2e84e01cbf2bc1da1fc7260709f63687206d76 (current HEAD), I …
2:46 PM Repositories/Upstream edited by hvr
add note about out-of-dateness (diff)
2:44 PM Changeset in ghc [a350667]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'type-nats' of http://git.haskell.org/ghc into type-nats Conflicts: compiler/types/Coercion.lhs compiler/types/TypeRep.lhs
2:39 PM Changeset in ghc [a137827]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Extend `packages` by 4th column for upstream repo By keeping the repository url in the `packages` file scripts such as source:ghc/sync-all can pick it up. Moreover, it's easier to automatically validate for correctness than the wiki:Repositories/Upstream page.
2:12 PM Ticket #8214 ('Untouchable' error in list comprehension) closed by simonpj
invalid: The error message is obscure (I'm sorry about that) but it's right. …
1:58 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
1:25 PM Changeset in ghc [9e2e84e0]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Comments only
12:49 PM Internships/JanStolarek edited by jstolarek
(diff)
12:42 PM Ticket #8214 ('Untouchable' error in list comprehension) created by MartijnVanSteenbergen
Hi, I think this program should compile but it doesn't: […] It fails …
11:36 AM Ticket #8141 (Liberalising IncoherentInstances) closed by simonpj
fixed: Documentation done. Simon
10:15 AM Changeset in ghc [644d917]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8196
10:15 AM Changeset in testsuite [2a6dbea]data-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8196
10:13 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
data families (diff)
10:13 AM Changeset in ghc [77fb33c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble for removing InlineWrapper
10:13 AM Changeset in testsuite [a91c3ad5]data-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble for removing InlineWrapper
9:58 AM Commentary/ResourceLimits edited by ezyang
(diff)
8:52 AM Changeset in ghc [8d7dd54]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make Specialise close over kind variables (fixes Trac #8196) This is a lingering bug from the introduction of polymorphic kinds. In the specialiser we were specialising over a type, but failing to specialise over the kinds it mentions. The fix is simple: add a call to closeOverKinds. Most of the patch is to add closeOverKinds, and to use it in a few other places where we are doing essentially the same thing.
8:52 AM Changeset in ghc [d5b81cb3]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve documentation for the 7.8 release * Document ExplicitNamespaces * Improve documentation of ambiguity, and AllowAmbiguousTypes * Improve documentation of overlapping/incoherent instance rules * List language extensions in alphabetical order
8:52 AM Changeset in ghc [e4a1d2d]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove the final vestiges of InlineWrappers Part of Nick Frisby's patch (c080f727ba5f83921b842fcff71e9066adbdc250) for late demand-analysis removed the over-zealous short-cut whereby strictness wrappers were not spelled out in detail in interface files. This patch completes the process by * removing InlineWrapper from UnfoldingSource * removing IfWrapper from IfaceUnfolding There was a tiny bit of special ad-hocery for wrappers, in OccurAnal, but fortunately that too turns out to be rendered irrelevant by the more uniform treatment, and after that there was no need to remember which functions are wrappers.
8:42 AM Commentary/ResourceLimits edited by ezyang
(diff)
7:50 AM Ticket #8213 (Bad error message when using lazy IO to read from closed handle) created by nh2
Today I accidentally wrote this code: […] The problem is that I …
6:41 AM Ticket #8212 (ghc panic building vector on architectures w/o GHCi) created by ill_logic
Configuring vector-0.10.0.1... Building vector-0.10.0.1... Preprocessing …
4:52 AM Commentary/ResourceLimits edited by ezyang
(diff)
3:58 AM Ticket #5550 (GHC infinite loop when compiling vector) closed by thoughtpolice
fixed: There's not going to be a 7.6.4, so this is now closed.
3:52 AM Commentary/ResourceLimits edited by ezyang
(diff)
3:32 AM Commentary/ResourceLimits edited by ezyang
(diff)
3:27 AM Commentary/ResourceLimits edited by ezyang
(diff)
1:46 AM Changeset in ghc [5f98d44]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Explicit import lists for StgCmmProf. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
1:32 AM Ticket #8211 (ghc -c recompiles TH every time while --make doesn't) created by nh2
https://github.com/nh2/ghc-bug-recompiles-th-on-c […] I would expect …

Sep 1, 2013:

9:30 PM Changeset in ghc [b7ea7df1]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Current implementation of type-nats solver.
9:29 PM Changeset in ghc [d1abc675]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Current implementation of type-nats solver.
7:36 PM Changeset in ghc [a031506]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Squish changes into a single commit
7:21 PM Changeset in ghc [9df6bbfc]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Squashed commit of the following: commit e25c23444320f76f8cd7309399c8144b4fb748e4 Author: Iavor S. Diatchki <iavor.diatchki@gmail.com> Date: Sun Sep 1 11:57:50 2013 -0700 Rename TypeNatCo (and friends) to AxiomRuleCo commit bb105329c6f8f675e42166f51a3ee3cc7fe6d632 Author: Iavor S. Diatchki <iavor.diatchki@gmail.com> Date: Sun Sep 1 11:33:20 2013 -0700 Move CoAxiomRule into CoAxiom commit 2d361d0b065d8f605d909d28c99b2126469165d4 Author: Iavor S. Diatchki <iavor.diatchki@gmail.com> Date: Sun Sep 1 11:32:30 2013 -0700 Squash changes to type nats and merge with master in a single commit. This is useful in preparation for merging with master, and the history is not particularly interesting.
6:25 PM Ticket #8210 (Make fails for Building a GHC cross-compiler for Apple iOS target ...) created by alen_ribic
I followed the instructions for Building a GHC cross-compiler for Apple …
2:24 PM Ticket #8209 (Race condition in setNumCapabilities) created by akio
In HEAD, the following program sometimes deadlocks (about 1/10 of the …
9:13 AM Building/CrossCompiling/iOS edited by lukexi
(diff)
8:17 AM Ticket #8208 (iOS patch: Fix linker warnings) created by lukexi
This (very small) patch generalizes some fixes already used on OS X to …
3:02 AM Ticket #8207 (Pretty Printer for textual version of Language (name) in DynFlags) created by Fuuzetsu
I feel that the GHC API could benefit from a Show instance for Language in …

Aug 31, 2013:

9:39 PM Changeset in ghc [b05caa7]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Comment fix
8:10 PM Changeset in ghc [8c99e698]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ryan Newton <rrnewton@…>
minor: remove tabs from file
7:28 PM Changeset in ghc [e251a51]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ryan Newton <rrnewton@…>
Merge branch 'master' into atomics
2:42 PM Changeset in ghc [ea87014]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Teach `validate` script how to `--help` This basically turns the comment at the beginning of the `validate` shell script into an interactive `--help` output plus some minor additions.
11:25 AM Ticket #8206 (Add support for Portable Native Client) created by guest
== Motivation == …
9:36 AM Commentary/Compiler/Backends/LLVM/Design edited by guest
"registered" => "registerised" (diff)
8:54 AM Changeset in ghc [e4465512]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update `haskeline` library to latest HEAD (+ 3 outstanding local patches)
8:25 AM Ticket #8116 (Segfault/panic of 32bit GHCi on Mac) closed by thoughtpolice
fixed: We discussed it shortly on IRC the other week when I made the change, and …
8:18 AM Ticket #8144 (Interface hashes include time stamp of dependent files (UsageFile mtime)) closed by ezyang
fixed
8:08 AM Ticket #8205 (the 'impossible' happened : expectJust block_order) created by erikd
Currently at commit 7e91e5bf84c2b3f461934b43911c0defb61dd9c6 and this was …
7:50 AM Ticket #7751 (Incremental heap census) closed by ezyang
wontfix: I'm working on a new implementation which eliminates my primary use-case …
7:45 AM Ticket #7399 (Test Posix004 fails in test-suite) closed by ezyang
fixed: Actually, it's just a test fix, no point merging.
5:54 AM Building/CrossCompiling/iOS edited by StephenBlackheath
Mention the ghc-ios project on GitHub?. (diff)
3:31 AM Changeset in nofib [a297f32]ghc-7.8 by Edward Z. Yang <ezyang@…>
Revert ill-advised change. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
3:15 AM Changeset in nofib [6f74ffd]ghc-7.8 by Edward Z. Yang <ezyang@…>
Hack to make awards compile in the right order. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
2:45 AM Changeset in ghc [25df0af]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ryan Newton <rrnewton@…>
Merge branch 'master' into atomics
2:45 AM Changeset in testsuite [5cad49d]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ryan Newton <rrnewton@…>
Merge branch 'master' into atomics
2:17 AM Commentary/Rts/Interpreter edited by ezyang
start a section (diff)
1:38 AM CodeOwners edited by lukexi
(diff)
1:31 AM Platforms edited by lukexi
Added iOS as a Tier 2 platform (diff)
12:19 AM Changeset in ghc [a2e338f3]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Retain boot modules in getModLoop The parallel upsweep needs to know about _all_ the modules that make up a module loop in order to correctly determine a module's external loop dependencies. Otherwise, incorrect dependency information may be computed, resulting in an eventual deadlock during compilation. So don't filter boot modules in getModLoop, and instead have its callers filter them when needed. Following this change, GHC could compile itself via --make -O2 -j. Yay!

Aug 30, 2013:

10:49 PM Ticket #8204 (Impossible when deriving Read for empty data declaration) closed by tinctorius
duplicate: Found the reference to #7931 in compiler/typecheck/TcGenDeriv. Sorry for …
10:40 PM Changeset in ghc [7e91e5b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Note unloadObj changes in release notes. Signed-off-by: Austin Seipp <aseipp@pobox.com>
10:40 PM Changeset in ghc [685582f1]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Typo in release notes regarding -dynamic-too Signed-off-by: Austin Seipp <aseipp@pobox.com>
10:13 PM Ticket #8204 (Impossible when deriving Read for empty data declaration) created by tinctorius
Remember #4302? Me: […] GHC: […] Me: […] GHC: […] And …
6:33 PM Ticket #8203 (Yesod platform fails to build on ARM) created by randomist
Trying to build yesod platform on Samsung Chromebook (architecture is …
6:09 PM Changeset in ghc [1c33153]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Rename DynFlags.parUpsweepNum to parMakeCount
5:12 PM LateDmd edited by nfrisby
(diff)
5:10 PM LateDmd edited by nfrisby
(diff)
4:54 PM Changeset in ghc [26bf3dd4]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Merge branch 'master' into ghc-parmake-gsoc Conflicts: compiler/main/DynFlags.hs compiler/utils/FastString.lhs
3:50 PM Changeset in ghc [d55a4f39]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update time to 1.4.1 release
3:49 PM Hoopl/Cleanup edited by simonpj
(diff)
3:24 PM Ticket #8110 (Off-by-one error in FastString.getFastStringTable) closed by parcs
fixed
3:21 PM Changeset in ghc [85c1715]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Fix off-by-one error in FastString.getFastStringTable (#8110) The function was reading past the end of the FastString table, causing the -dfaststring-stats option to behave unpredictably.
2:46 PM LateDmd edited by nfrisby
(diff)
2:45 PM LateDmd edited by nfrisby
(diff)
2:43 PM LateDmd edited by nfrisby
(diff)
2:39 PM LateDmd edited by nfrisby
(diff)
2:36 PM LateDmd edited by nfrisby
(diff)
2:35 PM LateDmd edited by nfrisby
(diff)
2:30 PM LateDmd edited by nfrisby
(diff)
2:27 PM Ticket #8200 (Export languageExtensions from DynFlags) closed by jstolarek
fixed
2:20 PM Changeset in ghc [160160f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Export languageExtensions as part of the API. Fixes #8200
2:10 PM LateDmd edited by nfrisby
(diff)
2:01 PM Changeset in ghc [e87d158d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Fix comment typos that interfere with syntax highlighting
1:34 PM Ticket #7958 ('Cannot continue after interface file error' during compilation) closed by jstolarek
fixed: I'm closing the report then, since neither of us can reproduce the problem …
1:32 PM Ticket #3915 (GHC panic; possibly related to mutually recursive modules) closed by jstolarek
fixed
1:31 PM Ticket #8201 (Haddockifying the documentation in HsSyn) closed by jstolarek
fixed
1:31 PM Changeset in ghc [064e101]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Haddockify documentation in HsBinds and HsExpr Fixes #8201
1:29 PM Records/OverloadedRecordFields/Plan edited by adamgundry
scope issues (diff)
12:58 PM Ticket #8202 (ghc panic applyTypeToArgs) created by hth313
Building https://github.com/hth313/hthforth with ghc 7.6.2 on Linux or …
12:51 PM Changeset in ghc [25f1bda7]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update binary to 0.7.1.0 release
11:52 AM Ticket #8201 (Haddockifying the documentation in HsSyn) created by DaniilFrumin
I took the liberty of making some cosmetic changes to the comments in …
11:36 AM Changeset in ghc [2fcaed3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Adapt for `containers-0.5.2.1` update See also [d6c44672849d3a42d0f986d171025355466d9c7c/ghc]
11:36 AM Changeset in testsuite [d7f3ee3]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Adapt for `containers-0.5.2.1` update See also [d6c44672849d3a42d0f986d171025355466d9c7c/ghc]
11:04 AM Changeset in ghc [d6c4467]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update containers to 0.5.2.1 release (+ local fix for PolyTypeable)
10:34 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
deprecated fields and fixity declarations (diff)
10:30 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
data families (diff)
9:54 AM Internships/JanStolarek edited by jstolarek
(diff)
9:03 AM CodeOwners edited by simonpj
(diff)
9:00 AM TeamGHC edited by simonpj
(diff)
9:00 AM CodeOwners edited by simonpj
(diff)
8:53 AM Commentary/Rts/Storage/HeapAlloced edited by simonpj
(diff)
7:01 AM Changeset in ghc [dea53ce]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Fix minor error regarding NumDecimals. Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:01 AM Ticket #8200 (Export languageExtensions from DynFlags) created by Fuuzetsu
As stated in the summary. I don't see any harm in it and I would …
3:16 AM Ticket #8141 (Liberalising IncoherentInstances) closed by thoughtpolice
fixed: Merged with a release note blurb. Thank you Joachim!
3:15 AM Changeset in ghc [f6a3bfea]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Release note blurb about IncoherentInstances. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:51 AM Ticket #8199 (Get rid of HEAP_ALLOCED) created by ezyang
This bug is to track progress of removing HEAP_ALLOCED from GHC, promising …
1:47 AM Changeset in ghc [cf2fe3e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Test cases for new IncoherentInstances behaviour (related to #8141) Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:47 AM Changeset in testsuite [f9fb338]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Test cases for new IncoherentInstances behaviour (related to #8141) Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:46 AM Changeset in ghc [d9f4366]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Improve documentation of the new IncoherentInstances behaviour Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:46 AM Changeset in ghc [099f954]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Liberalising IncoherentInstances (Almost) as suggested by SPJ on http://www.haskell.org/pipermail/glasgow-haskell-users/2013-July/022651.html (fixes #8141) Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:22 AM Commentary/Compiler/Backends/LLVM/ReplacingNCG edited by benl
(diff)
1:19 AM Commentary/Compiler/Backends/LLVM/ReplacingNCG edited by benl
(diff)
1:11 AM Commentary/Compiler/Backends/LLVM edited by benl
(diff)
1:10 AM Commentary/Compiler/Backends/LLVM edited by benl
(diff)
1:10 AM Commentary/Compiler/Backends/LLVM/ReplacingNCG created by benl
12:46 AM Ticket #8198 (One-shot mode is buggy w.r.t. hs-boot files) created by parcs
Consider === A.hs-boot […] === B.hs […] === Command Line […] …
12:20 AM Ticket #8181 (-dyno and -dynamic-too undocumented) closed by thoughtpolice
fixed
12:20 AM Ticket #7500 (GHC: internal error: getMBlock: mmap: Operation not permitted) closed by thoughtpolice
fixed: Merged. Thanks Reid!
12:19 AM Changeset in ghc [bab28fb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Add flag docs for -dynamic-too (#8181) Signed-off-by: Austin Seipp <aseipp@pobox.com>
Note: See TracTimeline for information about the timeline view.