Skip to content

Fix compiled constructor patterns (close #521)#537

Merged
LPTK merged 6 commits into
hkust-taco:hkmc2from
chengluyu:issue-521-data-constructor-patterns
Jun 30, 2026
Merged

Fix compiled constructor patterns (close #521)#537
LPTK merged 6 commits into
hkust-taco:hkmc2from
chengluyu:issue-521-data-constructor-patterns

Merge branch 'hkmc2' into issue-521-data-constructor-patterns

f65bee0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 3 notices
build
succeeded Jun 30, 2026 in 5m 8s