diff options
| author | martinw | 2000-06-21 13:53:24 +0000 |
|---|---|---|
| committer | martinw | 2000-06-21 13:53:24 +0000 |
| commit | d49a35b582b5ac2caa7dba1955a6e9cf522856eb (patch) | |
| tree | 6dea032b4ba3ae8fa6aabbd98e04ea63cb18ced7 /coclmaindll | |
| parent | bugfix: not only STE_Imported appears in dcls_explicit (and dcls_import?) but (diff) | |
solving the problem of strict aliases. Now a strict alias
#! x = y
will be transformed into
#! x = _dummyForStrictAlias y
while checking. The new predefined symbol _dummyForStrictAlias has
the type of the identity function. This application will be removed
in the backend conversion phase. In this case x and y will simply get
the same sequence number (see module backendpreprocess). Then the
binding can be ignored.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@177 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'coclmaindll')
0 files changed, 0 insertions, 0 deletions