aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
authorjohnvg2011-04-04 15:13:39 +0000
committerjohnvg2011-04-04 15:13:39 +0000
commit6fa001609ff6fe2f45cabdf14748a70ad77f1e8f (patch)
treea7dd0d6a79d04b5576ca8c230714f4f70faa280d /frontend/syntax.dcl
parentuse type Component instead of Group in the fusion modules: partition, classif... (diff)
Remove type argument from_symbol of type Import, it was always type ImportDeclaration
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1897 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
-rw-r--r--frontend/syntax.dcl10
1 files changed, 5 insertions, 5 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index ddd6ef0..c585a1f 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -458,16 +458,16 @@ cNameLocationDependent :== True
, cim_index :: !Index // or -1-index
}
-:: Import from_symbol =
+:: Import =
{ import_module :: !Ident
- , import_symbols :: ![from_symbol]
+ , import_symbols :: ![ImportDeclaration]
, import_file_position:: !Position // for error messages
, import_qualified :: !Bool
}
-instance toString (Import from_symbol), AttributeVar, TypeAttribute, Annotation
+instance toString Import, AttributeVar, TypeAttribute, Annotation
-:: ParsedImport :== Import ImportDeclaration
+:: ParsedImport :== Import
:: ImportDeclaration = ID_Function !Ident
| ID_Class !Ident !(Optional [Ident])
@@ -1431,7 +1431,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, CasePatterns,
+ BasicValue, ATypeVar, TypeRhs, Import, 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,