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/comparedefimp.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/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index 2bc1140..ee91f96 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -797,7 +797,7 @@ instance t_corresponds TypeAttribute where t_corresponds (TA_Var dclDef) (TA_Var iclDef) = t_corresponds dclDef iclDef t_corresponds (TA_RootVar dclDef) (TA_RootVar iclDef) - = PA_BUG (return True) (t_corresponds dclDef iclDef) + = t_corresponds dclDef iclDef t_corresponds TA_None icl = case icl of TA_Multi-> return True |