Code

type-level function application#17961

Code

Closed

KiaraGrouwstra wants to merge 26 commits intomicrosoft:mastermicrosoft/TypeScript:masterfrom KiaraGrouwstra:6606-type-level-function-applicationKiaraGrouwstra/TypeScript:6606-type-level-function-applicationCopy head branch name to clipboard

+3,094-89

Commits

Commits on Aug 22, 2017

• add type-level function application

  KiaraGrouwstra

  committed
  080b391

• type calls: add failing test

  KiaraGrouwstra

  committed
  312b69e

Commits on Aug 23, 2017

• disambiguate type argument lists with empty <>

  KiaraGrouwstra

  committed
  c98fe79

• fix function name

  KiaraGrouwstra

  committed
  636b4ac

Commits on Aug 24, 2017

• show issues: overload selection (microsoft#17471), composition

  KiaraGrouwstra

  committed
  a76ba38

Commits on Aug 25, 2017

• minimum chaining repro + checks, errors

  KiaraGrouwstra

  committed
  187b6b5

• allow errors on artificial nodes, empty type args

  KiaraGrouwstra

  committed
  ee110a3

Commits on Aug 26, 2017

• Merge branch 'master' into 6606-type-level-function-application

  KiaraGrouwstra

  committed
  7a0ec45

• switch parent linking to built-in fn.. how to import though?

  KiaraGrouwstra

  committed
  fa39af3

Commits on Sep 4, 2017

• fix some tests

  KiaraGrouwstra

  committed
  6591541

Commits on Sep 6, 2017

• give type calls own type, fixes eager eval

  KiaraGrouwstra

  committed
  4b2e8a1

Commits on Sep 8, 2017

• fix other tests

  KiaraGrouwstra

  committed
  2f2e800

Commits on Sep 9, 2017

• drop type arg support, works fine but not worth it

  KiaraGrouwstra

  committed
  c54eea7

• resolve type call, generalize functions to fix synthetic node workaround

  KiaraGrouwstra

  committed
  0e4c359

• factor out function

  KiaraGrouwstra

  committed
  c70ea67

• drop index type... not needed here unlike for gcnew's !?

  KiaraGrouwstra

  committed
  f730a07

• add tests

  Show description for 9bbae94
  KiaraGrouwstra

  committed
  9bbae94

• tests: reduce/map WIP

  KiaraGrouwstra

  committed
  28aece0

• add use-case: type substraction / assertion (!)

  KiaraGrouwstra

  committed
  4d14c9f

• use-case: promised (WIP, breaks on unions)

  KiaraGrouwstra

  committed
  a8fc55a

Commits on Sep 11, 2017

• add tests

  KiaraGrouwstra

  committed
  ccc55d1

• add error tests in own file

  KiaraGrouwstra

  committed
  a7882c2

• simplify out unused bits

  KiaraGrouwstra

  committed
  e67a82b

• directly pass arg types for type calls, fixes compose

  KiaraGrouwstra

  committed
  5decbbc

• union-proof type calls, fixes awaited use-case from microsoft#17077

  KiaraGrouwstra

  committed
  d602415

• fix heterogeneous map test (add type param)

  KiaraGrouwstra

  committed
  e131686