In article <3020 at solo1.cs.vu.nl> maart at cs.vu.nl (Maarten Litmaath) writes: >Why is a type-redef still forbidden? Because to do otherwise would result in severe parsing problems.