Also export and import captures to allow referring to them in other modules

effekt/shared/src/main/scala/effekt/Namer.scala

@@ -44,7 +44,7 @@ object Namer extends Phase[Parsed, NameResolved] {
 
     def processDependency(path: String) =
       val modImport = Context.moduleOf(path)
-      scope.defineAll(modImport.terms, modImport.types, Map.empty)
+      scope.defineAll(modImport.terms, modImport.types, modImport.captures)
       modImport
 
     // process the prelude (but don't if we are processing the prelude already)
@@ -70,7 +70,7 @@ object Namer extends Phase[Parsed, NameResolved] {
 
     // We only want to import each dependency once.
     val allImports = (processedPreludes ++ imports).distinct
-    Context.module.exports(allImports, scope.terms.toMap, scope.types.toMap)
+    Context.module.exports(allImports, scope.terms.toMap, scope.types.toMap, scope.captures.toMap)
     decl
   }
 

effekt/shared/src/main/scala/effekt/symbols/symbols.scala

@@ -46,6 +46,10 @@ case class Module(
   private var _types: Map[String, TypeSymbol] = _
   def types = _types
 
+  private var _captures: Map[String, Capture] = _
+  def captures = _captures
+
+
   private var _imports: List[Module] = _
   def imports = _imports
 
@@ -70,11 +74,13 @@ case class Module(
   def exports(
     imports: List[Module],
     terms: Map[String, Set[TermSymbol]],
-    types: Map[String, TypeSymbol]
+    types: Map[String, TypeSymbol],
+    captures: Map[String, Capture],
   ): this.type = {
     _imports = imports
     _terms = terms
     _types = types
+    _captures = captures
     this
   }
 }

examples/pos/imports/issue270.check

@@ -0,0 +1 @@
+worked

examples/pos/imports/issue270.effekt

@@ -0,0 +1,7 @@
+module examples/pos/imports/importing_resources
+
+import examples/pos/imports/resources
+
+extern { r } def doNothing(): Unit = ""
+
+def main() = println("worked")

examples/pos/imports/resources.effekt

@@ -0,0 +1,6 @@
+module examples/pos/imports/resources
+
+extern interface R
+extern resource r: R
+
+def main() = ()