diff options
| author | sjakie | 2000-06-15 08:06:00 +0000 |
|---|---|---|
| committer | sjakie | 2000-06-15 08:06:00 +0000 |
| commit | bf4ed6c87505bffd5fdacf1ceeb474bffcf674d0 (patch) | |
| tree | d5dfda248c7116df9c1052f3e7898569b0c4575a /frontend/unitype.icl | |
| parent | correcting tiny change of previous revision (diff) | |
update of dictionary types
Peter's bug removed
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@164 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/unitype.icl')
| -rw-r--r-- | frontend/unitype.icl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/frontend/unitype.icl b/frontend/unitype.icl index add10e3..c2031ed 100644 --- a/frontend/unitype.icl +++ b/frontend/unitype.icl @@ -402,7 +402,7 @@ where toInt (TA_TempVar av_number) = av_number toInt TA_Multi = AttrMulti toInt TA_None = AttrMulti - toInt TA_TempExVar = AttrExi + toInt TA_TempExVar = PA_BUG AttrExi (abort "toInt TA_TempExVar") :: CoercionState = @@ -423,9 +423,9 @@ offered_attribute according to sign. Failure is indicated by returning False as /* Just Temporary */ coerceAttributes TA_TempExVar dem_attr _ coercions - = (True, coercions) + = PA_BUG (True, coercions) (abort "coerceAttributes TA_TempExVar") coerceAttributes _ TA_TempExVar _ coercions - = (True, coercions) + = PA_BUG (True, coercions) (abort "coerceAttributes TA_TempExVar") /* ... remove this !!!! */ coerceAttributes TA_Unique dem_attr {neg_sign} coercions |