Repository navigation

Require a SweepSource in a sweep's source position - #41

Merged

fedonman merged 4 commits into

mainfrom

require-sweep-source

Sep 7, 2026

Merged

Require a SweepSource in a sweep's source position#41
fedonman merged 4 commits into
mainfrom
require-sweep-source

Commits on Sep 7, 2026
- Require a SweepSource in a sweep's source position
  fedonman
  committed
  a8e2ff7
- Cut the Values pointer from the sweep source docstrings and error
  fedonman
  committed
  6965439
- Hoist the variable out of the sweep source rejection test
  fedonman
  committed
  9f376bb
- Drop the Values pointer from the sweep source paragraph
  fedonman
  committed
  8b2ddb0