Code

Module Methods#233

Code

Merged

LPTK merged 9 commits intohkust-taco:hkmc2hkust-taco/mlscript:hkmc2from

FlandiaYingman:hkmc2FlandiaYingman/mlscript:hkmc2Copy head branch name to clipboard

Nov 22, 2024

Commits

Commits on Nov 22, 2024

• Fix Sel not having its name as its children

  

  FlandiaYingman

  authored and

  LPTK

  committed
  cb15b24

  Copy full SHA for cb15b24

• Separate module methods from regular methods

  

  FlandiaYingman

  authored and

  LPTK

  committed
  4b2e055

  Copy full SHA for 4b2e055

• Separate module parameters from regular parameters

  

  FlandiaYingman

  authored and

  LPTK

  committed
  65d8137

  Copy full SHA for 65d8137

• Separate module results from regular results

  

  FlandiaYingman

  authored and

  LPTK

  committed
  c7206ef

  Copy full SHA for c7206ef

• Enforce rules on module parameters

  

  FlandiaYingman

  authored and

  LPTK

  committed
  20a65e0

  Copy full SHA for 20a65e0

• Enforce rules on functions returning modules

  

  FlandiaYingman

  authored and

  LPTK

  committed
  d81ea62

  Copy full SHA for d81ea62

• Enforce rules on module arguments

  

  FlandiaYingman

  authored and

  LPTK

  committed
  2f61f99

  Copy full SHA for 2f61f99

• Fix not picking up return type with type params

  

  FlandiaYingman

  authored and

  LPTK

  committed
  1b78690

  Copy full SHA for 1b78690

• Address missing changes for module checking

  LPTK

  committed
  9c97e7c

  Copy full SHA for 9c97e7c