Parse, don't analyze

[casey]

This is apropros of this post.

Analysis performs a number of consistency checks that reject malformed justfiles. For example, one check makes sure that all recipe dependencies refer to actual recipes. However, before and after this consistency check, the dependencies field of Recipe is still just a Vec<Name>, so we have no type-level guarantee that the dependency exists, or that the check was performed correctly.

It would be better if the analysis pass transformed the field from a Vec<Name> into a Vec<Rc<Recipe>>, giving us a type-level guarantee that the dependency does in fact refer to a valid recipe.

Todo:

• dependencies
• aliases
• functions
• variables

[casey]

Resolving variables is a larger project with an implementation that I'm not sure about, so what I've done will do for now.