Closed timsgardner closed 9 years ago
Poking around some more I'm almost certain this isn't a satisfactory solution (doesn't solve the (float (aget v i))
issue, for example). infer-parametrized-type
seems implicated. Would giving aget
terms a :type
help?
response to #27.