Closed ganning127 closed 10 months ago
Can confirm that this code works with the new Jargon code with support for naming. A few questions:
.vscode/*
from .gitignore
?pom.xml
version numbers correct for jargon? not sure whether to change them back or use the current changesThe .vscode/*
is fine. Does it work the same if you changed it to .vscode/
?
We need to think about the version bump for jargon.
From our discussion, seems like .vscode/
works fine, so I've made that change to .gitignore
Squashed!
I've confirmed the PR works (using the 4.3.3.0 soft-release version of Jargon).
Will add pound soon.
Consider cross referencing the PRs like so ...
This PR depends on https://github.com/DICE-UNC/jargon/pull/423.
With that, reviewers can jump between the PRs and see the relationship.