Managing the two repositories
The actual typechecker is written in Haskell and is available here.
That project is included in this one using git subtree
. For future reference we describe how that is done. We follow these instructions.
Adding the subtree
NOTE This only has to be done once; and has already been done. It is written here only for completeness.
Create new remote.
git remote add -f DiffPrivacyInferenceHs git@github.com:DiffMu/DiffPrivacyInferenceHs.git
Add the subtree.
git subtree add --prefix deps/DiffPrivacyInferenceHs DiffPrivacyInferenceHs main --squash
Updating the typechecker version
In order to update the included version of the typechecker to the newest commit on main
over at the Haskell repository, execute the following two commands.
git fetch DiffPrivacyInferenceHs main
git subtree pull --prefix deps/DiffPrivacyInferenceHs DiffPrivacyInferenceHs main --squash