object RecType
- Companion:
- class
Value members
Concrete methods
Create a RecType, normalizing its contents. This means:
Create a RecType, normalizing its contents. This means:
- Nested Rec types on the type's spine are merged with the outer one.
- Any refinement of the form
type T = z.T
on the spine of the type wherez
refers to the created rec-type is replaced bytype T
. This avoids infinite recursions later when we try to follow these references. TODO: Figure out how to guarantee absence of cycles of length > 1