blob: 1a465f8755155757bd75ea8b6864452f19e082aa [file] [log] [blame] [view] [edit]
The compiler provides a `dead_code`
[*lint*](https://en.wikipedia.org/wiki/Lint_%28software%29) that will warn
about unused functions. An *attribute* can be used to disable the lint.
{unused.play}
Note that in real programs, you should eliminate dead code. In these examples
we'll allow dead code in some places because of the interactive nature of the
examples.