Code

Shaped Projectors#1387

Code

Draft

disconcision wants to merge 19 commits intodevhazelgrove/hazel:devfrom projectors-segmenthazelgrove/hazel:projectors-segmentCopy head branch name to clipboard

+654-286

Commits

Commits on Aug 6, 2024

• init, not compiling

  disconcision

  committed
  612eb11

  Copy full SHA for 612eb11

Commits on Sep 5, 2024

• compiling, for alexander's sad parrot

  disconcision

  committed
  26f0d16

  Copy full SHA for 26f0d16

• Merge branch 'dev' of github.com:hazelgrove/hazel into projectors-segment

  disconcision

  committed
  c2a5060

  Copy full SHA for c2a5060

Commits on Sep 6, 2024

• segment projectors working for most non-infix cases

  disconcision

  committed
  dfe4477

  Copy full SHA for dfe4477

• segment projector notes

  disconcision

  committed
  5b5de77

  Copy full SHA for 5b5de77

• segment projectors functional

  disconcision

  committed
  0167cd6

  Copy full SHA for 0167cd6

• better but still imperfect segment projection unprojection caret placement

  disconcision

  committed
  f67dcb0

  Copy full SHA for f67dcb0

Commits on Sep 7, 2024

• shape projectors

  disconcision

  committed
  eefa152

  Copy full SHA for eefa152

Commits on Sep 18, 2024

• blind thrashing on runtime exns

  disconcision

  committed
  492da92

  Copy full SHA for 492da92

Commits on Sep 19, 2024

• better caret placement after projection

  disconcision

  committed
  652e078

  Copy full SHA for 652e078

• fix aba exception for nested folding. fix regrouting issue for app/sub

  disconcision

  committed
  53eaae7

  Copy full SHA for 53eaae7

Commits on Sep 20, 2024

• projection caret pos cleanup

  disconcision

  committed
  7c40036

  Copy full SHA for 7c40036

• fix root id replacement logic. factor out redundant MapPiece fns

  disconcision

  committed
  f0574fc

  Copy full SHA for f0574fc

• cleanup

  disconcision

  committed
  9872146

  Copy full SHA for 9872146

• can now change projections without unprojecting (again)

  disconcision

  committed
  883313e

  Copy full SHA for 883313e

• fixed bug with folded case rule triggering Not_found exn

  disconcision

  committed
  28b5187

  Copy full SHA for 28b5187

Commits on Sep 21, 2024

• term selection refactor

  disconcision

  committed
  9cd0ad0

  Copy full SHA for 9cd0ad0

Commits on Sep 27, 2024

• factor our projector rep id

  disconcision

  committed
  e3d00b1

  Copy full SHA for e3d00b1

• gate folding on proj_rep_id

  disconcision

  committed
  28df164

  Copy full SHA for 28df164