aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
authorjohnvg2009-02-25 13:29:06 +0000
committerjohnvg2009-02-25 13:29:06 +0000
commitc238daf2ab02fec6307209ff051ba138b78e04d8 (patch)
tree1caf6ab40c25aa663aa38ca1205041aca3e11d83 /frontend/syntax.dcl
parentadd seq (diff)
replace type ImportedIdent by Ident because ii_extended is not used
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1727 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
-rw-r--r--frontend/syntax.dcl17
1 files changed, 6 insertions, 11 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 331ef76..34001ad 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -455,16 +455,11 @@ instance toString (Import from_symbol), AttributeVar, TypeAttribute, Annotation
:: ParsedImport :== Import ImportDeclaration
-:: ImportedIdent =
- { ii_ident :: !Ident
- , ii_extended :: !Bool
- }
-
-:: ImportDeclaration = ID_Function !ImportedIdent
- | ID_Class !ImportedIdent !(Optional [ImportedIdent])
- | ID_Type !ImportedIdent !(Optional [ImportedIdent])
- | ID_Record !ImportedIdent !(Optional [ImportedIdent])
- | ID_Instance !ImportedIdent !Ident !(![Type],![TypeContext])
+:: ImportDeclaration = ID_Function !Ident
+ | ID_Class !Ident !(Optional [Ident])
+ | ID_Type !Ident !(Optional [Ident])
+ | ID_Record !Ident !(Optional [Ident])
+ | ID_Instance !Ident !Ident !(![Type],![TypeContext])
cIsImportedLibrary :== True
cIsImportedObject :== False
@@ -1423,7 +1418,7 @@ instance == ModuleKind, Ident
instance <<< (Module a) | <<< a, ParsedDefinition, InstanceType, AttributeVar, TypeVar, SymbolType, Expression, Type, Ident, (Global object) | <<< object,
Position, CaseAlt, AType, FunDef, ParsedExpr, TypeAttribute, (Bind a b) | <<< a & <<< b,
FieldNameOrQualifiedFieldName, ParsedConstructor, (TypeDef a) | <<< a, TypeVarInfo, AttrVarInfo,
- BasicValue, ATypeVar, TypeRhs, (Import from_symbol) | <<< from_symbol, ImportDeclaration, ImportedIdent, CasePatterns,
+ BasicValue, ATypeVar, TypeRhs, (Import from_symbol) | <<< from_symbol, ImportDeclaration, CasePatterns,
(Optional a) | <<< a, ConsVariable, BasicType, Annotation, SelectorKind, Selection, SelectorDef, ConsDef, LocalDefs, FreeVar, ClassInstance, SignClassification,
TypeCodeExpression, CoercionPosition, AttrInequality, LetBind, Declaration, STE_Kind, BoundVar,
TypeSymbIdent,