-
John van Groningen authored
of the constructor, instead of a type index with a constructor index, create VITI_PatternType only for records
3758a7d0
of the constructor, instead of a type index with a constructor index, create VITI_PatternType only for records