Leaner Context objects

[smarter]

No description provided.

[smarter]

test performance please

[dottybot]

performance test scheduled: 1 job(s) in queue, 0 running.

[dottybot]

Performance test finished successfully:

Visit http://dotty-bench.epfl.ch/3136 to see the changes.

Benchmarks is based on merge(s) with master

[smarter]

Visit http://dotty-bench.epfl.ch/3136 to see the changes.

@liufengyun This is a 404 error page, any idea why? :)

[sjrd]

Not for me. I can see that page.

[felixmulder]

Maybe only accessible from inside EPFL? Actually no, works from Scala world :)

…

On Sun, Sep 17, 2017, 16:39 Sébastien Doeraene ***@***.***> wrote: Not for me. I can see that page. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#3136 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABdYwUntNDJZM1HOIn7_BOGQWDsXiwzUks5sjT0zgaJpZM4PaKVO> .

[odersky]

LGTM.

[smarter]

Hmm, http://dotty-bench.epfl.ch/3136/ works but http://dotty-bench.epfl.ch/3136 is a 404 for me. Weird.

[smarter]

These results are way too similar to http://dotty-bench.epfl.ch/3133, makes me think there's a missing point in the graph between master and now, or that the settings of the benchmarks changed.

[liufengyun]

The website is actually hosted by Github, but EPFL domain names must point to an EPFL machine, so the Github site is wrapped in an iframe. 404 could be a temporary error either on our machine or Github. The site can also be accessed by liufengyun.github.io/bench . Le 17 sept. 2017 5:41 PM, "Felix Mulder" <[email protected]> a écrit : Maybe only accessible from inside EPFL?

On Sun, Sep 17, 2017, 16:39 Sébastien Doeraene ***@***.***> wrote: Not for me. I can see that page. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#3136 (comment)>, or

mute

the thread <https://github.com/notifications/unsubscribe-auth/ABdYwUntNDJZM1HOIn7_

BOGQWDsXiwzUks5sjT0zgaJpZM4PaKVO>

.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#3136 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAuDybY6DL-gAPwMri2jVFvfRg9A-2d6ks5sjT3BgaJpZM4PaKVO> .

[smarter]

If I go to https://liufengyun.github.io/bench/3136 I get a 404, if I go to https://liufengyun.github.io/bench/3136/ it works. If I go to https://liufengyun.github.io/bench/3133 it redirects to https://liufengyun.github.io/bench/3133/ and works. ¯\_(ツ)_/¯

[liufengyun]

This seems to be some differing behaviours of different browsers. I've updated the code to always have the ending slash, hope that works reliably across all browsers.