diff options
author | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2013-07-27 01:38:45 -0700 |
---|---|---|
committer | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2013-07-27 14:09:41 -0700 |
commit | 115e8b4492851137ad2b5b61b9bf78bb51601dff (patch) | |
tree | 8305010d3e2c1270c00f98ee1a5ea1047b439607 /src/jline/project/build.properties | |
parent | 526f6c3934f31902fc3f5a0e690a472e86ecfc48 (diff) | |
download | scala-115e8b4492851137ad2b5b61b9bf78bb51601dff.tar.gz scala-115e8b4492851137ad2b5b61b9bf78bb51601dff.tar.bz2 scala-115e8b4492851137ad2b5b61b9bf78bb51601dff.zip |
Fix Platform type in Global to be JavaPlatform.
At the moment we have just one Platform: JavaPlatform in the
compiler. The whole Platform abstraction feels dubious and
Java backends need to downcast to JavaPlatform to implement some
optimizations. It seems like for now it's just better to fix platform
declared in Global to be JavaPlatform and get rid of downcasting.
I checked that even JavaScript backend declares itself as a subtype
of JavaPlatform so it seems like our abstraction is not that useful.
If we have an alternative platform with specific requirements we
might want to refactor our Platform abstraction again but for now
it seems dubious to pay a price for abstraction nobody uses.
Diffstat (limited to 'src/jline/project/build.properties')
0 files changed, 0 insertions, 0 deletions