In order to properly infer A + B in the type system, Add needed to be able to be lazily evaluated, so a lot of types were added to the CType enum in order to get this working. Also, I forgot to add get support for Buffers, and probably a few other things.
In order to properly infer
A + B
in the type system,Add
needed to be able to be lazily evaluated, so a lot of types were added to theCType
enum in order to get this working. Also, I forgot to addget
support for Buffers, and probably a few other things.