Importing the primitive modules.
  Getting interface for Agda.Primitive
  Check for cycle
  Agda.Primitive is not up-to-date because the interface has not been decoded and we're ignoring all interface files.
Checking Agda.Primitive (agda-default-include-path/Agda/Primitive.agda).
Creating interface for Agda.Primitive.
  visited:
Starting scope checking.
Finished scope checking.
Starting highlighting from scope.
Finished highlighting from scope.
Starting type checking.
Finished type checking.
Starting highlighting from type info.
Finished highlighting from type info.
Starting serialization.
Building interface...
  instantiating all meta variables
  interface complete
Finished serialization.
Considering writing to interface file.
Actually calling writeInterface.
Writing interface file agda-default-include-path/Agda/Primitive.agdai.
Wrote interface file.
Finished writing to interface file.
Finished Agda.Primitive.
  imports: []
  New module. Let's check it out.
Merging interface
  Now we've looked at Agda.Primitive
  Getting interface for Agda.Primitive.Cubical
  Check for cycle
  Agda.Primitive.Cubical is not up-to-date because the interface has not been decoded and we're ignoring all interface files.
Checking Agda.Primitive.Cubical (agda-default-include-path/Agda/Primitive/Cubical.agda).
Creating interface for Agda.Primitive.Cubical.
  visited: Agda.Primitive
Starting scope checking.
Scope checking Agda.Primitive
  visited: Agda.Primitive
  Already visited Agda.Primitive
Finished scope checking.
Starting highlighting from scope.
Finished highlighting from scope.
Starting type checking.
Finished type checking.
Starting highlighting from type info.
Finished highlighting from type info.
Starting serialization.
Building interface...
  Already visited Agda.Primitive
  instantiating all meta variables
  interface complete
Finished serialization.
Considering writing to interface file.
Actually calling writeInterface.
Writing interface file agda-default-include-path/Agda/Primitive/Cubical.agdai.
Wrote interface file.
Finished writing to interface file.
Finished Agda.Primitive.Cubical.
  imports: [(Agda.Primitive, 14768413828387280131)]
  Already visited Agda.Primitive
  New module. Let's check it out.
Merging interface
  Now we've looked at Agda.Primitive.Cubical
Done importing the primitive modules.
  Getting interface for Issue641-all-interfaces
  Check for cycle
  Issue641-all-interfaces is not up-to-date because the interface has not been decoded and we're ignoring all interface files.
Checking Issue641-all-interfaces (Issue641-all-interfaces.agda).
Creating interface for Issue641-all-interfaces.
  visited: Agda.Primitive, Agda.Primitive.Cubical
Starting scope checking.
Scope checking Agda.Primitive
  visited: Agda.Primitive, Agda.Primitive.Cubical
  Already visited Agda.Primitive
Issue641-all-interfaces.agda:9,6-18
No module NoSuchModule in scope
when scope checking the declaration
  open NoSuchModule
