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/convertDynamics.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/convertDynamics.icl')
| -rw-r--r-- | frontend/convertDynamics.icl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl index 2a12842..35a109e 100644 --- a/frontend/convertDynamics.icl +++ b/frontend/convertDynamics.icl @@ -729,6 +729,14 @@ convertTypeCode pattern cinp (TCE_UniType uni_vars type_code) (has_var, binds, c = App { app_symb = tv_symb, app_args = [BasicExpr (BVInt number)], app_info_ptr = nilPtr } +convertTypeCode pattern cinp (TCE_UnqType type) (has_var, binds, ci) + # (typeunique_symb, ci) + = getSymbol PD_Dyn_TypeUnique SK_Constructor 1 ci + # (type, (has_var, binds, ci)) + = convertTypeCode pattern cinp type (has_var, binds, ci) + = (App {app_symb = typeunique_symb, + app_args = [type], + app_info_ptr = nilPtr}, (has_var, binds, ci)) convertTypeCode pattern cinp (TCE_Selector selections var_info_ptr) st # (var, st) |