Module kind_pass::unbound

Collects all the unbound variables, check if patterns are linear and check if the name belongs to the current module.

It also gets all of the identifiers used by sugars because it’s useful to name resolution phase.

Modules

• subst

Structs

• UnboundCollector

Functions

• collect_module_info
  Collects all of the unbound variables in a module.
• get_book_unbound
  Collects all of the unbound variables in a book.