aboutsummaryrefslogtreecommitdiff
path: root/frontend/explicitimports.dcl
diff options
context:
space:
mode:
authorjohnvg2012-03-23 12:34:46 +0000
committerjohnvg2012-03-23 12:34:46 +0000
commit3a7493296d2db98276196d661d9be58d45b2f7fd (patch)
treef6b3260fa4dc42811e8e18932f7b1165896f9203 /frontend/explicitimports.dcl
parentclear me_type_ptr's after type checking, (diff)
fix implicit qualified import of a module of which no (qualified) symbol is used
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2050 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/explicitimports.dcl')
-rw-r--r--frontend/explicitimports.dcl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/explicitimports.dcl b/frontend/explicitimports.dcl
index 867b467..9479a4b 100644
--- a/frontend/explicitimports.dcl
+++ b/frontend/explicitimports.dcl
@@ -10,7 +10,7 @@ import syntax, checksupport
:: ExplicitImport = ! {
ei_module_n :: !Int,
ei_position :: !Position,
- ei_symbols :: ![ImportNrAndIdents],
+ ei_symbols :: !ImportSymbols [ImportNrAndIdents],
ei_qualified:: !ImportQualified
}