hsyl20 (Sylvain HENRY)
User

Projects

User does not belong to any projects.

User Details

User Since
May 19 2015, 3:52 AM (217 w, 7 h)

Recent Activity

Thu, Jun 27

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4ec233ecfc7f: Fix GCC warnings with __clear_cache builtin (#16867) (authored by hsyl20).
Fix GCC warnings with __clear_cache builtin (#16867)
Thu, Jun 27, 10:59 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC90e0ab7d80d8: Fix Happy deps for Stack (#16825) (authored by hsyl20).
Fix Happy deps for Stack (#16825)
Thu, Jun 27, 9:48 AM

Apr 18 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCe28706ea0d7b: Gitlab: allow execution of CI pipeline from the web interface [skip ci] (authored by hsyl20).
Gitlab: allow execution of CI pipeline from the web interface [skip ci]
Apr 18 2019, 7:19 AM

Apr 14 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC9b142c53325f: Hadrian: add binary-dist-dir target (authored by hsyl20).
Hadrian: add binary-dist-dir target
Apr 14 2019, 12:20 AM

Apr 12 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCbeaa07d204a7: Hadrian: fix ghci wrapper script generation (#16508) (authored by hsyl20).
Hadrian: fix ghci wrapper script generation (#16508)
Apr 12 2019, 12:23 PM

Apr 11 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCc401f8a487ce: Hadrian: fix binary-dir with --docs=none (authored by hsyl20).
Hadrian: fix binary-dir with --docs=none
Apr 11 2019, 6:57 PM

Apr 9 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCfe40ddd9f960: Hadrian: fix library install paths in bindist Makefile (#16498) (authored by hsyl20).
Hadrian: fix library install paths in bindist Makefile (#16498)
Apr 9 2019, 11:56 AM

Mar 10 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6b2f09916e0c: NCG: correctly escape path strings on Windows (#16389) (authored by hsyl20).
NCG: correctly escape path strings on Windows (#16389)
Mar 10 2019, 9:32 AM

Mar 9 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC224a6b864c6a: TH: support raw bytes literals (#14741) (authored by hsyl20).
TH: support raw bytes literals (#14741)
Mar 9 2019, 1:11 AM

Mar 4 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC1d9a1d9fb8fe: NCG: fast compilation of very large strings (#16190) (authored by hsyl20).
NCG: fast compilation of very large strings (#16190)
Mar 4 2019, 1:07 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC0f1eb88c9314: Add perf test for #16190 (authored by hsyl20).
Add perf test for #16190
Mar 4 2019, 1:06 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC027017fb3392: Remove ghctags (#16274) (authored by hsyl20).
Remove ghctags (#16274)
Mar 4 2019, 1:06 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCced729f6f465: Cleanup in parser/Ctype.hs (authored by hsyl20).
Cleanup in parser/Ctype.hs
Mar 4 2019, 1:06 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCd97f0db8fa6c: Fix test for T16180 on Darwin (fix #16128) (authored by hsyl20).
Fix test for T16180 on Darwin (fix #16128)
Mar 4 2019, 1:05 PM

Jan 21 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCf035504b573b: Add support for ASM foreign files (.s) in TH (#16180) (authored by hsyl20).
Add support for ASM foreign files (.s) in TH (#16180)
Jan 21 2019, 6:06 AM

Oct 29 2018

hsyl20 updated the diff for D4881: Rename literal constructors.

Rebased on master

Oct 29 2018, 6:40 PM

Sep 28 2018

hsyl20 abandoned D3647: Introduce module hierarchy.
Sep 28 2018, 11:55 AM
hsyl20 abandoned D4880: Fix for built-in Natural literals.

hadrian doesn't need this patch anymore indeed, and I believe this was the only motivation for this patch -- can you confirm @hsyl20?

Sep 28 2018, 10:46 AM

Jul 31 2018

hsyl20 abandoned D5020: Use NOINLINE on functions using touch#.
Jul 31 2018, 12:14 PM

Jul 30 2018

hsyl20 added a comment to D4647: RFC: Continuation arguments.

I'm not familiar with this part of GHC but here are a few guesses...

Jul 30 2018, 7:06 PM

Jul 29 2018

hsyl20 updated the diff for D5020: Use NOINLINE on functions using touch#.
  • Use with# in ghc-compact
Jul 29 2018, 12:01 PM
hsyl20 updated the summary of D5020: Use NOINLINE on functions using touch#.
Jul 29 2018, 11:10 AM
hsyl20 updated the summary of D5020: Use NOINLINE on functions using touch#.
Jul 29 2018, 10:47 AM
hsyl20 updated the diff for D5020: Use NOINLINE on functions using touch#.
  • Implement with[#] with catch#
Jul 29 2018, 10:08 AM

Jul 28 2018

hsyl20 updated the diff for D5020: Use NOINLINE on functions using touch#.
  • Ensure test fails with current HEAD (add "-threaded")
Jul 28 2018, 10:00 PM
hsyl20 created D5020: Use NOINLINE on functions using touch#.
Jul 28 2018, 9:39 PM
hsyl20 created D5016: Fix Git commit ID detection in Git worktrees.
Jul 28 2018, 9:04 AM

Jul 25 2018

hsyl20 abandoned D5008: Remove negative literal alternatives when matching dataToTag#.

Ok! No problem, as long as it gets fixed, it's fine!

Jul 25 2018, 10:48 AM
hsyl20 updated the summary of D5008: Remove negative literal alternatives when matching dataToTag#.
Jul 25 2018, 10:29 AM
hsyl20 updated the diff for D5008: Remove negative literal alternatives when matching dataToTag#.
  • Add test
Jul 25 2018, 10:27 AM
hsyl20 created D5008: Remove negative literal alternatives when matching dataToTag#.
Jul 25 2018, 10:22 AM

Jun 22 2018

hsyl20 updated the diff for D4881: Rename literal constructors.

Indeed it is only a cosmetic change but the Mach prefix always seemed weird to me. The only machine-specific literals are MachInt, MachWord and MachNullAddr but two of them have already been renamed. All the other ones are specified independently of the actual machine (Float, Double, Word32, Word64, Label, etc.) and/or are not so close to the machine (Unicode char, UTF8 string, Integer, Natural).

Jun 22 2018, 8:14 AM
hsyl20 updated the summary of D4880: Fix for built-in Natural literals.
Jun 22 2018, 6:41 AM
hsyl20 updated the diff for D4880: Fix for built-in Natural literals.
  • Create a separate diff for the desugaring bug
Jun 22 2018, 6:41 AM
hsyl20 created D4885: Fix for built-in Natural literals desugaring.
Jun 22 2018, 6:38 AM

Jun 21 2018

Herald added a reviewer for D4881: Rename literal constructors: goldfire.
Jun 21 2018, 2:51 AM

Jun 20 2018

hsyl20 added inline comments to D4880: Fix for built-in Natural literals.
Jun 20 2018, 9:49 AM
hsyl20 created D4880: Fix for built-in Natural literals.
Jun 20 2018, 7:14 AM

Jun 15 2018

hsyl20 updated the summary of D4212: Built-in Natural literals in Core.
Jun 15 2018, 12:02 PM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Rebae on master
Jun 15 2018, 12:02 PM

May 13 2018

hsyl20 added a comment to D4630: Refactor LitString.

@hsyl20, I'm having a bit of trouble finding the haddock commit, 293629ad826cd24f425bdd6b82a047b882777e1e. Is it possible that you haven't pushed it to your fork?

May 13 2018, 11:49 AM

May 1 2018

hsyl20 updated the diff for D4630: Refactor LitString.
  • Fix comment
May 1 2018, 6:36 AM

Apr 27 2018

hsyl20 updated the diff for D4630: Refactor LitString.
  • Minor changes
Apr 27 2018, 3:23 AM
hsyl20 updated the diff for D4630: Refactor LitString.
  • Fix bPutReplicate
Apr 27 2018, 3:23 AM
hsyl20 added a comment to D4630: Refactor LitString.

Thanks @dfeuer. The new patch for utils/haddock:

--- a/haddock-api/src/Haddock/Backends/LaTeX.hs
+++ b/haddock-api/src/Haddock/Backends/LaTeX.hs
@@ -169,16 +169,9 @@ ppLaTeXModule _title odir iface = do
Apr 27 2018, 3:23 AM
hsyl20 updated the diff for D4630: Refactor LitString.
  • Optimise indentation
Apr 27 2018, 3:23 AM

Apr 26 2018

hsyl20 added inline comments to D4630: Refactor LitString.
Apr 26 2018, 5:47 AM
hsyl20 updated the diff for D4630: Refactor LitString.
  • Switch to Ptr and Int. Other minor changes.
Apr 26 2018, 5:46 AM

Apr 25 2018

hsyl20 added a comment to D4630: Refactor LitString.

Of course the CI cant' build this patch because it needs the following patch in utils/haddock:

Apr 25 2018, 9:00 AM
hsyl20 requested review of D4630: Refactor LitString.
Apr 25 2018, 6:31 AM

Apr 20 2018

hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Comment only
Apr 20 2018, 12:16 PM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Use Proxy instead of ambiguous types
  • Fix constructor in mkNatural
Apr 20 2018, 12:03 PM

Apr 19 2018

hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Fix test
Apr 19 2018, 7:30 PM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Fix desugaring of overflowing literals
Apr 19 2018, 11:29 AM
hsyl20 added a comment to D4605: Algebraically simplify add/sub with carry/overflow.

LGTM. Indeed it probably conflicts with D2858, D4212, etc. but we can easily rebase.

Apr 19 2018, 7:41 AM
hsyl20 added inline comments to D4212: Built-in Natural literals in Core.
Apr 19 2018, 7:07 AM
hsyl20 retitled D4212: Built-in Natural literals in Core from Performance of Natural to Built-in Natural literals in Core.
Apr 19 2018, 7:06 AM
hsyl20 updated the summary of D4212: Built-in Natural literals in Core.
Apr 19 2018, 7:01 AM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Remove pattern synonyms
  • Factorise cvt_integer and cvt_natural into cvt_literal
Apr 19 2018, 7:01 AM

Mar 9 2018

hsyl20 added a comment to D4212: Built-in Natural literals in Core.

Looks plausible to me. But maybe for this patch you can start in that direction, to avoid generating a lot of new code that you then delete?

Mar 9 2018, 6:47 AM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Simplify hasCafRefs
  • Introduce LitNumType and LitNumber constructor
  • Factorize some code
Mar 9 2018, 6:36 AM

Mar 5 2018

hsyl20 added a comment to D4212: Built-in Natural literals in Core.

@simonpj If we go this way, I think we should replace MachInt, MachInt64, MachWord, MachWord64, LitInteger and LitNatural with something like:

Mar 5 2018, 12:57 PM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Add missing stderr file
Mar 5 2018, 11:17 AM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Add test for negative Natural literal warning
Mar 5 2018, 11:17 AM
hsyl20 awarded D4217: Support adding objects from TH a Like token.
Mar 5 2018, 9:11 AM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Fix build with integer-simple
  • Don't use wordToNatural# in base, otherwise built-in rules may produce Natural literals
Mar 5 2018, 7:14 AM

Mar 2 2018

hsyl20 added a comment to D2858: Enhanced constant folding.

I'm going to go ahead and merge this as we are well beyond 8.4.

Thanks for your patience @hsyl20!

Mar 2 2018, 6:14 PM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • wordToNatural: use it and add a built-in rule to lift constant applications into Natural literals
Mar 2 2018, 1:28 PM
hsyl20 updated the summary of D4212: Built-in Natural literals in Core.
Mar 2 2018, 12:51 PM
hsyl20 added a comment to D4212: Built-in Natural literals in Core.

Thanks for doing this!

The one obvious thing that seems missing from this patch is one or two test cases that verify that these optimizations actually kick in. The programs from Trac #14170 and Trac #14465 seem like obvious candidates.

Mar 2 2018, 11:31 AM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Add tests
  • Warn on negative Natural literals
  • Fix some minor glitches
  • Fix some line length warnings
Mar 2 2018, 11:23 AM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • NOINLINE naturalToInteger
Mar 2 2018, 10:57 AM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Fix tests
Mar 2 2018, 7:30 AM
hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Fix TH
  • Fix Bits instance
Mar 2 2018, 5:35 AM

Mar 1 2018

hsyl20 updated the diff for D4212: Built-in Natural literals in Core.
  • Split and add base:GHC.Maybe
  • Fix error in naturalFromInteger rule (was returning a LitInteger)
  • Ensure that we avoid using Natural literals in base
  • Fix use of Natural literal in Data.Bits Natural instance
  • Export Natural stuff in basicKnownKeyNames
  • Add some missing imports
Mar 1 2018, 7:56 AM
hsyl20 commandeered D4212: Built-in Natural literals in Core.

I have fixed the build. I hope it's ok if I commandeer the revision in order to update my patch. @Bodigrim don't hesitate to commandeer it back.

Mar 1 2018, 7:54 AM
hsyl20 added inline comments to D4453: 8.4: bump cabal to 2.2 (with ghc-cabal).
Mar 1 2018, 5:24 AM

Feb 26 2018

hsyl20 added a comment to D4212: Built-in Natural literals in Core.
  • naturalToIntegerName, plusNaturalName, minusNaturalName, timesNaturalName, and mkNaturalName are missing from basicKnownKeyNames in compiler/prelude/PrelNames.hs
  • import GHC.Types () is missing from libraries/base/GHC/Exception/Type.hs-boot
Feb 26 2018, 1:18 PM

Feb 16 2018

hsyl20 added a comment to D4212: Built-in Natural literals in Core.

Well, I got stuck with build error, quoted above. Are you able to build GHC with my patch?

Feb 16 2018, 8:08 AM

Feb 15 2018

hsyl20 added a comment to D4212: Built-in Natural literals in Core.

@Bodigrim I have just been bitten by Trac #14170 too... Is there anything we can help you with to complete this patch?

Feb 15 2018, 5:43 PM

Oct 28 2017

hsyl20 added a comment to D2858: Enhanced constant folding.

I wouldn't mind waiting for 8.6. Switching back to pattern guards would be quite a lot of (duplicated) work.

Oct 28 2017, 5:37 PM

Oct 27 2017

hsyl20 added a comment to D2858: Enhanced constant folding.

Whoa! You mean that adding the patch to HEAD means that 8.2 crashes when compiling HEAD? That's NOT ok.

Oct 27 2017, 5:13 AM

Oct 26 2017

hsyl20 added a comment to D2858: Enhanced constant folding.

@bgamari The tests don't pass because of a bug in GHC 8.2.1. I've had to use a snapshot of HEAD to validate this patch (using --enable-bootstrap-with-devel-snapshot).

Oct 26 2017, 2:58 AM

Oct 19 2017

hsyl20 added a comment to D4064: Support adding objects from TH (fixes #14298).

I was concerned with file cleanup when I proposed to support in-memory object files: suppose we have some TH producing an object file. We could use addForeignObject but we would have no way to remove the temporary object file. While if GHC only writes the temporary file for the duration of the link, there is nothing to cleanup. The API would be similar to addForeignFile (which takes a String, not a FilePath).

Oct 19 2017, 10:21 AM
hsyl20 updated the diff for D2858: Enhanced constant folding.
  • Typo in note
Oct 19 2017, 8:43 AM
hsyl20 updated the diff for D2858: Enhanced constant folding.
  • Add note
Oct 19 2017, 8:37 AM
hsyl20 updated the diff for D2858: Enhanced constant folding.
  • Minor fix in Note
Oct 19 2017, 8:37 AM

Oct 18 2017

hsyl20 updated the summary of D2858: Enhanced constant folding.
Oct 18 2017, 10:46 PM
hsyl20 updated the diff for D2858: Enhanced constant folding.
  • Factorize multiplications
Oct 18 2017, 10:25 PM
hsyl20 updated the summary of D2858: Enhanced constant folding.
Oct 18 2017, 10:20 PM
hsyl20 updated the diff for D2858: Enhanced constant folding.
  • Fix lint issues
Oct 18 2017, 10:20 PM
hsyl20 added inline comments to D2858: Enhanced constant folding.
Oct 18 2017, 9:44 PM
hsyl20 updated the diff for D2858: Enhanced constant folding.
  • Use better patterns
  • Add Flag
Oct 18 2017, 9:44 PM

Jul 1 2017

hsyl20 added inline comments to D3695: Eagerly blackhole AP_STACKs.
Jul 1 2017, 3:39 AM

Jun 19 2017

hsyl20 abandoned D3659: Fix Note "What AbsBinds means".

Fixed in https://git.haskell.org/ghc.git/commitdiff/5c93df90a96494229b60bbed0971a4b08c0326a6

Jun 19 2017, 4:53 PM
hsyl20 created D3659: Fix Note "What AbsBinds means".
Jun 19 2017, 5:40 AM

Jun 15 2017

hsyl20 added a comment to D3647: Introduce module hierarchy.

I didn't want to discuss too much the details of the new hierarchy beforehand because I wasn't sure I would have the patience to finish this patch anyway ;-).

Jun 15 2017, 8:47 AM

Jun 14 2017

hsyl20 updated the diff for D3647: Introduce module hierarchy.
  • Minor fixes
Jun 14 2017, 10:49 PM
hsyl20 updated the summary of D3648: Fix GCC 7 warning in the RTS.
Jun 14 2017, 10:21 PM
Herald added a reviewer for D3648: Fix GCC 7 warning in the RTS: austin.
Jun 14 2017, 9:49 PM