The definition of free type variable

General Usage
1

In v1.2 manual, the free type varialbe is defined as “We say that a variable V is free in type
T if T does not contain the UnionAll that introduces variable V.” But in the context, it seems to be “does” instead of “does not”. Is that right?

2

reference for anyone reading this, More about types · The Julia Language

1 Like
3

I think the wording in the manual is correct. If not used in a UnionAll, the variable remains free.

Look at the examples in the manual.

1 Like
4

Untitled
It is the sample following the definition. But it seems not match. Or the sample is not correct?