diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-15 11:35:12 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-15 11:35:12 +0200 |
| commit | 4e66de932b91e91e4cadd943ff8859d6f69f57e1 (patch) | |
| tree | ced73719216f2f1fd2eb9057001079a39dbad68e /frontend/rename.ml | |
| parent | 7205927e18ea355a619e95b1036aac9b94a22667 (diff) | |
| download | scade-analyzer-4e66de932b91e91e4cadd943ff8859d6f69f57e1.tar.gz scade-analyzer-4e66de932b91e91e4cadd943ff8859d6f69f57e1.zip | |
Clean up & comment a bit.
Diffstat (limited to 'frontend/rename.ml')
| -rw-r--r-- | frontend/rename.ml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/frontend/rename.ml b/frontend/rename.ml index 9c4cc31..71ec321 100644 --- a/frontend/rename.ml +++ b/frontend/rename.ml @@ -1,4 +1,12 @@ -(* Scope analyzer *) +(* + Scope analyzer + + Does a tiny bit of renaming, so that in a given node, every + variable declaration is unique. + + Variable name unicity is not assured program-wide. Node paths are + handled only once the program has been "rooted" (see fronted/typing.ml) +*) open Ast open Util |