Litmus pretty-printer is tightly coupled to language modules

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Litmus pretty-printer is tightly coupled to language modules #116

Open MattWindsor91 opened 5 years ago

MattWindsor91 commented 5 years ago

Despite the fact that the litmus pretty-printer need only know how to pretty-print the constants and programs from its target language, it pulls in the entire Act_language.Definition.S module in its functors! Clearly this is massive overkill.