`unused-import`

An import is never used.

compile error, shown by synod check.

An import is used when the file refers to the package. It is also used when the package has observers or invariants, because importing it turns them on. Otherwise remove the use line.

Example

Check this program to see the diagnostic.

# package p
use std/lists

define One
  result 1

Diagnostic

p/p.synod:2:5: error[unused-import]: "std/lists" is imported but not used

Fix

Remove the import.

# package p
define One
  result 1