diff options
| author | Alasdair | 2020-04-14 17:16:29 +0100 |
|---|---|---|
| committer | Alasdair | 2020-04-14 17:29:15 +0100 |
| commit | 26510d7798daac30a400e8d04278a86ea8b83983 (patch) | |
| tree | 705fea19904ee1b4c1af3f349296ac7648f6bab9 /src/process_file.ml | |
| parent | 8d28bb30b0ff1812fa0ad58147d42cddde3099da (diff) | |
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.
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index d2a86595..116788b9 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -108,6 +108,8 @@ let have_symbol symbol = let clear_symbols () = symbols := default_symbols +let add_symbol str = symbols := StringSet.add str !symbols + let cond_pragma l defs = let depth = ref 0 in let in_then = ref true in |