Commits

Branch selector

 98b466c

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 11, 2016

• Ensure wildApprox maintains kinds

  Show description for 98b466c
  odersky

  committed
  98b466c

  Copy full SHA for 98b466c

• Change underlying of HKApply

  Show description for c1e27a0
  odersky

  committed
  c1e27a0

  Copy full SHA for c1e27a0

• Tweaks to appliedTo

  Show description for c28dd1b
  odersky

  committed
  c28dd1b

  Copy full SHA for c28dd1b

• Refactoring of PolyType and TypeLambda

  Show description for 02ce995
  odersky

  committed
  02ce995

  Copy full SHA for 02ce995

• Various hk related fixes in types

  Show description for 73dd039
  odersky

  committed
  73dd039

  Copy full SHA for 73dd039

• Fix printing of type lambda trees and types

  odersky

  committed
  97e84e6

  Copy full SHA for 97e84e6

• Fix appliedTo and typeParams, and higher kinded subtyping tests

  Show description for f6efd99
  odersky

  committed
  f6efd99

  Copy full SHA for f6efd99

• Make Constraint#bounds work for aliases

  Show description for 3490e01
  odersky

  committed
  3490e01

  Copy full SHA for 3490e01

• Start new, direct HK scheme

  Show description for 60d81f8
  odersky

  committed
  60d81f8

  Copy full SHA for 60d81f8

• Remove old hk scheme

  Show description for d1f809f
  odersky

  committed
  d1f809f

  Copy full SHA for d1f809f

• Various tweaks

  Show description for e749d83
  odersky

  committed
  e749d83

  Copy full SHA for e749d83

• Deal with nested findMember calls over the same RecType

  odersky

  committed
  6414f3b

  Copy full SHA for 6414f3b

• Change tests

  Show description for 830b724
  odersky

  committed
  830b724

  Copy full SHA for 830b724

• Avoid creating dependent function types for closures

  Show description for f1bf78b
  odersky

  committed
  f1bf78b

  Copy full SHA for f1bf78b

• Make TypeAccumulators follow LazyRefs

  Show description for 5041e93
  odersky

  committed
  5041e93

  Copy full SHA for 5041e93

• Fix condition for lambda abstracting in Namer

  Show description for 31af865
  odersky

  committed
  31af865

  Copy full SHA for 31af865

• Avoid infinite recursion when comparing recursive types.

  Show description for 0a5f839
  odersky

  committed
  0a5f839

  Copy full SHA for 0a5f839

• Optionally, check kinds match for & and |

  Show description for 463e99a
  odersky

  committed
  463e99a

  Copy full SHA for 463e99a

• Restrict betaReduce to hk applications

  Show description for 68e73e8
  odersky

  committed
  68e73e8

  Copy full SHA for 68e73e8

• Eta-expand unapplied types that have type parameters

  Show description for 8e84fb0
  odersky

  committed
  8e84fb0

  Copy full SHA for 8e84fb0

• Avoid accidental creation of hk types

  Show description for 6a7e466
  odersky

  committed
  6a7e466

  Copy full SHA for 6a7e466

• Fix typeParams for abstract types under completion

  Show description for e36a36a
  odersky

  committed
  e36a36a

  Copy full SHA for e36a36a

• Adapt widenForMatchSelector to new HK scheme

  odersky

  committed
  c35f817

  Copy full SHA for c35f817

• Add a second betaReduce

  Show description for 939d9da
  odersky

  committed
  939d9da

  Copy full SHA for 939d9da

• Normalize RecTypes on creation to avoid cycles.

  Show description for ae1f248
  odersky

  committed
  ae1f248

  Copy full SHA for ae1f248

• Fixes to BetaReduce and asMemberOf; add a second betaReduce

  Show description for c136af1
  odersky

  committed
  c136af1

  Copy full SHA for c136af1

• Don't map info of SkolemTypes in type maps

  Show description for d0f82a5
  odersky

  committed
  d0f82a5

  Copy full SHA for d0f82a5

• Make etaExpandIfHk work for non-symbol type params

  Show description for a7d61c0
  odersky

  committed
  a7d61c0

  Copy full SHA for a7d61c0

• Refinement of cycle avoidance

  Show description for e61b80a
  odersky

  committed
  e61b80a

  Copy full SHA for e61b80a

• Beta-reduce when simplifying

  odersky

  committed
  e56bd1f

  Copy full SHA for e56bd1f

• Multiple fixes

  Show description for 5daae27
  odersky

  committed
  5daae27

  Copy full SHA for 5daae27

• Turn on new hk scheme

  Show description for 4bf43f8
  odersky

  committed
  4bf43f8

  Copy full SHA for 4bf43f8

• Remove special case in parser

  Show description for 178e90e
  odersky

  committed
  178e90e

  Copy full SHA for 178e90e

• Add printing of type lambda trees

  Show description for 08a0ea6
  odersky

  committed
  08a0ea6

  Copy full SHA for 08a0ea6

• Disable checkInst in RecType

  Show description for aa7f66d
  odersky

  committed
  aa7f66d

  Copy full SHA for aa7f66d

Pagination

Previous

Next