Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Autodetect literate vs. non-literate files #58

Closed Toxaris closed 9 years ago

Toxaris commented 11 years ago

Currently, we have to use the "--literate" flag explicitly for the literate files mentioned on the command line. For imported modules, we auto-detect whether the module is literate based on the file extension (see discussion in #19). We should use the same heuristics also for the files mentioned on the command line. We can keep "--literate" as a way to override the default.

This should probably be adressed together with #55?