Code

Optional args#183

Code

Closed

mbroughani81 wants to merge 40 commits intohkust-taco:new-definition-typinghkust-taco/mlscript:new-definition-typingfrom mbroughani81:optional-argsmbroughani81/mlscript:optional-argsCopy head branch name to clipboard

+1,347-320

Commits

Commits on Sep 11, 2023

• adding optional flag to FldFlags

  mbroughani81

  committed
  20d1fa9

  Copy full SHA for 20d1fa9

Commits on Sep 12, 2023

• lexing ? char in args NewLexer

  mbroughani81

  committed
  0316ade

  Copy full SHA for 0316ade

• show parser debug in test

  mbroughani81

  committed
  3b036b3

  Copy full SHA for 3b036b3

Commits on Sep 13, 2023

• fix in parsing

  mbroughani81

  committed
  5bd9365

  Copy full SHA for 5bd9365

• delete redundant prints

  mbroughani81

  committed
  a2ad510

  Copy full SHA for a2ad510

Commits on Sep 19, 2023

• add opt field in Field node, and parse correctly

  mbroughani81

  committed
  4e795d2

  Copy full SHA for 4e795d2

• add opt field for FieldType

  mbroughani81

  committed
  e6e4ae3

  Copy full SHA for e6e4ae3

Commits on Sep 20, 2023

• adding opt field for FieldType

  mbroughani81

  committed
  fec99d8

  Copy full SHA for fec99d8

• fix typing of funparams

  mbroughani81

  committed
  0a653b2

  Copy full SHA for 0a653b2

Commits on Sep 22, 2023

• WIP Add helpful test cases

  LPTK

  committed
  723a9a5

  Copy full SHA for 723a9a5

Commits on Sep 23, 2023

• fix type show

  mbroughani81

  committed
  5f5fdfd

  Copy full SHA for 5f5fdfd

• add subtype check for subtyping with <:<

  mbroughani81

  committed
  d8a8ed4

  Copy full SHA for d8a8ed4

Commits on Sep 25, 2023

• add 2 other field size member checks

  mbroughani81

  committed
  b432dc4

  Copy full SHA for b432dc4

Commits on Sep 26, 2023

• fix problem in field type show

  mbroughani81

  committed
  ed45749

  Copy full SHA for ed45749

• add some debugs

  mbroughani81

  committed
  ea729b5

  Copy full SHA for ea729b5

Commits on Sep 27, 2023

• debug the place error happens

  mbroughani81

  committed
  1819d25

  Copy full SHA for 1819d25

Commits on Sep 28, 2023

• fix operations defined on FieldType

  mbroughani81

  committed
  b924f80

  Copy full SHA for b924f80

• Merge branch 'new-definition-typing' into optional-args

  mbroughani81

  committed
  6f7a599

  Copy full SHA for 6f7a599

• add new require for intersection

  mbroughani81

  committed
  4a6c2e7

  Copy full SHA for 4a6c2e7

• Fix minor things in test

  mbroughani81

  committed
  b81c5b4

  Copy full SHA for b81c5b4

• Add isSubtype for TupleTypes

  mbroughani81

  committed
  e511ce1

  Copy full SHA for e511ce1

• Add error flag for some tests

  mbroughani81

  committed
  33fc41f

  Copy full SHA for 33fc41f

• Delete some extra debugs

  mbroughani81

  committed
  79a51a0

  Copy full SHA for 79a51a0

• Delete some extra debugs

  mbroughani81

  committed
  a190864

  Copy full SHA for a190864

• Delete some extra debugs

  mbroughani81

  committed
  e882b7c

  Copy full SHA for e882b7c

• Fix some possible? bugs

  mbroughani81

  committed
  01ddc66

  Copy full SHA for 01ddc66

• Delete extra log in DiffTests

  mbroughani81

  committed
  8383e09

  Copy full SHA for 8383e09

• Fix some possible future? bugs

  mbroughani81

  committed
  27bfae9

  Copy full SHA for 27bfae9

• Fix some possible future? bugs

  mbroughani81

  committed
  a136b37

  Copy full SHA for a136b37

• Fix some possible future? bugs

  mbroughani81

  committed
  12b3dc5

  Copy full SHA for 12b3dc5

Commits on Sep 29, 2023

• Rename fields compatible checker

  mbroughani81

  committed
  e2df709

  Copy full SHA for e2df709

• Merge branch 'new-definition-typing' into optional-args

  mbroughani81

  committed
  35442de

  Copy full SHA for 35442de

• Fix syntax problem in helper

  mbroughani81

  committed
  5c6f3c5

  Copy full SHA for 5c6f3c5

• Fix syntax errors

  mbroughani81

  committed
  a92fc4e

  Copy full SHA for a92fc4e

• Merge branch 'new-definition-typing' into optional-args

  LPTK

  authored
  0b43e89

  Copy full SHA for 0b43e89

Commits on Sep 30, 2023

• Add some notes

  mbroughani81

  committed
  31b3edd

  Copy full SHA for 31b3edd

Commits on Oct 2, 2023

• Using composed type instead of field opt

  mbroughani81

  committed
  b299e54

  Copy full SHA for b299e54

• Revert to opt + show bracketed

  mbroughani81

  committed
  25d7764

  Copy full SHA for 25d7764

Commits on Oct 3, 2023

• .

  mbroughani81

  committed
  59814ac

  Copy full SHA for 59814ac

• Add ascribing for pattern match on optional fields

  mbroughani81

  committed
  028a5b5

  Copy full SHA for 028a5b5