aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
authorronny2003-06-13 13:39:31 +0000
committerronny2003-06-13 13:39:31 +0000
commitd0c7c1ca3491980e3819aa965f835b56ee5c65d3 (patch)
treeb0a61dbd12a747de7478f7f37cf8080ab74810d8 /frontend/syntax.dcl
parentBug 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/syntax.dcl')
-rw-r--r--frontend/syntax.dcl1
1 files changed, 0 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index c30348f..06f2cdb 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -984,7 +984,6 @@ cNonRecursiveAppl :== False
| TA_Anonymous | TA_None
| TA_List !Int !TypeAttribute | TA_Locked !TypeAttribute
| TA_MultiOfPropagatingConsVar // only filled in after type checking, semantically equal to TA_Multi
- | TA_PA_BUG
:: AttributeVar =
{ av_ident :: !Ident