Code

Support for GADTs#195

Code

Draft

Meowcolm024 wants to merge 95 commits intohkust-taco:mlscripthkust-taco/mlscript:mlscriptfrom Meowcolm024:local-gadtMeowcolm024/mlscript:local-gadtCopy head branch name to clipboard

+9,070-2,239

Commits

Commits on Oct 3, 2023

• WIP Start implementing branch-local reasoning

  Show description for c4aa6d1
  LPTK

  committed
  c4aa6d1

  Copy full SHA for c4aa6d1

Commits on Oct 5, 2023

• refactor

  Meowcolm024

  committed
  261f9e0

  Copy full SHA for 261f9e0

• naive type member lookup

  Meowcolm024

  committed
  816ea20

  Copy full SHA for 816ea20

Commits on Oct 16, 2023

• WIP type member partially works

  Meowcolm024

  committed
  e7025e2

  Copy full SHA for e7025e2

Commits on Oct 17, 2023

• WIP fixed name mangling ing TypeHelpers

  Show description for 6b2334e
  Meowcolm024

  committed
  6b2334e

  Copy full SHA for 6b2334e

• WIP refactor

  Meowcolm024

  committed
  5f18602

  Copy full SHA for 5f18602

Commits on Oct 20, 2023

• TODO wildcard type and refinement

  Meowcolm024

  committed
  b7e1bc7

  Copy full SHA for b7e1bc7

Commits on Oct 25, 2023

• added as keyword

  Meowcolm024

  committed
  55eaa2a

  Copy full SHA for 55eaa2a

• WIP wildcard types

  Meowcolm024

  committed
  270a859

  Copy full SHA for 270a859

Commits on Nov 1, 2023

• WIP

  Meowcolm024

  committed
  e201914

  Copy full SHA for e201914

• WIP

  Meowcolm024

  committed
  9566694

  Copy full SHA for 9566694

• WIP added :GADTs flag

  Meowcolm024

  committed
  957b966

  Copy full SHA for 957b966

Commits on Nov 3, 2023

• added GADT examples

  Meowcolm024

  committed
  88b1af4

  Copy full SHA for 88b1af4

• WIP update examples

  Meowcolm024

  committed
  ce83f9b

  Copy full SHA for ce83f9b

• added some GADT examples

  Meowcolm024

  committed
  cdf0f04

  Copy full SHA for cdf0f04

• updated some examples and added some notes

  Meowcolm024

  committed
  37a9de7

  Copy full SHA for 37a9de7

Commits on Nov 10, 2023

• WIP update tests

  Meowcolm024

  committed
  570f3d7

  Copy full SHA for 570f3d7

• WIP

  Meowcolm024

  committed
  cb89a08

  Copy full SHA for cb89a08

• Add an interesting test

  LPTK

  committed
  5150f53

  Copy full SHA for 5150f53

Commits on Nov 17, 2023

• WIP move cache to ctx

  Meowcolm024

  committed
  28a831c

  Copy full SHA for 28a831c

• Merge branch 'local-gadt' of github.com:Meowcolm024/mlscript into local-gadt

  Meowcolm024

  committed
  aecd07e

  Copy full SHA for aecd07e

Commits on Nov 28, 2023

• annot to trigger GADTs

  Meowcolm024

  committed
  1e5b030

  Copy full SHA for 1e5b030

• clean up tests

  Meowcolm024

  committed
  1e87c13

  Copy full SHA for 1e87c13

• Merge remote-tracking branch 'hkust-taco/new-definition-typing' into local-gadt

  Meowcolm024

  committed
  3293b58

  Copy full SHA for 3293b58

• clean up

  Meowcolm024

  committed
  a30e27d

  Copy full SHA for a30e27d

• fix lift

  Meowcolm024

  committed
  a6c5451

  Copy full SHA for a6c5451

Commits on Dec 22, 2023

• add keyword "as" for asc

  Meowcolm024

  committed
  fa04070

  Copy full SHA for fa04070

Commits on Dec 27, 2023

• Merge remote-tracking branch 'hkust-taco/new-definition-typing' into local-gadt

  Meowcolm024

  committed
  ecfde50

  Copy full SHA for ecfde50

• cleanup

  Meowcolm024

  committed
  13a0e85

  Copy full SHA for 13a0e85

• add more test cases

  Meowcolm024

  committed
  9f5d9b9

  Copy full SHA for 9f5d9b9

Commits on Jan 3, 2024

• Merge branch 'new-definition-typing' into local-gadt

  Meowcolm024

  committed
  53e1352

  Copy full SHA for 53e1352

• small test case change

  Meowcolm024

  committed
  ac25d4e

  Copy full SHA for ac25d4e

Commits on Jan 4, 2024

• add variance in type members decl

  Meowcolm024

  committed
  6bfad52

  Copy full SHA for 6bfad52

• Merge branch 'new-definition-typing' into local-gadt

  Meowcolm024

  committed
  3104598

  Copy full SHA for 3104598

• added more tests

  Meowcolm024

  committed
  6c5975d

  Copy full SHA for 6c5975d

• added some multi param type tests

  Meowcolm024

  committed
  fbd709f

  Copy full SHA for fbd709f

Commits on Jan 15, 2024

• Merge remote-tracking branch 'origin/new-definition-typing' into local-gadt

  Meowcolm024

  committed
  b77b47b

  Copy full SHA for b77b47b

Commits on Jan 16, 2024

• wip

  Meowcolm024

  committed
  e7b2c4c

  Copy full SHA for e7b2c4c

Commits on Jan 17, 2024

• wip

  Meowcolm024

  committed
  9c5e2c5

  Copy full SHA for 9c5e2c5

Commits on Feb 2, 2024

• WIP Prepare the grounds for SimpleTypeOrWildcard

  LPTK

  committed
  2f193c8

  Copy full SHA for 2f193c8

• Fix bug in extrusion (extruded assigned TV level) and hack around prov accumulation explosion

  LPTK

  committed
  f52774b

  Copy full SHA for f52774b

• wip

  Meowcolm024

  committed
  1bb4b2d

  Copy full SHA for 1bb4b2d

• Merge remote-tracking branch 'lptk/local-gadt-wip' into local-gadt-wip

  Meowcolm024

  committed
  a017daa

  Copy full SHA for a017daa

• wip

  Meowcolm024

  committed
  61e8319

  Copy full SHA for 61e8319

Commits on Feb 5, 2024

• WIP wildcard

  Meowcolm024

  committed
  e0c09ca

  Copy full SHA for e0c09ca

• add more tests

  Meowcolm024

  committed
  7868b3d

  Copy full SHA for 7868b3d

Commits on Feb 6, 2024

• wip: fixed some tests

  Meowcolm024

  committed
  2a633d2

  Copy full SHA for 2a633d2

• Add current type projection unsoundness example

  LPTK

  committed
  17e8491

  Copy full SHA for 17e8491

Commits on Feb 7, 2024

• Push ascriptions inside branches for better type checking

  Show description for f0b84c0
  LPTK

  committed
  f0b84c0

  Copy full SHA for f0b84c0

• fixed parens

  Meowcolm024

  committed
  9b73514

  Copy full SHA for 9b73514

• wip err msg

  Meowcolm024

  committed
  4f72058

  Copy full SHA for 4f72058

• Minor: remove TODO

  LPTK

  committed
  80476ef

  Copy full SHA for 80476ef

• Fix freak condition in freshening

  LPTK

  committed
  bb437ea

  Copy full SHA for bb437ea

• Merge branch 'mlscript' into local-gadt (one test now fails)

  Show description for e4bff8c
  LPTK

  committed
  e4bff8c

  Copy full SHA for e4bff8c

• Make test green; not sure why it now fails

  LPTK

  committed
  dce34e4

  Copy full SHA for dce34e4

Commits on Feb 8, 2024

• wip various fixed

  Meowcolm024

  committed
  462804a

  Copy full SHA for 462804a

• WIP correct polarity/variance treatment of WildcardArg

  

  Meowcolm024

  authored and

  LPTK

  committed
  c6491bd

  Copy full SHA for c6491bd

• WIP Move towards a correct handling of WildcardArg

  LPTK

  committed
  db7f38a

  Copy full SHA for db7f38a

Commits on Feb 13, 2024

• Add alias GADT use case

  LPTK

  committed
  8ee5a84

  Copy full SHA for 8ee5a84

Commits on Feb 14, 2024

• various small fixes

  Meowcolm024

  committed
  4b129aa

  Copy full SHA for 4b129aa

• change typing of type member alias

  Meowcolm024

  committed
  79e3f0f

  Copy full SHA for 79e3f0f

• implement parser for type argument bounds

  Meowcolm024

  committed
  8defef6

  Copy full SHA for 8defef6

Commits on Feb 16, 2024

• small format fix

  Meowcolm024

  committed
  05b68c0

  Copy full SHA for 05b68c0

Commits on Feb 17, 2024

• WIP added test case similar to the zip one

  Meowcolm024

  committed
  73d970a

  Copy full SHA for 73d970a

Commits on Feb 26, 2024

• wip change tag checking in <:< for LhsNf

  Meowcolm024

  committed
  f8784ac

  Copy full SHA for f8784ac

• wip: self type sig issue

  Meowcolm024

  committed
  0f9e788

  Copy full SHA for 0f9e788

Commits on Feb 28, 2024

• WIP early finish some dnfs

  Meowcolm024

  committed
  7a0353f

  Copy full SHA for 7a0353f

Commits on Feb 29, 2024

• wip change extr type args

  Meowcolm024

  committed
  cf228b0

  Copy full SHA for cf228b0

Commits on Mar 1, 2024

• add prov for wildcard

  Meowcolm024

  committed
  4f24921

  Copy full SHA for 4f24921

Commits on Mar 4, 2024

• WIP refactor wildcard

  Meowcolm024

  committed
  6e6b9a1

  Copy full SHA for 6e6b9a1

• WIP fix various crashes

  Meowcolm024

  committed
  a7e3b94

  Copy full SHA for a7e3b94

• WIP fix standalone wildcard typing

  Meowcolm024

  committed
  625fafe

  Copy full SHA for 625fafe

• wip expand alias issue

  Meowcolm024

  committed
  3c05aee

  Copy full SHA for 3c05aee

Commits on Mar 5, 2024

• wip fix pol

  Meowcolm024

  committed
  e13bff7

  Copy full SHA for e13bff7

• wip fix alias ty arg extursion

  Meowcolm024

  committed
  71d9232

  Copy full SHA for 71d9232

• wip early finish dnf solving for other tags

  Meowcolm024

  committed
  0b766ce

  Copy full SHA for 0b766ce

• wip fix extr for alias and updated some tests

  Meowcolm024

  committed
  e667617

  Copy full SHA for e667617

Commits on Mar 6, 2024

• small fix

  Meowcolm024

  committed
  2b27281

  Copy full SHA for 2b27281

• simple level indexed extrusion cache

  Meowcolm024

  committed
  2bc5cf8

  Copy full SHA for 2bc5cf8

Commits on Mar 15, 2024

• WIP replace incorrect use of mapTargs and avoid level-mismatched constraint rewritings

  LPTK

  committed
  d268965

  Copy full SHA for d268965

• WW

  LPTK

  committed
  031f611

  Copy full SHA for 031f611

• WWW

  LPTK

  committed
  95f4cb7

  Copy full SHA for 95f4cb7

• WWW

  LPTK

  committed
  60c4b74

  Copy full SHA for 60c4b74

• WWW

  LPTK

  committed
  ab4b456

  Copy full SHA for ab4b456

• WWW

  LPTK

  committed
  27c2354

  Copy full SHA for 27c2354

• WW

  LPTK

  committed
  ab2fe6b

  Copy full SHA for ab2fe6b

• WW fix extruded compare

  LPTK

  committed
  03044b8

  Copy full SHA for 03044b8

• W simplify YC's mess

  LPTK

  committed
  2f636e5

  Copy full SHA for 2f636e5

• WWW trial

  LPTK

  committed
  7b89780

  Copy full SHA for 7b89780

Commits on Mar 16, 2024

• W

  LPTK

  committed
  95a3620

  Copy full SHA for 95a3620

Commits on Mar 18, 2024

• W

  LPTK

  committed
  54ba6ad

  Copy full SHA for 54ba6ad

Commits on Apr 2, 2024

• Minor

  LPTK

  committed
  db2fb45

  Copy full SHA for db2fb45

Commits on Apr 9, 2024

• Merge remote-tracking branch 'origin/mlscript' into local-gadt

  Meowcolm024

  committed
  e24d01e

  Copy full SHA for e24d01e

Commits on Apr 12, 2024

• add some test cases

  Meowcolm024

  committed
  064f004

  Copy full SHA for 064f004

Commits on Apr 23, 2024

• fix some test cases

  Meowcolm024

  committed
  9ef9425

  Copy full SHA for 9ef9425