Add add_symbol to the API of Process_file

Allows clients of sail as a library to define custom symbols for $ifdef
and $ifndef

Iterate vector concat assignment and tuple assignment to handle unusual
nesting cases when compiling to C. These rewrites should really be one
rewrite anyway though!

Don't add type annotations when introducing tuple patterns during
rewriting. I guess not adding them could also cause an error in some
circumstances, but if that's the case it could probably be fixed by
tweaking some rules in the type-checker.

0 files changed, 0 insertions, 0 deletions