Reloading in the REPL always recompiles all the modules

robrix / path

A lambda calculus to explore type-directed program synthesis.

BSD 3-Clause "New" or "Revised" License

84 stars 2 forks source link

Open robrix opened 5 years ago

robrix commented 5 years ago

We should only reload the changed modules (and modules which depend on them, transitively if necessary).

robrix commented 5 years ago

We could maybe use shake for this: https://shakebuild.com