-
Notifications
You must be signed in to change notification settings - Fork 77
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
core: print attribute names without double quotes for bare identifiers (
#3710) This PR makes sure that attribute names that are bare identifiers (matching `bare_identifier_regex`) are printed without double quotes, as it is done in MLIR. The actual change is quite minimal (in `xdsl/printer.py`), all other diffs come from all of the filechecks and other tests that change. most changes were made automatically with [this script](https://gist.github.com/jorendumoulin/855686adb8197ee207fb3224a480cfd6), using the following conservative regex: `r'(\/\/.*\{( *|[^[}\n]*, *))(\"[a-zA-Z_][a-zA-Z0-9_$.]*\")'` the remaining ones were done using a vim search and replace with manual confirmation `:%s/"\([a-zA-Z_][a-zA-Z0-9_$.]*\)"/\1/gc`
- Loading branch information
1 parent
78bea80
commit 0d01d47
Showing
169 changed files
with
1,973 additions
and
1,917 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.