An analysis which returns information whether a module is unsafe, i.e.,
it imports directly or indirectly the module Unsafe
.
Author: Michael Hanus
Version: February 2021
unsafeModuleAnalysis
:: Analysis [String]
This analysis associates to a module the list of the names of all modules which directly imports the module Unsafe .
|
showUnsafe
:: AOutFormat -> [String] -> String
|
This analysis associates to a module the list of the names of all
modules which directly imports the module |
|