Timeline


and

Apr 17, 2012:

8:52 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:51 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:51 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:37 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:34 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:08 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:08 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:02 PM TypeNats/SingletonsAndExistentials edited by diatchki
(diff)
8:01 PM TypeNats/SingletonsAndExistentials created by diatchki
7:51 PM TypeNats edited by diatchki
(diff)
7:02 PM Ticket #6014 (Crash; message says to report it, here it is.) created by guest
[…] ----- fact2.hs is this: […]
6:08 PM Ticket #5865 (threadDelay is disrupted by system clock changes) closed by pcapriotti
fixed: Pushed in GHC: […] and base: […]
6:07 PM Ticket #3867 (ghc: panic! (linkBCO: >= 64k ptrs)) closed by pcapriotti
fixed: Pushed: […]
6:03 PM Changeset in base [4bea82c]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Replace getUSecOfDay with monotonic timer (#5865)
6:03 PM Changeset in base [a865c6c]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Add timer initialization for darwin.
6:03 PM Changeset in ghc [1fd0c2e]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Paolo Capriotti <p.capriotti@…>
Replace getUSecOfDay with monotonic timer (#5865)
6:03 PM Changeset in ghc [22307c1]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Paolo Capriotti <p.capriotti@…>
Add timer initialization for darwin.
6:03 PM Changeset in base [f87f285]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Define monotonic time function for Darwin.
6:03 PM Changeset in ghc [666bba8]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Paolo Capriotti <p.capriotti@…>
Define monotonic time function for Darwin.
4:56 PM Ticket #6013 (the 'impossible' happened) closed by pcapriotti
duplicate: Thanks for the report. The problem in the code is that Show should be …
4:43 PM Ticket #6011 (Panic when using a type synonym) closed by pcapriotti
fixed: Added testcase (ac83e5b373f53c6ad526f2a26462ab25b2b5a9de).
4:42 PM Changeset in ghc [8f2d1112]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add testcase for #6011.
4:42 PM Changeset in testsuite [ac83e5b3]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add testcase for #6011.
4:38 PM Ticket #6013 (the 'impossible' happened) created by tlvb
Please forgive me if this is a duplicate or irrelevant, bug reporting and …
10:54 AM Ticket #6009 (The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- ...) closed by igloo
wontfix: As far as I know, building on 10.5 will work if you have a working GHC …
6:31 AM Ticket #6012 (No warning for Incorrect display of 15! (factorial 15) when type is Int -> ...) closed by dterei
invalid: 1) Calm down. 2) Please check the Haskell language specification. Int is …

Apr 16, 2012:

11:58 PM Ticket #6012 (No warning for Incorrect display of 15! (factorial 15) when type is Int -> ...) created by George.Atelier
GHCi version: 7.0.4 Offending function: factorial :: Int -> Int …
10:46 PM Ticket #6011 (Panic when using a type synonym) created by mm_freak
I'm getting the following "the impossible happened" error when trying to …
6:48 PM Changeset in ghc [6ba8b330]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fix operand expansion function.
2:30 PM Changeset in ghc [5aa1ae2]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Simplify the typechecking of RULES Not only does this fix Trac #5853, but it also eliminate the horrid SimplEqsOnly part of the constraint simplifier. The new plan is described in TcRules Note [Simplifying RULE constraints]
2:27 PM Changeset in ghc [68b4a09]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Simplify construction of equality predicates There was an ASSERT which does not hold during type checking (and should not) which is later checked by Core Lint
2:22 PM Ticket #5810 (OSX Lion building 7.4 head causes Haddock Divide By Zero) closed by pcapriotti
fixed: Merged as 9febee4d65728d1613cd5c54e80100c09d65b9b9.
2:19 PM Changeset in ghc [d5ec2967]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Implemented word-sized addressing of pointers and literals.
2:19 PM Changeset in ghc [6dc22bfa]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Support large SLIDE instructions. The bytecode generator used to keep track of the stack depth with a 16-bit counter, which could overflow for very large BCOs, resulting in incorrect bytecode. This commit switches to a word-sized counter, and eagerly panics whenever an operand is too big, instead of truncating the result. This allows us to work around the 16-bit limitation in the case of SLIDE instructions, since we can simply factor it into multiple SLIDEs with smaller arguments.
2:19 PM Changeset in ghc [e408f4f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Export State monad transformer from ByteCodeItbls.
2:19 PM Changeset in ghc [f8d4882]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Bytecode assembler refactoring. Use a free monad to specify the assembling procedure, so that it can be run multiple times without producing side effects. This paves the way for a more general implementation of variable-sized instructions, since we need to dry-run the bytecode assembler to determine the size of the operands for some instructions.
2:18 PM Changeset in ghc [5ba7db93]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Use monotonic clock in Select.c (#5865)
2:18 PM Changeset in ghc [e57d23d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Use monotonic time function for darwin (#5865)
1:47 PM Changeset in base [2f308f5]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Use monotonic time in Event/Manager.hs.
1:47 PM Changeset in ghc [386d3e2]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Paolo Capriotti <p.capriotti@…>
Use monotonic time in Event/Manager.hs.
1:29 PM SIMD edited by gmainland
(diff)
1:27 PM Ticket #5993 (Segfault with threaded runtime and low +RTS -k) closed by pcapriotti
fixed: Merged as 48c3d271fe14380000f81f21e03bf7d77b9af16f.
1:27 PM SIMD/Implementation/Plan edited by gmainland
(diff)
1:26 PM Changeset in integer-gmp [9febee4]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Updated to a newer version of gmp; fixes #5810 I didn't diagnose the problem, but with the newer GMP the problem seems fixed. There are a couple of things that look like candidates for the bug: * A few minor bugs related to portability fixed. * A bug in division code possibly causing incorrect computation was fixed. MERGED from commit 552504663774d4ad2528d466f08841b5b78c7518
1:26 PM SIMD/Implementation/Old edited by gmainland
(diff)
1:25 PM SIMD/Implementation/Llvm edited by gmainland
(diff)
1:23 PM SIMD/Design edited by gmainland
(diff)
1:19 PM SIMD edited by gmainland
(diff)
1:11 PM Commentary edited by gmainland
(diff)
1:10 PM Commentary/Compiler/Backends/LLVM edited by gmainland
Link to correct overview page (diff)
1:02 PM SIMDVectorExampleInLLVM edited by gmainland
Add redirection (diff)
1:02 PM SIMD/LlvmExample created by gmainland
Copy from SIMDVectorExampleInLLVM
1:00 PM VectorComputing edited by gmainland
Add redirection (diff)
1:00 PM SIMD/Implementation/Old created by gmainland
Copy from VectorComputing
12:59 PM SimdLlvm edited by gmainland
Add redirection (diff)
12:58 PM SIMD/Implementation/Llvm created by gmainland
Copy from SimdLlvm
12:50 PM SIMDPlan edited by gmainland
Note redirection. (diff)
12:36 PM SIMD/Implementation/Status created by gmainland
12:34 PM SIMD/Implementation/Plan created by gmainland
12:23 PM SIMD/Design created by gmainland
9:35 AM Ticket #5072 (Segfault on OS X in interpreted code) closed by simonmar
worksforme: Closing - 6 months with no further info and nobody else complaining.
9:14 AM Changeset in ghc [f49c76e]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Update 7.4.2 release notes.
8:33 AM Ticket #6010 (GHC.Conc.labelThread function can't use Unicode character for thread ...) created by shelarcy
Debug.Trace.traceEventIO fucntion uses UTF-8 encoding for outputing …

Apr 15, 2012:

8:19 PM Ticket #6009 (The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- ...) created by InvisibleTech
I have been using homebrew package manager for OS X 10.5.8 for installing …

Apr 14, 2012:

8:50 PM Ticket #6008 (ghc: panic! (the 'impossible' happened)) created by jtb
Hello, I get the following output in ghci ordering me to report this bug: …
8:23 AM Ticket #6007 (ghci: Importing specific non-existent names from a module breaks later ...) created by josh
At the ghci prompt, attempting to import specific non-existent names from …
3:21 AM Ticket #6006 (hs_init(NULL, NULL) segfaults on latest snapshot) created by ezyang
This weeny program crashes: […] Old versions of GHC accomodate null …

Apr 13, 2012:

9:14 PM Changeset in ghc [c1e5ca5]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite Conflicts: tests/polykinds/all.T
9:14 PM Changeset in testsuite [dbb7430]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite Conflicts: tests/polykinds/all.T
9:09 PM Changeset in ghc [70665778]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to error message
9:09 PM Changeset in testsuite [01780b5]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to error message
9:06 PM Changeset in ghc [6cc2d27]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5938
9:06 PM Changeset in testsuite [6003a41]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5938
8:42 PM Changeset in ghc [49d0615]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
8:40 PM Changeset in ghc [c5554f82]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow kind-variable binders in type signatures This is the last major addition to the kind-polymorphism story, by allowing (Trac #5938) type family F a -- F :: forall k. k -> * data T a -- T :: forall k. k -> * type instance F (T (a :: Maybe k)) = Char The new thing is the explicit 'k' in the type signature on 'a', which itself is inside a type pattern for F. Main changes are: * HsTypes.HsBSig now has a *pair* (kvs, tvs) of binders, the kind variables and the type variables * extractHsTyRdrTyVars returns a pair (kvs, tvs) and the function itself has moved from RdrHsSyn to RnTypes * Quite a bit of fiddling with TcHsType.tcHsPatSigType and tcPatSig which have become a bit simpler. I'm still not satisfied though. There's some consequential fiddling in TcRules too. * Removed the unused HsUtils.collectSigTysFromPats There's a consequential wibble to Haddock too
7:47 PM Ticket #6005 (Template Haskell disallows use of promoted data constructor in same splice) created by goldfire
The following code fails to compile under GHC 7.5.20120413: […] The …
7:02 PM Commentary/Compiler/TcRnMonad edited by danbst
typo (diff)
6:53 PM Ticket #5997 (GHC fails to make function tail recursive) closed by simonpj
duplicate: Thanks. Turns out to be a dup of #5920. But I'll add this as a second …
6:08 PM Ticket #6004 (dph-lifted-vseg package doesn't provide Data.Array.Parallel.Prelude.Float ...) created by shelarcy
dph-lifted-copy package and old dph-par package provide …
4:38 PM Changeset in ghc [b8ff444]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix worker/wrapper for CPR functions A long-standing and egregious bug in the worker/wrapper code meant that some functions with the CPR property weren't getting a CPR w/w. And that had the effect of making a tail-recursive function not tail recursive. As well as increasing allocation. Fixes Trac #5920, and #5997. Nofib results (highlights): Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- boyer2 -0.1% -15.3% 0.01 0.01 +0.0% mandel2 -0.0% -8.1% 0.01 0.01 +0.0% para -0.1% -11.8% -7.9% -7.8% +0.0% -------------------------------------------------------------------------------- Min -0.1% -15.3% -7.9% -7.8% -33.3% Max +0.0% +0.2% +6.3% +6.3% +3.7% Geometric Mean -0.0% -0.4% +0.1% +0.1% -0.5% Looks like a clear win. And I have not even recompiled the libraries, so it'll probably be a bit better in the ed.
11:54 AM Changeset in ghc [6bf81598]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow overlaps when -XIncoherentInstances is in force This change allows a top-level instance to be used even if there is a (potentially) overlapping local given. Which isn't fab, but it is what IncoherentInstances is *for*. This fixes the bug part of Trac #6002.
11:23 AM Changeset in base [0550a28]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by David Terei <davidterei@…>
Revert "Add GHCi monad" This reverts commit 7e04ab6158957c90e3c68911b6909b6ef69621da.
11:23 AM Changeset in ghc [6ea5981]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by David Terei <davidterei@…>
Revert "Add GHCi monad" This reverts commit 7e04ab6158957c90e3c68911b6909b6ef69621da.
10:10 AM Changeset in ghc [3377abeb]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Untabify HsTypes
9:56 AM Changeset in ghc [65f10e4]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Increase the size of T3064 and upgrade 64-bit numbers accordingly
9:56 AM Changeset in testsuite [daea963]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Increase the size of T3064 and upgrade 64-bit numbers accordingly
9:53 AM Ticket #3064 (Very long compile times with type functions) closed by simonpj
fixed: So, after Dimitrios's recent changes we get […] which looks much more …
9:37 AM Changeset in ghc [e0e99f9]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Revert "Added ':runmonad' command to GHCi" Two problems, for now at any rate a) Breaks the build with lots of errors like No instance for (Show (IO ())) arising from a use of `print' b) Discussion of the approache hasn't converged yet (Simon M had a number of suggestions) This reverts commit eecd7c98c1f079c14d99ed831dff33a48ee45e67.
8:37 AM TypeNats/Basics edited by danbst
typo (diff)
6:47 AM Changeset in ghc [f98194b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_fail/all.T
6:47 AM Changeset in testsuite [8fec245]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_fail/all.T
1:06 AM Changeset in ghc [eecd7c98]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Added ':runmonad' command to GHCi This command allows you to lift user stmts in GHCi into an IO monad that implements the GHC.GHCi.GHCiSandboxIO type class. This allows for easy sandboxing of GHCi using :runmonad and Safe Haskell. Longer term it would be nice to allow a more general model for the Monad than GHCiSandboxIO but delaying this for the moment.
12:06 AM Changeset in base [7e04ab6]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by David Terei <davidterei@…>
Add GHCi monad
12:06 AM Changeset in ghc [b297a1f]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by David Terei <davidterei@…>
Add GHCi monad

Apr 12, 2012:

10:18 PM Ticket #6003 (ghci should complain when the user imports non-existent modules) closed by pcapriotti
duplicate: Duplicate of #5836.
9:59 PM Ticket #6003 (ghci should complain when the user imports non-existent modules) created by dagit
I was surprised today when I tried to import a module that wasn't …
9:42 PM Changeset in ghc [295717d0]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
More imporvements to optimisation flag docs.
8:54 PM Changeset in ghc [f1a633a0]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Don't document '-freg-liveness' or '-fllvm-tbaa', developer flags
3:10 PM Ticket #6002 (GHC 7.4+ thinks class instance is incoherent, 7.0.4 disagrees) created by heisenbug
Load this file into GHCi: …
2:34 PM Ticket #5991 (regression: huge number of wakeups in xmonad) closed by pcapriotti
fixed: Merged as 27c2f292d23983fac0e1f333a43424264c2e290b and …
2:07 PM Changeset in ghc [48c3d271]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix crash with tiny initial stack size (#5993) MERGED from commit 5eabdc1675b8b5bc9fcdfb96ab63d14d42ca2d5b
1:43 PM Changeset in ghc [a73d0a21]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix a #define I don't think it was causing any problems, but TimeToUS(x+y) would have evaluated to x + (y / 1000) MERGED from commit 54121fffb5ee069d9b7a5628104ff1114ea87182 On the 7.4 branch, this was causing a wrong conversion in getDelayTarget. Signed-off-by: Paolo Capriotti <p.capriotti@gmail.com>
12:46 PM Changeset in ghc [125a20f]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Test #5993
12:46 PM Changeset in testsuite [bdc13d4]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Test #5993
12:46 PM Changeset in ghc [f9e8ebb]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
enable the ghci way for various tests, now that GHCi detects deadlock properly
12:46 PM Changeset in testsuite [e0bcbc8]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
enable the ghci way for various tests, now that GHCi detects deadlock properly
12:40 PM Changeset in ghc [206c8fc]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Allow threads in GHCi to receive BlockedIndefintely* exceptions (#2786) This is a partial fix for #2786. It seems we still don't get NonTermination exceptions for interpreted computations, but we do now get the BlockedIndefinitely family.
12:40 PM Changeset in ghc [392c288]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
updateThunk: minor tweak to avoid an unnecessary call to checkBlockingQueues
12:40 PM Changeset in ghc [5eabdc1]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix crash with tiny initial stack size (#5993)
12:08 PM Ticket #5934 (ghc: panic! (the 'impossible' happened)) closed by pcapriotti
fixed: Sure, no problem.
11:33 AM Changeset in ghc [6aee4745]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Disable the timer signal while blocked in select() (#5991) The threaded RTS had a fix for this a long time ago (#1623) but this patch applies a similar fix to the non-threaded RTS. MERGED from commit dd24d6bc37879c6b32a3d5ac4ee765e59e13501c
11:32 AM Changeset in ghc [27c2f292]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Improve the handling of threadDelay in the non-threaded RTS Firstly, we were rounding up too much, such that the smallest delay was 20ms. Secondly, there is no need to use millisecond resolution on a 64-bit machine where we have room in the TSO to use the normal nanosecond resolution that we use elsewhere in the RTS. MERGED from commit 9d26519c20194abc3832578a55fbe31327519eeb
11:07 AM Ticket #6000 (Performance of Fibonnaci compare to Python) closed by simonmar
worksforme: My results on x86_64-unknown-linux with 7.4.1: […] Are you sure you …
10:59 AM Ticket #5995 (http://wiki.barrelfish.org/Getting_Started#ghcInstall ...) closed by simonmar
invalid: I suggest taking this to the Barrelfish folks, it's probably some problem …
10:46 AM Ticket #6001 (Wrong diagnostics for instance signature mismatch) closed by pcapriotti
fixed: Added simplified test case (no need for GADTs or DataKinds). Thanks.
10:43 AM Changeset in base [65201a1]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
doc tweaks
10:43 AM Changeset in ghc [3b047ba4]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
doc tweaks
10:43 AM Changeset in base [120546a]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
add "Portions obtained from hbc (c) Lennart Augusstson" (#5963)
10:43 AM Changeset in base [e18035d]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
move mkWeakThreadId to GHC.Conc.Sync; export it from Control.Concurrent
10:43 AM Changeset in ghc [0b2923a]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
add "Portions obtained from hbc (c) Lennart Augusstson" (#5963)
10:43 AM Changeset in ghc [52d43ff]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
move mkWeakThreadId to GHC.Conc.Sync; export it from Control.Concurrent
10:37 AM Ticket #5975 (ghci can't load file whose name contains non-ASCII chars?) closed by pcapriotti
fixed: Pushed (the ticket number in the commit message is wrong): […] I …
10:05 AM Changeset in ghc [3ff6439]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add testcase for #6001
10:05 AM Changeset in testsuite [d26ca7c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add testcase for #6001
9:55 AM Changeset in ghc [148b27b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fix instance signature error message (#6001) Display class method signature instead of user-provided signature.
9:53 AM Changeset in ghc [8a1c5845]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add testcases for #5975.
9:53 AM Changeset in testsuite [bd7a2e5]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add testcases for #5975.
9:14 AM Ticket #6001 (Wrong diagnostics for instance signature mismatch) created by heisenbug
Consider: ------------------------------------------- {-# LANGUAGE …
3:39 AM Records/ExplicitClassyRecords edited by strake888
(diff)
3:31 AM Records edited by strake888
(diff)
3:30 AM Records/ExplicitClassyRecords created by strake888
2:16 AM WikiStart edited by ehird
remove spam (diff)
2:06 AM Ticket #6000 (Performance of Fibonnaci compare to Python) created by guest
There's a 4 second, unjustified, difference in performance between the …
Note: See TracTimeline for information about the timeline view.