Adding "type" prefix before type operator imports#194

Merged

jespercockx merged 8 commits intoagda:masterfrom

viktorcsimma:type-operator-imports

Jul 27, 2023

Commits on Jul 23, 2023

Initial version; the function deciding about the namespace does not work yet
viktorcsimma
committed
Fixing the function determining the namespace of an operator
viktorcsimma
committed
Rewriting the rendering of imports so that type operators always get their prefixes
viktorcsimma
committed

Commits on Jul 24, 2023

Fixing an issue where there were multiple imports of the same identifier
viktorcsimma
committed
Adding test and updating old ones (unfortunately, now it cannot break long lines)
viktorcsimma
committed

Commits on Jul 25, 2023

Adding NamespacedName data
viktorcsimma
committed

Commits on Jul 27, 2023