Three Dollar Quill

Weird morning. Okay day.

I'm skimming the type theory stuff more aggressively, so it's good odds that I'll have to come back to this later, but I should have a good baseline to designing the different tiers of Impliciula. Have to handle stuff like resolving effects, and various kinds and levels of subtyping.

Anyway, I'm still calling this a Mythic autoroller post, so let's see what I need to do to get these tables in and accessible... Well, for the latter, I just updated the MANIFEST.in file, which, I'd kind of like to find an alternative.

...

Ah, I can write a setuptools plugin that interacts wit Pijul thus:

• Given a path to a directory, run pijul list --repository {directory}, but also scan the ancestors of that directory looking for a .pijul directory. What we want is the relative path from the repository root to the directory that was passed in.
• If we're given an empty string, just run pijul list, and scan from the current directory.
• At this point, we have all of the information we need. We simply need to filter the list down to the entries prefixed by relative path we found, and return the rest of each such path. The "don't think too hard" way to do this is to turn everything into pathlib.Path instances and call candidate.relative_to(directory, walk_up=True) and filter out all entries that start with . or ...

Ooh, it looks like setuptools-scm provides some endpoints, so I could try doing things that way and see how it works.

(Note to future self: it seems that the tag in Pijul is associated with a state, which can be requested from the log. Comparing the state information should allow for determining how many changes have been recorded since the last tag.)

Anyway, it's late and I should get to bed.

Good night.