Importing the primitive modules.
  Getting interface for Agda.Primitive
  Check for cycle
  Agda.Primitive is not up-to-date.
Checking Agda.Primitive (agda-default-include-path/Agda/Primitive.agda).
Creating interface for Agda.Primitive.
  visited: 
Building interface...
  instantiating all meta variables
  interface complete
Writing interface file agda-default-include-path/Agda/Primitive.agdai.
Wrote interface file.
Finished Agda.Primitive.
  using stored version of agda-default-include-path/Agda/Primitive.agdai
  imports: []
  New module. Let's check it out.
Merging interface
  Now we've looked at Agda.Primitive
Done importing the primitive modules.
  Getting interface for Issue641
  Check for cycle
  Issue641 is not up-to-date.
Checking Issue641 (Issue641.agda).
Creating interface for Issue641.
  visited: Agda.Primitive
Issue641.agda:9,6-18
No such module NoSuchModule
when scope checking the declaration
  open NoSuchModule