search

Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format
Other
7 stars 4 forks source link

clean up tslsynth file management #35

Closed santolucito closed 10 months ago

santolucito commented 1 year ago

sometimes uses test and sometimes tmp for intermediate files. really shouldn't be generating intermediate files at all (at least by default).

https://github.com/Barnard-PL-Labs/tsltools/blob/699709bc78d5cbb206a1644f52cf34520b917595/src/tools/tslsynth/Main.hs#L55

leoqiao18 commented 10 months ago

Should we add flags to still provide the option to see these intermediate files?

santolucito commented 10 months ago

yes for sure, they are quite helpful - just should be put in a sensible place and named better than we currently have

On Wed, Nov 1, 2023 at 11:35 AM Leo Qiao @.***> wrote:

Should we add flags to still provide the option to see these intermediate files?

— Reply to this email directly, view it on GitHub https://github.com/Barnard-PL-Labs/tsltools/issues/35#issuecomment-1789171948, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAIJAPHCCQVVATXRTC3ZH4LYCJT37AVCNFSM6AAAAAARJMPNCWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTOOBZGE3TCOJUHA . You are receiving this because you were assigned.Message ID: @.***>

leoqiao18 commented 10 months ago

Implemented in #60