diff options
| author | ronny | 2003-10-17 13:47:35 +0000 |
|---|---|---|
| committer | ronny | 2003-10-17 13:47:35 +0000 |
| commit | 239e8ffebea875a36ae7ca8b656aaa9ce9f16126 (patch) | |
| tree | 0ce78a15088ed0b1b277a891c99b579863dc3119 /frontend/overloading.icl | |
| parent | remove directory_library (diff) | |
added limited support for uniqueness attributes in dynamic types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1394 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/overloading.icl')
| -rw-r--r-- | frontend/overloading.icl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/frontend/overloading.icl b/frontend/overloading.icl index f42016b..54533ce 100644 --- a/frontend/overloading.icl +++ b/frontend/overloading.icl @@ -1367,7 +1367,12 @@ instance toTypeCodeExpression TypeVar where instance toTypeCodeExpression AType where - toTypeCodeExpression {at_type} tci_and_var_heap_and_error = toTypeCodeExpression at_type tci_and_var_heap_and_error + toTypeCodeExpression {at_attribute=TA_Unique, at_type} tci_and_var_heap_and_error + # (tce, st) + = toTypeCodeExpression at_type tci_and_var_heap_and_error + = (TCE_UnqType tce, st) + toTypeCodeExpression {at_type} tci_and_var_heap_and_error + = toTypeCodeExpression at_type tci_and_var_heap_and_error :: UpdateInfo = { ui_instance_calls :: ![FunCall] |