Feed Advanced Search

Nov 30 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC3a96a0b6db6a: Simpler Semigroup instance for InsideLam and InterestingCtxt (authored by sgraf).
Simpler Semigroup instance for InsideLam and InterestingCtxt
Nov 30 2019, 2:04 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC316f24319e15: Hadrian docs: Rename the second "validate" entry to "slow-validate" [ci skip] (authored by sgraf).
Hadrian docs: Rename the second "validate" entry to "slow-validate" [ci skip]
Nov 30 2019, 1:58 AM

Nov 26 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC5a08f7d405bb: Make warnings for TH splices opt-in (authored by sgraf).
Make warnings for TH splices opt-in
Nov 26 2019, 11:22 PM

Nov 23 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC5747ebe9bc9b: Stricten functions ins GHC.Natural (authored by sgraf).
Stricten functions ins GHC.Natural
Nov 23 2019, 5:59 PM

Nov 5 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC1593debf54ab: Check EmptyCase by simply adding a non-void constraint (authored by sgraf).
Check EmptyCase by simply adding a non-void constraint
Nov 5 2019, 10:38 AM

Nov 2 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC182b119943d3: Separate `LPat` from `Pat` on the type-level (authored by sgraf).
Separate `LPat` from `Pat` on the type-level
Nov 2 2019, 7:17 PM

Oct 28 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCe951f219597a: Use FlexibleInstances for `Outputable (* p)` instead of match-all instances… (authored by sgraf).
Use FlexibleInstances for `Outputable (* p)` instead of match-all instances…
Oct 28 2019, 8:26 AM

Oct 16 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6ede35542208: Infer rho-types instead of sigma-types in guard BindStmts and TransStmts (authored by sgraf).
Infer rho-types instead of sigma-types in guard BindStmts and TransStmts
Oct 16 2019, 6:10 AM

Oct 11 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC30f5ac07a484: Much simpler language for PmCheck (authored by sgraf).
Much simpler language for PmCheck
Oct 11 2019, 9:11 PM

Oct 8 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCf691f0c21dcc: PmCheck: Look up parent data family TyCon when populating `PossibleMatches` (authored by sgraf).
PmCheck: Look up parent data family TyCon when populating `PossibleMatches`
Oct 8 2019, 12:31 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC397c6ed5ca53: PmCheck: Identify some semantically equivalent expressions (authored by sgraf).
PmCheck: Identify some semantically equivalent expressions
Oct 8 2019, 4:17 AM

Oct 1 2019

sgraf committed rGHC580132203bca: Add testcases inspired by Luke Maranget's pattern match series (authored by sgraf).
Add testcases inspired by Luke Maranget's pattern match series
Oct 1 2019, 3:24 PM
sgraf committed rGHC6548b7b00e25: Add a bunch of testcases for the pattern match checker (authored by sgraf).
Add a bunch of testcases for the pattern match checker
Oct 1 2019, 3:24 PM

Sep 30 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6f8550a3af45: Move pattern match checker modules to GHC.HsToCore.PmCheck (authored by sgraf).
Move pattern match checker modules to GHC.HsToCore.PmCheck
Sep 30 2019, 9:46 PM

Sep 28 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCce64b3977774: `exprOkForSpeculation` for Note [IO hack in the demand analyser] (authored by sgraf).
`exprOkForSpeculation` for Note [IO hack in the demand analyser]
Sep 28 2019, 4:18 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCc5d888d41eb7: PmCheck: No ConLike instantiation in pmcheck (authored by sgraf).
PmCheck: No ConLike instantiation in pmcheck
Sep 28 2019, 4:12 PM

Sep 27 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC1582dafa319f: PmCheck: Look at precendence to give type signatures to some wildcards (authored by sgraf).
PmCheck: Look at precendence to give type signatures to some wildcards
Sep 27 2019, 9:16 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC289fc8da2a29: PmCheck: Elaborate what 'model' means in the user guide [skip ci] (authored by sgraf).
PmCheck: Elaborate what 'model' means in the user guide [skip ci]
Sep 27 2019, 9:11 PM

Sep 25 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCebc65025435b: PmCheck: Only ever check constantly many models against a single pattern (authored by sgraf).
PmCheck: Only ever check constantly many models against a single pattern
Sep 25 2019, 12:59 PM

Sep 24 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCf97a7aacb5ff: Fix some duplication in the parser (authored by sgraf).
Fix some duplication in the parser
Sep 24 2019, 12:12 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC146f26cc9842: Some leftovers from !1732. Comments only [skip ci] (authored by sgraf).
Some leftovers from !1732. Comments only [skip ci]
Sep 24 2019, 12:07 AM

Sep 21 2019

sgraf committed rGHCa7867c7949b9: Get rid of PmFake (authored by sgraf).
Get rid of PmFake
Sep 21 2019, 10:31 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC1ea8c451375b: PredType for type constraints in the pattern match checker instead of EvVar (authored by sgraf).
PredType for type constraints in the pattern match checker instead of EvVar
Sep 21 2019, 8:59 AM

Sep 19 2019

sgraf committed rNOFIB9c2966dc62cc: Add section about benchmark categories to README.md (authored by sgraf).
Add section about benchmark categories to README.md
Sep 19 2019, 3:50 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC2a8867cfa6b6: Add a regression test for #11822 (authored by sgraf).
Add a regression test for #11822
Sep 19 2019, 8:09 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCbaf47661426e: Extract PmTypes module from PmExpr and PmOracle (authored by sgraf).
Extract PmTypes module from PmExpr and PmOracle
Sep 19 2019, 8:09 AM

Sep 16 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC7915afc6bb95: Encode shape information in `PmOracle` (authored by sgraf).
Encode shape information in `PmOracle`
Sep 16 2019, 12:38 PM

Sep 12 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC2b37a79d61e9: Bump Cabal submodule to 3.1 (authored by sgraf).
Bump Cabal submodule to 3.1
Sep 12 2019, 1:05 PM

Aug 28 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCa308b435afed: Fix #17112 (authored by sgraf).
Fix #17112
Aug 28 2019, 10:39 AM

Aug 13 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC328a0efaba62: Add Foldable, Traversable instances for Uniq(D)FM (authored by sgraf).
Add Foldable, Traversable instances for Uniq(D)FM
Aug 13 2019, 4:40 PM

Jul 19 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCf1980a1e8a05: Make generated ghc-stage<n> scripts executable (authored by sgraf).
Make generated ghc-stage<n> scripts executable
Jul 19 2019, 5:12 PM

Jul 18 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC8add024fabfe: Make GHC-in-GHCi work on Windows (authored by sgraf).
Make GHC-in-GHCi work on Windows
Jul 18 2019, 1:15 PM

Jun 7 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCe963beb54a24: TmOracle: Replace negative term equalities by refutable PmAltCons (authored by sgraf).
TmOracle: Replace negative term equalities by refutable PmAltCons
Jun 7 2019, 9:29 AM

May 27 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC723216e3ee8d: Add a pprTraceWith function (authored by sgraf).
Add a pprTraceWith function
May 27 2019, 10:53 PM

Apr 30 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC014ed644eea9: Compute demand signatures assuming idArity (authored by sgraf).
Compute demand signatures assuming idArity
Apr 30 2019, 7:29 PM

Apr 8 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCd236d9d0f4f3: Make `singleConstructor` cope with pattern synonyms (authored by sgraf).
Make `singleConstructor` cope with pattern synonyms
Apr 8 2019, 2:17 PM

Apr 3 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4626cf213fe7: Fix Uncovered set of literal patterns (authored by sgraf).
Fix Uncovered set of literal patterns
Apr 3 2019, 3:15 AM

Mar 21 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC646e3dc20ebe: Add a bench flavour to Hadrian (authored by sgraf).
Add a bench flavour to Hadrian
Mar 21 2019, 12:02 PM

Mar 9 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC1675d40afe07: Always do the worker/wrapper split for NOINLINEs (authored by sgraf).
Always do the worker/wrapper split for NOINLINEs
Mar 9 2019, 1:11 AM

Mar 4 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCb85068f6843e: Include closure header size in StgLamLift's estimations (authored by sgraf).
Include closure header size in StgLamLift's estimations
Mar 4 2019, 3:09 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC45bd04d6fde9: Bump hsc2hs for removed unused match (authored by sgraf).
Bump hsc2hs for removed unused match
Mar 4 2019, 1:05 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC558550a671f9: Remove unused imports (authored by sgraf).
Remove unused imports
Mar 4 2019, 1:05 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC97231c3531d0: Polished Note [Exceptions and strictness] (authored by sgraf).
Polished Note [Exceptions and strictness]
Mar 4 2019, 1:05 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6dae133fc049: Update user-settings.md with a pointer to `Packages` (authored by sgraf).
Update user-settings.md with a pointer to `Packages`
Mar 4 2019, 1:05 PM
sgraf committed rGHCef6b28339b18: Remove ExnStr and ThrowsExn business (authored by sgraf).
Remove ExnStr and ThrowsExn business
Mar 4 2019, 1:05 PM
sgraf committed rGHC3cbee255cd55: Add @sgraf to CODEOWNERS (authored by sgraf).
Add @sgraf to CODEOWNERS
Mar 4 2019, 1:02 PM

Jan 26 2019

sgraf committed rNOFIB7a702cc1f4c0: Add sgraf812 and bgamari as CODEOWNERS (authored by sgraf).
Add sgraf812 and bgamari as CODEOWNERS
Jan 26 2019, 12:00 PM

Jan 16 2019

sgraf committed rNOFIBb760674c194a: READE.md: Move `cabal install` instructions (authored by sgraf).
READE.md: Move `cabal install` instructions
Jan 16 2019, 4:11 AM
sgraf committed rNOFIB271dc00f7442: Stabilise gen_regexp again (authored by sgraf).
Stabilise gen_regexp again
Jan 16 2019, 3:58 AM
sgraf committed rNOFIBc20122e0188b: Mention symlink situation on Git for Windows in README.md (authored by sgraf).
Mention symlink situation on Git for Windows in README.md
Jan 16 2019, 3:44 AM

Jan 15 2019

sgraf committed rNOFIB6cfa09804f79: Re-enable cacheprof (authored by sgraf).
Re-enable cacheprof
Jan 15 2019, 10:28 AM
sgraf committed rNOFIBcc8fc601f886: Make `git clean -nxd` silent after `make distclean` (authored by sgraf).
Make `git clean -nxd` silent after `make distclean`
Jan 15 2019, 7:18 AM
sgraf committed rNOFIB8a85944c3456: READE.md: Move `cabal install` instructions (authored by sgraf).
READE.md: Move `cabal install` instructions
Jan 15 2019, 6:29 AM

Jan 11 2019

sgraf committed rNOFIBe1b0cfad28e1: Stabilise gen_regexp again (authored by sgraf).
Stabilise gen_regexp again
Jan 11 2019, 4:30 AM
sgraf committed rNOFIB43d347f38de5: Mention symlink situation on Git for Windows in README.md (authored by sgraf).
Mention symlink situation on Git for Windows in README.md
Jan 11 2019, 3:49 AM

Jan 9 2019

sgraf committed rNOFIB651416b0b319: Stabilise benchmarks wrt. GC (authored by sgraf).
Stabilise benchmarks wrt. GC
Jan 9 2019, 12:45 PM
sgraf committed rNOFIB626289f56dad: Re-enable cacheprof (authored by sgraf).
Re-enable cacheprof
Jan 9 2019, 7:54 AM

Jan 8 2019

sgraf committed rNOFIB58f710d16296: Make `git clean -nxd` silent after `make distclean` (authored by sgraf).
Make `git clean -nxd` silent after `make distclean`
Jan 8 2019, 7:19 AM

Jan 2 2019

sgraf added a comment to D5469: Compare results of compress by hashing.
Are you following https://gitlab.haskell.org/ghc/nofib?

I wasn’t (am now) but the other sources are mirrored, so that is not the problem. The above log was for

commit d2a0f3ab8438b80663f7977bb6b474c02baffa5c
Author: Peter Trommler <ptrommler@acm.org>
Date:   Mon Dec 31 16:46:22 2018 +0100

    Rewrite comment on C calling convention
Jan 2 2019, 3:16 AM

Jan 1 2019

sgraf added a comment to D5469: Compare results of compress by hashing.

That's strange. Are you following https://gitlab.haskell.org/ghc/nofib? Because CI there went green just today for make mode=fast. In addition to compress, I also had to fix compress2 but that's about it. The boot failures in particular should be gone.

Jan 1 2019, 4:39 PM
sgraf committed rNOFIBe2d614e40e8b: Disable timer-based context switches (authored by sgraf).
Disable timer-based context switches
Jan 1 2019, 12:02 PM
sgraf committed rNOFIB95c1dccbcaba: Replace mentions of {-# STRICT -#} with bangs in compress2 (authored by sgraf).
Replace mentions of {-# STRICT -#} with bangs in compress2
Jan 1 2019, 11:28 AM
sgraf committed rNOFIBc3acdcc648b5: Compare output of compress2 by hashing (authored by sgraf).
Compare output of compress2 by hashing
Jan 1 2019, 11:28 AM
sgraf committed rNOFIBe1869fd38966: Add continuous integration support (authored by bgamari).
Add continuous integration support
Jan 1 2019, 11:28 AM

Dec 31 2018

sgraf committed rNOFIB0f7f176de8e0: Add continuous integration support (authored by bgamari).
Add continuous integration support
Dec 31 2018, 10:49 AM
sgraf committed rNOFIB70b59f3dee53: Replace mentions of {-# STRICT -#} with bangs in compress2 (authored by sgraf).
Replace mentions of {-# STRICT -#} with bangs in compress2
Dec 31 2018, 4:15 AM
sgraf committed rNOFIB632f33f0ade1: Compare output of compress2 by hashing (authored by sgraf).
Compare output of compress2 by hashing
Dec 31 2018, 4:15 AM
sgraf committed rNOFIB2c6e793c4dbe: Compare output of compress2 by hashing (authored by sgraf).
Compare output of compress2 by hashing
Dec 31 2018, 4:03 AM

Dec 30 2018

sgraf abandoned D5438: Stabilise benchmarks wrt. GC.

Superseded by https://gitlab.haskell.org/ghc/nofib/merge_requests/5.

Dec 30 2018, 12:52 PM
sgraf abandoned D5468: Stabilise benchmarks wrt. GC, part 2.

Superseded by https://gitlab.haskell.org/ghc/nofib/merge_requests/5.

Dec 30 2018, 12:51 PM
sgraf added a comment to D5467: CLEAN_FILES for `reverse-complement`.

Merged as https://gitlab.haskell.org/ghc/nofib/merge_requests/2.

Dec 30 2018, 12:21 PM
sgraf committed rNOFIB5c66e188b50c: Disable timer-based context switches (authored by sgraf).
Disable timer-based context switches
Dec 30 2018, 12:18 PM
sgraf closed D5470: Disable timer-based context switches.
Dec 30 2018, 12:18 PM
sgraf committed rNOFIB44bff05de7ad: Typofix (authored by Greif <gabor.greif@nokia.com>).
Typofix
Dec 30 2018, 12:12 PM
sgraf committed rNOFIB8b3c9596440b: CLEAN_FILES for `reverse-complement` (authored by sgraf).
CLEAN_FILES for `reverse-complement`
Dec 30 2018, 12:12 PM
sgraf closed D5467: CLEAN_FILES for `reverse-complement`.
Dec 30 2018, 12:12 PM

Dec 29 2018

sgraf added a comment to D5470: Disable timer-based context switches.

Any objections to merging this? This could possibly manifest in a small drop in performance in perf.haskell.org, but then again, the build seems broken anyway...

Dec 29 2018, 1:20 PM
sgraf added a comment to D5467: CLEAN_FILES for `reverse-complement`.

I hope it's OK if I just land this. I'll revert if you object.

Dec 29 2018, 1:15 PM

Dec 28 2018

sgraf updated the diff for D5468: Stabilise benchmarks wrt. GC, part 2.
  • Rebase
  • Remove stdout files of nucleic because of floating point instabilities
  • Fix stdin encoding of grep on Windows
Dec 28 2018, 10:10 AM

Dec 27 2018

sgraf removed a parent revision for D5468: Stabilise benchmarks wrt. GC, part 2: D5469: Compare results of compress by hashing.
Dec 27 2018, 9:32 AM
sgraf removed a child revision for D5469: Compare results of compress by hashing: D5468: Stabilise benchmarks wrt. GC, part 2.
Dec 27 2018, 9:32 AM

Dec 26 2018

sgraf committed rNOFIB042cf0be9e6f: Compare results of compress by hashing (authored by sgraf).
Compare results of compress by hashing
Dec 26 2018, 7:30 AM
sgraf closed D5469: Compare results of compress by hashing.
Dec 26 2018, 7:30 AM
sgraf updated the diff for D5469: Compare results of compress by hashing.
  • Nevermind, got confused. Revert "Remove and ignore the stdout file"
Dec 26 2018, 6:59 AM
sgraf updated the diff for D5469: Compare results of compress by hashing.
  • Remove and ignore the stdout file
Dec 26 2018, 6:58 AM
sgraf updated the diff for D5469: Compare results of compress by hashing.
  • Actually do the left fold. Don't know how this compiled earlier
Dec 26 2018, 6:56 AM
sgraf added a comment to D5469: Compare results of compress by hashing.

I thought about generating them from noise or deterministic patterns using a small script back when, but it doesn't seem worth it since we would then benchmark a very unrealistic usecase and add more complexity to the whole thing.

But you seem good at coming up with solutions to these problems, so if you can think of a nifty solution I'm all for it!

Dec 26 2018, 6:42 AM

Dec 25 2018

sgraf added a comment to D5470: Disable timer-based context switches.

What do you mean by other benchmarks? Do you mean perf tests in GHC?

Dec 25 2018, 7:31 AM
sgraf updated the diff for D5469: Compare results of compress by hashing.
  • Remove compress2.stdin
Dec 25 2018, 7:15 AM
sgraf updated the diff for D5469: Compare results of compress by hashing.
  • Use foldl' instead of foldr
Dec 25 2018, 4:59 AM
sgraf added a comment to D5469: Compare results of compress by hashing.

I just realized what might have been going on: Every time we change one of the source files, the output will differ, because the input file depends on *.hs source files. Well, let's fix that another time.

Dec 25 2018, 4:53 AM

Dec 24 2018

sgraf updated the summary of D5469: Compare results of compress by hashing.
Dec 24 2018, 9:57 AM

Dec 23 2018

sgraf added a comment to D5469: Compare results of compress by hashing.

As far as I know putStrLn/print behave differently for the two in regards to line endings. Just using putStr (show hash) instead should work.

Dec 23 2018, 9:27 AM
sgraf added a comment to D5469: Compare results of compress by hashing.

A bit unrelated to the foldl' refactoring, but not less concerning: I realised that one problem of this approach is that something (I think it's cat or >) seems to work differently in MinGW than on Linux, probably inserting CRs. mode=fast works just fine, but mode=norm seems to compute a different hash.

Dec 23 2018, 6:02 AM
sgraf added a comment to D5469: Compare results of compress by hashing.

Will fix this as soon as I find the time to do so.

Dec 23 2018, 5:55 AM

Dec 21 2018

sgraf updated the diff for D5438: Stabilise benchmarks wrt. GC.
  • Fix stdout files and RTS flags of paraffins
Dec 21 2018, 10:03 AM
sgraf abandoned D5460: Deactivate stack squeezing for `cacheprof`.

Closed in favor of D5470.

Dec 21 2018, 7:59 AM
sgraf created D5470: Disable timer-based context switches.
Dec 21 2018, 7:58 AM
sgraf committed rNOFIBf3521319e2c5: Fix parsing of maximum residency in runstdtest (authored by sgraf).
Fix parsing of maximum residency in runstdtest
Dec 21 2018, 7:46 AM
sgraf closed D5418: Fix parsing of maximum residency in runstdtest.
Dec 21 2018, 7:46 AM