Code

Support for annotations#247

Code

Merged

LPTK merged 18 commits intohkust-taco:hkmc2hkust-taco/mlscript:hkmc2from chengluyu:hkmc2-ucs/annotationschengluyu/mlscript:hkmc2-ucs/annotationsCopy head branch name to clipboardJan 9, 2025

+433-81

Commits

Commits on Dec 4, 2024

• Experimental support for annotations

  chengluyu

  committed
  7b66796

  Copy full SHA for 7b66796

Commits on Jan 7, 2025

• Merge remote-tracking branch 'origin/hkmc2' into hkmc2-ucs/annotations

  Show description for ca13b65
  chengluyu

  committed
  ca13b65

  Copy full SHA for ca13b65

• Should apply annotations to continued declarations

  chengluyu

  committed
  a2a97bb

  Copy full SHA for a2a97bb

Commits on Jan 8, 2025

• No longer ignore annotations in the elaborator

  chengluyu

  committed
  fc2a609

  Copy full SHA for fc2a609

• Fix tests

  chengluyu

  committed
  01b88d3

  Copy full SHA for 01b88d3

• Clean up code and tests

  chengluyu

  committed
  069a64b

  Copy full SHA for 069a64b

• TypeLikeDef should have annotations as a member

  chengluyu

  committed
  ac01013

  Copy full SHA for ac01013

Commits on Jan 9, 2025

• Update warning messages

  Show description for 7364abb
  

  chengluyu

  and

  LPTK

  authored
  7364abb

  Copy full SHA for 7364abb

• Fix minor

  chengluyu

  committed
  ac7a0eb

  Copy full SHA for ac7a0eb

• Report useless annotations in Lowering

  chengluyu

  committed
  82cf38f

  Copy full SHA for 82cf38f

• Replace all occurrence of "qualifier" with "annotation"

  chengluyu

  committed
  09a3393

  Copy full SHA for 09a3393

• Some warnings need to be reported in the elaborator

  chengluyu

  committed
  be18212

  Copy full SHA for be18212

• Merge branch 'hkmc2' into hkmc2-ucs/annotations

  LPTK

  authored
  9da85eb

  Copy full SHA for 9da85eb

• Update hkmc2/shared/src/main/scala/hkmc2/codegen/Lowering.scala

  Show description for f2112de
  

  chengluyu

  and

  LPTK

  authored
  f2112de

  Copy full SHA for f2112de

• Update hkmc2/shared/src/main/scala/hkmc2/semantics/Elaborator.scala

  Show description for cb9e82c
  

  chengluyu

  and

  LPTK

  authored
  cb9e82c

  Copy full SHA for cb9e82c

• Amend test changes

  chengluyu

  committed
  e3a20e2

  Copy full SHA for e3a20e2

• Add an edge test case

  chengluyu

  committed
  82918bc

  Copy full SHA for 82918bc

• Pass on annotations

  chengluyu

  committed
  e907ad6

  Copy full SHA for e907ad6