Please note that these Trac pages are no longer being updated. Wiki contents/documentation have moved to GitHub.

FutureRepyExceptions/CodeUnsafeError

Version 1 (modified by cemeyer, 10 years ago)

--

In the FutureRepyExceptionHierarchy?, CodeUnsafeError? is raised when createvirtualnamespace() is called and the code is deemed unsafe after static analysis. It is also raised if any of the run-time safety checks fail during virtualnamespace.evaluate().