[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] path of `tlapm` files

Hi all,

I would like to suggest a change to the path where `tlapm` saves auxiliary files,
to the path `__tlacache__/filename.tlaps/`, for an input file
named `filename.tla`. The current path is `filename.tlaps/`.
With this change, the generated files for all the TLA+ files in a directory
would be placed under a single directory named `__tlacache__`,
so that the `*.tlaps` directories would not be listed in the working directory.

This change would imply that to load fingerprints from previous
`tlapm` versions, existing `*.tlaps` directories would need to be moved
to the `__tlacache__/` directory.

Using a common directory named `__tlacache__` is inspired by
the directory `__pycache__` [1] in Python 3, which stores `.pyc` files.

[1] https://www.python.org/dev/peps/pep-3147/

Best regards,

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/3d741e6e-9d57-4640-9f3b-97157ba4cd1eo%40googlegroups.com.