Code

BigInt typechecking#7602

Code

Closed

goodmind wants to merge 23 commits intofacebook:mainfacebook/flow:mainfrom goodmind:bigint-typecheckgoodmind/flow:bigint-typecheckCopy head branch name to clipboard

+1,670-568

Commits

Commits on Jul 10, 2019

• [common] Add BigNum printers

  goodmind

  committed
  c9c3879

  Copy full SHA for c9c3879

• [services] Add BigNum cases to autocomplete

  goodmind

  committed
  42a681d

  Copy full SHA for 42a681d

• [typing] Add BigNumT constructor

  goodmind

  committed
  a385d66

  Copy full SHA for a385d66

• [typing] add typeof "bigint" check

  goodmind

  committed
  cc848d4

  Copy full SHA for cc848d4

• [typing] Add BigInt operations

  goodmind

  committed
  1d98730

  Copy full SHA for 1d98730

• [typing] Add sketchy-null-bigint check

  goodmind

  committed
  0e1b2eb

  Copy full SHA for 0e1b2eb

• [newtests] Add sketchy-null-bigint tests

  goodmind

  committed
  974a51e

  Copy full SHA for 974a51e

• [typing] Add comparison for BigInt

  goodmind

  committed
  4738172

  Copy full SHA for 4738172

• [tests] Add BigInt to arith test

  goodmind

  committed
  92b26ac

  Copy full SHA for 92b26ac

• [website] Add docs about BigInt lint rules

  goodmind

  committed
  3b3f7ab

  Copy full SHA for 3b3f7ab

• [newtests] Update bigint test

  goodmind

  committed
  cdde41b

  Copy full SHA for cdde41b

• [common] rename BigNum to BigInt

  goodmind

  committed
  2f3d389

  Copy full SHA for 2f3d389

• [typing] rename BIgNumT to BigIntT

  Show description for 86b3b31
  goodmind

  committed
  86b3b31

  Copy full SHA for 86b3b31

• [services] rename BigNumLit to BigIntLit

  goodmind

  committed
  df998dc

  Copy full SHA for df998dc

• [tests] rename BigNumT to BigIntT

  goodmind

  committed
  a54ea43

  Copy full SHA for a54ea43

• [tests] Update arith snapshot

  goodmind

  committed
  ab4aea4

  Copy full SHA for ab4aea4

• [typing] Add missing bigint assert match

  goodmind

  committed
  a01d9bb

  Copy full SHA for a01d9bb

• [typing] Specify Bottom argument to EmptyT

  goodmind

  committed
  9fa715b

  Copy full SHA for 9fa715b

• [typing] Add TODOs to update and op_assignment

  goodmind

  committed
  07c4a64

  Copy full SHA for 07c4a64

• [typing] Generalize AdderT to ArithmeticBInaryT and ArithmeticUnaryT

  goodmind

  committed
  bb7b2b0

  Copy full SHA for bb7b2b0

• [tests] Update arith tests

  goodmind

  committed
  fc35e3d

  Copy full SHA for fc35e3d

• [typing] Add missing BigInt and BigIntLit

  goodmind

  committed
  a902843

  Copy full SHA for a902843

• [typing] Add context to mk_singleton_bigint

  goodmind

  committed
  6447652

  Copy full SHA for 6447652