diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-07-30 18:59:29 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-07-30 18:59:29 +0200 |
| commit | 3fcc4ea125f9738e213582e24e704817936da099 (patch) | |
| tree | 56569e8087b80919f333b2996d695ec5aaded804 | |
| parent | b404134363a4f097378aacb879220fd831bdb09f (diff) | |
| download | ghdl-3fcc4ea125f9738e213582e24e704817936da099.tar.gz ghdl-3fcc4ea125f9738e213582e24e704817936da099.tar.bz2 ghdl-3fcc4ea125f9738e213582e24e704817936da099.zip | |
Add comment.
| -rw-r--r-- | src/vhdl/sem_scopes.adb | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/vhdl/sem_scopes.adb b/src/vhdl/sem_scopes.adb index 41b0c9ee6..45278e385 100644 --- a/src/vhdl/sem_scopes.adb +++ b/src/vhdl/sem_scopes.adb @@ -563,7 +563,7 @@ package body Sem_Scopes is -- Each of two declarations is said to be a /homograph/ of the -- other if both declarations have the same identifier, operator -- symbol, or character literal, and if overloading is allowed for - -- at mist one of the two. + -- at most one of the two. -- -- LRM08 12.3 Visibility -- Each of two declarations is said to be a /homograph/ of the @@ -576,6 +576,12 @@ package body Sem_Scopes is -- GHDL: here we are in the case when both declarations are -- overloadable. Also, always follow the LRM08 rules as they fix -- issues. + -- GHDL: Special case for a second declaration with the same + -- designator and that denotes the same named entity than a + -- previous one (that would be an alias): according to the LRM, + -- they are both visible and there are no ambiguity as they + -- denotes the same named entity. In GHDL, the new one hides the + -- previous one. The behaviour should be the same. -- Find an homograph of this declaration (and also keep the -- interpretation just before it in the chain). |