diff options
Diffstat (limited to 'src/dotty/language.scala')
-rw-r--r-- | src/dotty/language.scala | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/dotty/language.scala b/src/dotty/language.scala new file mode 100644 index 000000000..169b2604c --- /dev/null +++ b/src/dotty/language.scala @@ -0,0 +1,16 @@ +package dotty + +object language { + + class Feature + + /** Allow higher-kinded type syntax (not yet checked) */ + val higherKinds = new Feature + + /** Keep union types */ + val keepUnions = new Feature + + /** No auto tupling */ + val noAutoTupling = new Feature + +}
\ No newline at end of file |