diff options
| author | Sébastien Doeraene <sjrdoeraene@gmail.com> | 2016-02-29 12:48:06 +0100 |
|---|---|---|
| committer | Sébastien Doeraene <sjrdoeraene@gmail.com> | 2016-03-01 15:47:56 +0100 |
| commit | 18505cb2061235dba1b064b9379164e2a48254a6 (patch) | |
| tree | a207c35b7610f2ecfa1b3b2d76c8d0041f596fe8 /src/dotty/tools/io | |
| parent | cd4004a82d9713bbb0b120aba83b3ed8fc9f1372 (diff) | |
| download | dotty-18505cb2061235dba1b064b9379164e2a48254a6.tar.gz dotty-18505cb2061235dba1b064b9379164e2a48254a6.tar.bz2 dotty-18505cb2061235dba1b064b9379164e2a48254a6.zip | |
Store the JSDefinitions in a custom platform SJSPlatform.
This required the ability to instantiate a different `Platform`
depending on settings, which, in turn, required to defer the
initialization of `ContextBase.platform`.
Diffstat (limited to 'src/dotty/tools/io')
0 files changed, 0 insertions, 0 deletions