takenobu (Takenobu Tani)
User

Projects

User does not belong to any projects.

User Details

User Since
Jun 7 2015, 4:34 AM (232 w, 1 d)

Recent Activity

Thu, Nov 7

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCa95666329143: configure: Modify ERROR to WARN for sphinx's python check (authored by takenobu).
configure: Modify ERROR to WARN for sphinx's python check
Thu, Nov 7, 7:45 AM

Wed, Nov 6

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC97f9674b59e6: configure: Add checking python3-sphinx (authored by takenobu).
configure: Add checking python3-sphinx
Wed, Nov 6, 7:12 AM

Tue, Nov 5

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC7c28087a479e: users-guide: Improve documentaion of CPP extension (authored by takenobu).
users-guide: Improve documentaion of CPP extension
Tue, Nov 5, 1:47 AM

Tue, Oct 29

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC35abbfee8b42: users-guide: Add some new features and fix warnings for GHC 8.10 (authored by takenobu).
users-guide: Add some new features and fix warnings for GHC 8.10
Tue, Oct 29, 2:50 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCfb4f245cf5f3: users-guide: Fix :since: for -xn flag (authored by takenobu).
users-guide: Fix :since: for -xn flag
Tue, Oct 29, 2:46 AM

Wed, Oct 23

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4798f3b91c23: Allow command name resolution for GHCi commands with option `!` #17345 (authored by takenobu).
Allow command name resolution for GHCi commands with option `!` #17345
Wed, Oct 23, 12:21 PM

Oct 16 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC1964195776d8: testsuite: Add test for #8305 (authored by takenobu).
testsuite: Add test for #8305
Oct 16 2019, 6:10 AM

Oct 13 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC27145351c106: Add GHCi help message for :def! and :: commands (authored by takenobu).
Add GHCi help message for :def! and :: commands
Oct 13 2019, 6:12 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC1eda9f283e1a: users-guide: Add GHCi's ::<builtin-command> form (authored by takenobu).
users-guide: Add GHCi's ::<builtin-command> form
Oct 13 2019, 6:07 PM

Sep 30 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCb36dd49b6ce1: testsuite: Add minimal test for :doc command (authored by takenobu).
testsuite: Add minimal test for :doc command
Sep 30 2019, 9:46 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC97811ef5e9e9: Add help message for GHCi :instances command (authored by takenobu).
Add help message for GHCi :instances command
Sep 30 2019, 9:46 PM

Sep 24 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCb5f24fb47356: Hadrian: Add -haddock option for GHCi's :doc command (authored by takenobu).
Hadrian: Add -haddock option for GHCi's :doc command
Sep 24 2019, 12:12 AM

Sep 23 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC0e478407f3aa: users-guide: Fix links and formats for GHC 8.10 (authored by takenobu).
users-guide: Fix links and formats for GHC 8.10
Sep 23 2019, 4:51 PM

Jun 2 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCc4f94320a704: Add `-haddock` to prepare-system.sh and .gitlab-ci.yml (authored by takenobu).
Add `-haddock` to prepare-system.sh and .gitlab-ci.yml
Jun 2 2019, 9:58 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC43a39c3c2195: Add `-haddock` to perf.mk rather than prepare-system.sh (authored by takenobu).
Add `-haddock` to perf.mk rather than prepare-system.sh
Jun 2 2019, 9:58 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC33e37d0619a9: Add `-haddock` option under ci condition to fix #16415 (authored by takenobu).
Add `-haddock` option under ci condition to fix #16415
Jun 2 2019, 9:58 PM

May 31 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC0b01a3541e48: Update `$(TOP)/*.md` documents (authored by takenobu).
Update `$(TOP)/*.md` documents
May 31 2019, 1:01 AM

May 21 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC54095bbd3a54: users-guide: Fix directive errors on 8.10 (authored by takenobu).
users-guide: Fix directive errors on 8.10
May 21 2019, 4:00 PM

May 6 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC821fa9e81161: Remove `$(TOP)/ANNOUNCE` file (authored by takenobu).
Remove `$(TOP)/ANNOUNCE` file
May 6 2019, 2:11 PM

Apr 2 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC27b99ed8ede3: Clean up URLs to point to GitLab (authored by takenobu).
Clean up URLs to point to GitLab
Apr 2 2019, 3:54 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC3769e3a829f4: Update Wiki URLs to point to GitLab (authored by takenobu).
Update Wiki URLs to point to GitLab
Apr 2 2019, 3:53 PM

Mar 20 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC89a201e88a93: users-guide: Update Wiki URLs to point to GitLab (authored by takenobu).
users-guide: Update Wiki URLs to point to GitLab
Mar 20 2019, 12:15 AM

Jan 16 2019

takenobu committed rGHC05cd23191521: stg-spec: Modify `.lhs` to `.hs` (authored by takenobu).
stg-spec: Modify `.lhs` to `.hs`
Jan 16 2019, 12:24 AM
takenobu committed rGHC58da9c71f7de: core-spec: Modify `.lhs` to `.hs` (generated PDF) (authored by takenobu).
core-spec: Modify `.lhs` to `.hs` (generated PDF)
Jan 16 2019, 12:23 AM
takenobu committed rGHC9c0e3e44489e: core-spec: Modify `.lhs` to `.hs` (source files) (authored by takenobu).
core-spec: Modify `.lhs` to `.hs` (source files)
Jan 16 2019, 12:23 AM

Sep 7 2018

takenobu added a comment to D5120: users-guide: Disable syntax highlighting.

Thank you so much!

Sep 7 2018, 10:23 AM
takenobu added a comment to D5120: users-guide: Disable syntax highlighting.

I mistakenly closed this revision.
How can I reopen this revision?

Sep 7 2018, 8:45 AM
takenobu closed D5120: users-guide: Disable syntax highlighting.
Sep 7 2018, 7:44 AM
takenobu accepted D5132: Documentation tweaks.
Sep 7 2018, 6:46 AM
takenobu added inline comments to D5132: Documentation tweaks.
Sep 7 2018, 6:42 AM

Sep 6 2018

takenobu added inline comments to D5132: Documentation tweaks.
Sep 6 2018, 8:08 AM

Sep 2 2018

takenobu created D5121: users-guide: Fix code-block layout for QuantifiedConstraints.
Sep 2 2018, 6:51 AM
takenobu created D5120: users-guide: Disable syntax highlighting.
Sep 2 2018, 5:08 AM

Jun 8 2018

takenobu created D4818: users-guide: Fix PtrRepLifted to LiftedRep.
Jun 8 2018, 9:30 AM

Apr 8 2018

takenobu requested review of D4579: users-guide: Update release notes and language extensions.
Apr 8 2018, 4:38 PM

Jan 22 2018

takenobu added a comment to D4235: Implement underscores in numeric literals (NumericUnderscores extension).

Ben, thanks for reviewing, despite being busy for release.

Jan 22 2018, 6:14 AM

Jan 13 2018

takenobu updated the diff for D4235: Implement underscores in numeric literals (NumericUnderscores extension).
  • Rebase against current master (ghc8.5)
Jan 13 2018, 7:46 AM
takenobu updated the diff for D4235: Implement underscores in numeric literals (NumericUnderscores extension).
  • Resolve conflict with current master
Jan 13 2018, 2:47 AM

Dec 11 2017

takenobu added a comment to D4235: Implement underscores in numeric literals (NumericUnderscores extension).

I am not in a hurry :)
Could anyone please review this after D4260?

Dec 11 2017, 6:32 AM

Dec 3 2017

takenobu updated the diff for D4235: Implement underscores in numeric literals (NumericUnderscores extension).

Improve testcases and users_guide

Dec 3 2017, 12:07 AM

Nov 25 2017

takenobu added a comment to D4235: Implement underscores in numeric literals (NumericUnderscores extension).

Since master failed, validate is incomplete.
However, I confirmed that only the same test cases as master failed.
These test cases are about spaces/.

Nov 25 2017, 7:31 AM
takenobu created D4235: Implement underscores in numeric literals (NumericUnderscores extension).
Nov 25 2017, 7:26 AM

Sep 27 2017

takenobu added a comment to D4037: CONTRIBUTING: Initial commit.

Hi, great work!
This file is useful for new-comers.

Sep 27 2017, 7:41 AM
takenobu added a comment to D4037: CONTRIBUTING: Initial commit.
Sep 27 2017, 7:41 AM

Aug 15 2017

takenobu created D3852: user-guide: fix examples of ghci commands.
Aug 15 2017, 1:21 AM

Aug 14 2017

takenobu created D3850: user-guide: add `:type +d` and `:type +v` in release highlight.
Aug 14 2017, 7:57 PM

Jul 16 2017

takenobu created D3745: Fix links to SPJ’s papers (fixes #12578).
Jul 16 2017, 6:59 AM

May 4 2017

takenobu created D3534: Fix markdown for new GitHub Flavored Markdown.
May 4 2017, 4:59 AM

May 2 2017

takenobu created D3522: Fix comment for compact region.
May 2 2017, 1:15 AM
takenobu created D3521: user-guide: fix links to compact region.
May 2 2017, 12:39 AM

Feb 6 2017

takenobu added a comment to D3092: Fix comment (broken link to users_guide) in $(TOP)/.

I found a broken link at a comment in libraries/binary/src/Data/Binary/Get.hs.
But binary is constructed by git-submodule.
I'll send this issue to libraries-ML.

Feb 6 2017, 6:52 AM
takenobu created D3092: Fix comment (broken link to users_guide) in $(TOP)/.
Feb 6 2017, 6:50 AM
takenobu added a comment to D3084: Fix broken link of GHC.RTS.Flags.

@bgamari, I verified rendering result of generated html (GHC-RTS-Flags.html).
Thank you.

Feb 6 2017, 6:12 AM
takenobu requested review of D3083: Fix comment of `section "Exceptions"`.

@bgamari, I verified rendering result of generated html (GHC-Prim.html).
Please review and merge. Thank you.

Feb 6 2017, 6:10 AM

Feb 5 2017

takenobu added a comment to D3084: Fix broken link of GHC.RTS.Flags.

I'm validating now for generating html (it's slow), please wait merge.

Feb 5 2017, 7:05 AM
takenobu retitled D3084: Fix broken link of GHC.RTS.Flags from to Fix broken link of GHC.RTS.Flags.
Feb 5 2017, 7:02 AM
takenobu added a comment to D3083: Fix comment of `section "Exceptions"`.

I'm validating now for generating html (it's slow), please wait merge.

Feb 5 2017, 6:47 AM
takenobu retitled D3083: Fix comment of `section "Exceptions"` from to Fix comment of `section "Exceptions"`.
Feb 5 2017, 6:42 AM
takenobu retitled D3081: Fix comment (old file names '.hc' ) in libraries/ from to Fix comment (old file names '.hc' ) in libraries/.
Feb 5 2017, 2:00 AM

Feb 4 2017

takenobu retitled D3077: Fix comment (old file names) in mk/ and utils/ from to Fix comment (old file names) in mk/ and utils/.
Feb 4 2017, 8:01 AM
takenobu retitled D3076: Fix comment (old file names) in compiler/ from to Fix comment (old file names) in compiler/.
Feb 4 2017, 4:11 AM
takenobu retitled D3075: Fix comment (old file names) in rts/ from to Fix comment (old file names) in rts/.
Feb 4 2017, 2:04 AM
takenobu retitled D3074: Fix comment (old file names) in includes/ from to Fix comment (old file names) in includes/.
Feb 4 2017, 12:21 AM

Feb 3 2017

takenobu added a comment to D3060: Fix comment (old filename '.lhs') in libraries/.

@bgamari, thank you for your kind explanation.
I'll submit other patches after checking.

Feb 3 2017, 5:55 AM

Feb 2 2017

takenobu added a comment to D3060: Fix comment (old filename '.lhs') in libraries/.

If you get confused in release, please review after release 8.2.1.
I'll also send other patches for other directories (compiler/, rts/, ...).

Feb 2 2017, 7:10 AM
takenobu retitled D3060: Fix comment (old filename '.lhs') in libraries/ from to Fix comment (old filename '.lhs') in libraries/.
Feb 2 2017, 7:05 AM

Jan 29 2017

takenobu retitled D3040: Fix minor typo in README.md from to Fix minor typo in README.md.
Jan 29 2017, 5:57 AM
takenobu retitled D3039: Fix links to building guides in MAKEHELP.md from to Fix links to building guides in MAKEHELP.md.
Jan 29 2017, 5:24 AM

Jan 27 2017

takenobu updated D3035: user-guide: fix links and file names (fixes #13198).
Jan 27 2017, 11:45 PM
takenobu retitled D3035: user-guide: fix links and file names (fixes #13198) from to user-guide: fix links and file names (fixes #13198).
Jan 27 2017, 10:06 PM