Code

Type Classes#256

Code

Open

FlandiaYingman wants to merge 5 commits intohkust-taco:hkmc2hkust-taco/mlscript:hkmc2from FlandiaYingman:whatever-a-new-passFlandiaYingman/mlscript:whatever-a-new-passCopy head branch name to clipboard

+808-90

Commits

Commits on Jan 12, 2025

• Add parse and elaboration rule for use

  FlandiaYingman

  committed
  5a5f61f

  Copy full SHA for 5a5f61f

• Add parse and elaboration rule for using

  FlandiaYingman

  committed
  ae49994

  Copy full SHA for ae49994

• Further elaboration for module method applications

  FlandiaYingman

  committed
  4fb2937

  Copy full SHA for 4fb2937

• Introduce implicit resolution pass

  FlandiaYingman

  committed
  7f45888

  Copy full SHA for 7f45888

• Introduce light elaboration for imported defs

  FlandiaYingman

  committed
  105afbe

  Copy full SHA for 105afbe