This transformer leaves the tree alone except to remap its types.
Check whether two lists have elements that are eq-equal
Check whether two lists have elements that are eq-equal
Should this map drop annotations that are not type-constraint annotations?
Should this map drop annotations that are not type-constraint annotations?
Map a tree that is part of an annotation argument.
Map a tree that is part of an annotation argument. If the tree cannot be mapped, then invoke giveup(). The default is to transform the tree with TypeMapTransformer.
Map this function over given list of symbols
Map this function over given list of symbols
Map this function over given scope
Map this function over given scope
Map this function over given type
Map this function over given type
Map over a set of annotation arguments.
Map over a set of annotation arguments. If any of the arguments cannot be mapped, then return Nil.
Are sym' and
sym1' the same.
Are sym' and
sym1' the same.
Can be tuned by subclasses.
Map target to type, can be tuned by subclasses
Map target to type, can be tuned by subclasses
The variance relative to start.
The variance relative to start. If you want variances to be significant, set variance = 1 at the top of the typemap.
A map to implement the
substSym' method.