Code

Change/higher kinded#137

Code

Merged

DarkDimius merged 23 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change/higher-kindeddotty-staging/dotty:change/higher-kindedCopy head branch name to clipboard

Jul 9, 2014

Commits

Commits on Jun 12, 2014

• Change definition of isLegalPrefix so that it allows projecting on an abstract type.

  Show description for 51563ae
  odersky

  committed
  51563ae

  Copy full SHA for 51563ae

• Names and definitions for Lambdas

  Show description for 96196c9
  odersky

  committed
  96196c9

  Copy full SHA for 96196c9

• Add isLambda... tests

  Show description for 4e287d5
  odersky

  committed
  4e287d5

  Copy full SHA for 4e287d5

• Fixing hashing for RefinedThis types.

  Show description for c4f9683
  odersky

  committed
  c4f9683

  Copy full SHA for c4f9683

• Fix RefinementType#member

  Show description for a77a4f6
  odersky

  committed
  a77a4f6

  Copy full SHA for a77a4f6

• Optionally check variance of Lambda classes.

  Show description for c2bcf2e
  odersky

  committed
  c2bcf2e

  Copy full SHA for c2bcf2e

• Make Lambda#Apply a type field instead of a type parameter.

  Show description for c1b884b
  odersky

  committed
  c1b884b

  Copy full SHA for c1b884b

• Harden allOverriddenSymbols

  Show description for 8db6b3e
  odersky

  committed
  8db6b3e

  Copy full SHA for 8db6b3e

Commits on Jun 13, 2014

• More careful with lookupRefined

  Show description for 9a6a4e8
  odersky

  committed
  9a6a4e8

  Copy full SHA for 9a6a4e8

• Fix to printing type parameters.

  Show description for cfd13f7
  odersky

  committed
  cfd13f7

  Copy full SHA for cfd13f7

• More explanations for -Ycheck failures.

  Show description for 099e5a6
  odersky

  committed
  099e5a6

  Copy full SHA for 099e5a6

Commits on Jun 15, 2014

• Fixing subtyping of refined types

  Show description for 388d9a8
  odersky

  committed
  388d9a8

  Copy full SHA for 388d9a8

Commits on Jun 18, 2014

• Handling higher-kinded types with lambdas

  Show description for 7f72143
  odersky

  committed
  7f72143

  Copy full SHA for 7f72143

• Delete old, disabled code in TypeComparer

  odersky

  committed
  f9625f9

  Copy full SHA for f9625f9

Commits on Jun 19, 2014

• Prevent a source of CyclicReference in refined printer

  odersky

  committed
  7623856

  Copy full SHA for 7623856

• Fixes to lambda abstraction

  Show description for 91e44df
  odersky

  committed
  91e44df

  Copy full SHA for 91e44df

Commits on Jun 20, 2014

• Add missing case where isHKSubType is needed

  Show description for ad0600f
  odersky

  committed
  ad0600f

  Copy full SHA for ad0600f

• Make refines work for aliases

  Show description for 7cf6202
  odersky

  committed
  7cf6202

  Copy full SHA for 7cf6202

• Avoid caching values that depend on typevar state.

  Show description for b3364db
  odersky

  committed
  b3364db

  Copy full SHA for b3364db

Commits on Jun 26, 2014

• Avoid crashing on name tests when name is empty.

  Show description for c172148
  odersky

  committed
  c172148

  Copy full SHA for c172148

• Bring LambdaClass inline with its doc comment.

  Show description for f823e42
  odersky

  committed
  f823e42

  Copy full SHA for f823e42

• Improved documentation

  Show description for f600df4
  odersky

  committed
  f600df4

  Copy full SHA for f600df4

• Added test case for LMS inspired HK code.

  Show description for e710af6
  odersky

  committed
  e710af6

  Copy full SHA for e710af6