diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-01 21:50:57 +0200 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-10-11 19:21:02 +0200 |
| commit | 3d74bfa72bdc794cfb11b6afe15c77a5357617d1 (patch) | |
| tree | 2b106772469978b89944c72524ab5b7f254bf57a | |
| parent | 14551e23d2de2db24864560c0b058306d1c78832 (diff) | |
| download | dotty-3d74bfa72bdc794cfb11b6afe15c77a5357617d1.tar.gz dotty-3d74bfa72bdc794cfb11b6afe15c77a5357617d1.tar.bz2 dotty-3d74bfa72bdc794cfb11b6afe15c77a5357617d1.zip | |
Remove unused language option
In fact all of dotty.language can be removed.
| -rw-r--r-- | src/dotty/language.scala | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/dotty/language.scala b/src/dotty/language.scala deleted file mode 100644 index 416a4281b..000000000 --- a/src/dotty/language.scala +++ /dev/null @@ -1,9 +0,0 @@ -package dotty - -object language { - - class Feature - - /** Keep union types */ - val keepUnions = new Feature -} |