6f8a840264a501e73742159e65e08974dd9c627d |
|
31-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
Type variable numbers in type abstractions should always be negative
whereas type alias names are always global with number zero.
So recursive expansion in extended types is no problem, alias name
remain unchanged.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8767 cec4b9c1-7d33-0410-9eda-942365e851bb |