Flag for leaving out type information
ayberkt opened this issue · comments
For the preliminary stage of the K semantics, we will be focusing on the execution. Currently, the type information that is outputted by compile-to-core clutters things too much and we should consider adding a flag for omitting this. It might be nice to start using optparse-applicative right away. Though this is an overkill for just one option we will likely need other flags/options soon so it might be nice to set the system up already.
The flag --no-types can now be used to omit type information.