robrix / path

A lambda calculus to explore type-directed program synthesis.
BSD 3-Clause "New" or "Revised" License
83 stars 2 forks source link

Show detailed status of individual modules in compilation #65

Open robrix opened 5 years ago

robrix commented 5 years ago

We currently show [m of n] Compiling Foo.Bar (src/Foo/Bar.path) when compiling/reloading. We could show more detail about the status, e.g. the reason for compilation once we can avoid recompiling unchanged modules (cf #25), whether the module succeeded or failed, and whether we’re skipping a module because of a failure in its dependencies.

It’d be really cool if we could replace the output line, e.g. output Compiling … and then change it to Blah errored, but I’m not sure if haskeline supports that.