Merge dev into new-type-hole-inference (elastatics)#2290

Open

cyrus- wants to merge 1577 commits into

new-type-hole-inferencefrom

dev-into-new-type-hole-inference

This pull request is big! We're only showing the most recent 250 commits

Commits on Mar 27, 2026

Fix context menu not working in Tutorial and Exercise modes

disconcision
and
claude
committed
Add mk_zipper test harness and failing deep reassociation tests

disconcision
and
claude
committed

Commits on Mar 30, 2026

Add Error sidebar panel with syntax and static error sections

7h3kk1d
and
claude
committed
Add warnings section to Error sidebar and fix gamma display

7h3kk1d
and
claude
committed
Refactor Error sidebar: improve separation of concerns and reduce duplication

7h3kk1d
and
claude
committed
Refactor Error sidebar to be data-driven with error_category variant

7h3kk1d
and
claude
committed
Refactor ErrorSidebar: separate problem data from view rendering

7h3kk1d
and
claude
committed
Fix ErrorSidebar line numbers to skip projector-inserted rows

7h3kk1d
and
claude
committed
Extract ErrorCollection module from ErrorSidebar and add tests

7h3kk1d
and
claude
committed
Fix MultiHole expressions not reported as errors in statics

7h3kk1d
and
claude
committed
Replace magnifying glass with status indicator on Errors sidebar tab

7h3kk1d
and
claude
committed
Remove duplicative status indicator from bottom bar

7h3kk1d
and
claude
committed
Add Holes as a new problem category in Errors sidebar

7h3kk1d
and
claude
committed
Add collapsible error rows with chevron toggle in Errors sidebar

7h3kk1d
and
claude
committed
Add error navigation with F8/Shift+F8 and sidebar nav buttons

7h3kk1d
and
claude
committed
Include holes in error navigation (F8/Shift+F8)

7h3kk1d
and
claude
committed
Consolidate test node invocation into dune

7h3kk1d
and
claude
committed
Rename Action.goal Error variant to NextError to fix test build

7h3kk1d
and
claude
committed
Unify error/hole/warning counts between tab badge and panel

7h3kk1d
and
claude
committed
More robust view error handling
Negabinary
committed
Make collect_category build a truly lazy Seq

7h3kk1d
and
claude
committed
Rename error_ids/NextError to problem_ids/NextProblem

7h3kk1d
and
claude
committed
Deduplicate Segment.holes calls in ErrorCollection

7h3kk1d
and
claude
committed
Move active error scroll-into-view from Main.re to ErrorSidebar.re

7h3kk1d
and
claude
committed
Code style fixes for error sidebar

7h3kk1d
and
claude
committed
Replace row_to_line sentinel with option type, show "L?" for unknown lines

7h3kk1d
and
claude
committed
Replace position_map with direct Measured.find_by_id lookup for sorting

7h3kk1d
and
claude
committed
Deduplicate error context and use lazy Seq for problem_ids

7h3kk1d
and
claude
committed
Clear stale expanded IDs on persist and fix toggle border selector

7h3kk1d
and
claude
committed
Extract shared run_node.sh wrapper for test node flags

7h3kk1d
and
claude
committed

Commits on Mar 31, 2026

Commits on Apr 1, 2026

Commits on Apr 6, 2026

Merge branch 'dev' into haz3l-new-func-syntax
DavidFangWJ
committed

Commits on Apr 7, 2026

Commits on Apr 8, 2026

Commits on Apr 9, 2026

Coding Agent UI Updates (#2202)
cyrus-
authored

Commits on Apr 10, 2026

Commits on Apr 11, 2026

Commits on Apr 13, 2026

Merge branch 'dev' into haz3l-new-func-syntax
DavidFangWJ
committed

Commits on Apr 17, 2026

Commits on Apr 19, 2026

chore: update dependencies

cyrus-
authored and
github-actions[bot]
committed

Commits on Apr 20, 2026

add tests
Negabinary
committed

Commits on Apr 21, 2026

Commits on Apr 22, 2026

Commits on Apr 23, 2026

Commits on Apr 25, 2026

Commits on Apr 26, 2026

Commits on Apr 27, 2026

Commits on May 1, 2026

Make pretty printer treat folded functions like normal symbols
Negabinary
committed

Commits on May 6, 2026

Make pretty printer treat folded functions like normal symbols (#2251)
cyrus-
authored

Commits on May 7, 2026

Commits on May 8, 2026

ci: per-branch deploy concurrency + larger retry budget (#2272)
cyrus-
authored

Commits on May 11, 2026