Safe Haskell trust revocation lacks runtime mechanism for expired credentials
Context Safe Haskell enforces least-privilege compilation through Safe , Trustworthy , and Unsafe module classifications, restricting primitives like unsafePerformIO at compile time. Trust is granted statically when a module is marked Trustworthy and accepted by the compiler. Problem There is no standard mechanism to revoke or expire that trust after compila
haskell