Fix representation of explicit types
Suppose x
is a number that is exactly representable in float32
and float64
. Right now, kernel containing this as an explicitly typed constant with either type will compare equal (e.g for caching purposes) when they should not. Explicitly typed constants should be represented as TypeAnnotation(type, number)
.
-
Documentation -
Code gen
x-ref: #186 (closed) !340 (merged)