diff options
| author | ronny | 2003-06-13 13:39:31 +0000 |
|---|---|---|
| committer | ronny | 2003-06-13 13:39:31 +0000 |
| commit | d0c7c1ca3491980e3819aa965f835b56ee5c65d3 (patch) | |
| tree | b0a61dbd12a747de7478f7f37cf8080ab74810d8 /frontend/unitype.icl | |
| parent | Bug fixs in universally quantified types: Attribute variables of universal ty... (diff) | |
removed PA bug workaround
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1342 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/unitype.icl')
| -rw-r--r-- | frontend/unitype.icl | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/frontend/unitype.icl b/frontend/unitype.icl index 66ed942..7a86e5c 100644 --- a/frontend/unitype.icl +++ b/frontend/unitype.icl @@ -594,8 +594,6 @@ where toInt (TA_TempVar av_number) = av_number toInt TA_Multi = AttrMulti toInt TA_None = AttrMulti - toInt TA_PA_BUG = PA_BUG AttrExi (abort "toInt TA_PA_BUG") - :: CoercionState = { crc_type_heaps :: !.TypeHeaps @@ -613,16 +611,6 @@ offered_attribute according to sign. Failure is indicated by returning False as */ coerceAttributes :: !.TypeAttribute !.TypeAttribute !.Sign *Coercions -> (!Bool,.Coercions); - -/* Just Temporary */ - -coerceAttributes TA_PA_BUG dem_attr _ coercions - = PA_BUG (True, coercions) (abort "coerceAttributes TA_PA_BUG") -coerceAttributes _ TA_PA_BUG _ coercions - = PA_BUG (True, coercions) (abort "coerceAttributes TA_PA_BUG") - -/* ... remove this !!!! */ - coerceAttributes TA_Unique dem_attr {neg_sign} coercions | not neg_sign = (True, coercions) |