Talk:Void-safe migration guide

Revision as of 05:34, 2 August 2009 by Ericb (Talk | contribs) (New page: --~~~~: The problem about not having `default_create' as creation procedure in CELL anymore, even when the actual generic parameter is detachable, is not just an expandedness issue. What d...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

--Ericb 14:34, 2 August 2009 (UTC): The problem about not having `default_create' as creation procedure in CELL anymore, even when the actual generic parameter is detachable, is not just an expandedness issue. What do we do with code like that:

class A [G -> ANY create default_create end]
...
end
 
a: A [CELL [detachable FOO]]