diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-12 12:36:45 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-12 12:36:45 +0100 |
commit | 7df0423e49e81904ba703d44b0389d3a544aa946 (patch) | |
tree | 0c19deb93a0996850aed3962e87372da6619b629 /src/dotty/tools/dotc/core/Types.scala | |
parent | 9c53aaa7e3381eb684ff7eb71ab8b980cfa51abc (diff) | |
download | dotty-7df0423e49e81904ba703d44b0389d3a544aa946.tar.gz dotty-7df0423e49e81904ba703d44b0389d3a544aa946.tar.bz2 dotty-7df0423e49e81904ba703d44b0389d3a544aa946.zip |
Made constraint data structures pluggable.
Factored out interface for constraints. Current implementation: NaiveConstraint.
Preparing for a more efficient one.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index c476a8be9..080596321 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -744,7 +744,7 @@ object Types { } /** A prefix-less refined this or a termRef to a new skolem symbol - * that has the given type as info + * that has the given type as info. */ def narrow(implicit ctx: Context): TermRef = TermRef(NoPrefix, ctx.newSkolem(this)) |