diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-06-29 09:50:27 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:06 +0200 |
| commit | 6bd7ba9ea4484ee2065dd16077cba6c26b2050d9 (patch) | |
| tree | 7b13e292f072fed02e0ba9a8a431eef92f71cf57 /src/dotty/tools/dotc/core/ConstraintHandling.scala | |
| parent | a23c1a476296a25566d7aa08de676a1217b243cb (diff) | |
| download | dotty-6bd7ba9ea4484ee2065dd16077cba6c26b2050d9.tar.gz dotty-6bd7ba9ea4484ee2065dd16077cba6c26b2050d9.tar.bz2 dotty-6bd7ba9ea4484ee2065dd16077cba6c26b2050d9.zip | |
Remove refinement encoding of hk types
Remove the code that implemented the encoding of hk types
using refinements.
Drop the notion that RefinedTypes can be type parameters. This is
no longer true under the new representation.
Also, refactoring MemberBinding -> TypeParamInfo
Diffstat (limited to 'src/dotty/tools/dotc/core/ConstraintHandling.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/ConstraintHandling.scala | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/ConstraintHandling.scala b/src/dotty/tools/dotc/core/ConstraintHandling.scala index 44b6abe12..ace441566 100644 --- a/src/dotty/tools/dotc/core/ConstraintHandling.scala +++ b/src/dotty/tools/dotc/core/ConstraintHandling.scala @@ -286,8 +286,6 @@ trait ConstraintHandling { if (!addParamBound(bound)) NoType else if (fromBelow) defn.NothingType else defn.AnyType - case bound: RefinedType if !Config.newHK => - bound.normalizeHkApplyOLD case _ => bound } |