Currently a userclass is a type that we don't know, we therefore assume it's a user class.
I introduced Floats without adding them inside the kernel.
So when I try to translate floats, it just allows everything to pass rather than say that the type is unknown.
Have to do better.
hogoww
commented
4 years ago
Currently a userclass is a type that we don't know, we therefore assume it's a user class.
I introduced Floats without adding them inside the kernel. So when I try to translate floats, it just allows everything to pass rather than say that the type is unknown. Have to do better.