Changes between Version 1 and Version 2 of ClosedClasses


Ignore:
Timestamp:
Dec 6, 2005 4:51:51 AM (10 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ClosedClasses

    v1 v2  
    55== proposal ==
    66
    7 {{{
     7
    88
    99allow the closed keyword right after class.
    10 
     10{{{
    1111class closed ... where
    1212    ...
    13 
     13}}}
    1414this will mean that even if the class is exported no one may declare more instances for it
    1515
     16== alternate ==
     17
     18specify it in the export list
     19
     20{{{
     21module Foo(closed Foo(..)) where
    1622}}}
     23
    1724
    1825== pro ==