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 ==