Final Definitions

Stratego -- Strategies for Program Transformation
final module/definition Marks a definition or all definitions in a module as final. This means that modules importing this definition cannot extend it. For separate compilation. (Alternative: speculative separate compilation)

-- EelcoVisser - 27 Oct 2001


CategoryToDo? | LanguageExtensions