Code

Type Classes#256

Code

Merged

LPTK merged 6 commits intohkust-taco:hkmc2hkust-taco/mlscript:hkmc2from FlandiaYingman:whatever-a-new-passFlandiaYingman/mlscript:whatever-a-new-passCopy head branch name to clipboardFeb 7, 2025

+843-126

Commits

Commits on Feb 7, 2025

• Add parse and elaboration rule for use

  

  FlandiaYingman

  authored and

  LPTK

  committed
  ca0ff4d

  Copy full SHA for ca0ff4d

• Add parse and elaboration rule for using

  

  FlandiaYingman

  authored and

  LPTK

  committed
  6436ec9

  Copy full SHA for 6436ec9

• Further elaboration for module method applications

  

  FlandiaYingman

  authored and

  LPTK

  committed
  8f6d3d4

  Copy full SHA for 8f6d3d4

• Introduce implicit resolution pass

  

  FlandiaYingman

  authored and

  LPTK

  committed
  125b6a4

  Copy full SHA for 125b6a4

• Introduce light elaboration for imported defs

  

  FlandiaYingman

  authored and

  LPTK

  committed
  47e2360

  Copy full SHA for 47e2360

• Validate number of arguments in application

  

  FlandiaYingman

  authored and

  LPTK

  committed
  3a9170d

  Copy full SHA for 3a9170d