search for: static_visitors

...nteger as unsigned (where-as if it is in the llvm::Type part of the variant it is treated as signed), and a few other things. The other things include basically any type that can hold any other type, from arrays to structs and so forth. It was easy enough, I had made on the order of a crap-ton of static_visitors to handle the variant in all its very fast, but still overwhelming uglyness. I have got to the point where I need need to represent the function type, this has suddenly introduced a whole new class of uglyness to handle as the types can propagate into the blocks and so forth. I am just wondering...