Timeline


and

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>
8:05 PM Changeset in ghc [28cf2e00] 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:52 PM Changeset in ghc [cc99f64] 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 [a3506674]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 …
Note: See TracTimeline for information about the timeline view.