Infinitely expansion checking algorithm

Topics: Language Specification
Feb 19, 2014 at 3:29 PM
Specification ver. 0.9.5, p. 3.8.7:
A type reference which, directly or indirectly, references G through open type references and which contains a wrapped form of any of G’s type parameters in one or more type arguments is classified as an infinitely expanding type reference.
Well, we've tried to implement it somehow, and it seems to work in most cases. But to say that some explanation about "directly or indirectly" is omitted in spec would be a severe understatement. Specification needs to be expanded here to describe a complete algorithm.
Feb 20, 2014 at 5:09 PM
Will copy this to a work item to follow up. If you can, please add a description to the issue with your questions.
Feb 20, 2014 at 5:10 PM
This discussion has been copied to a work item. Click here to go to the work item and continue the discussion.