[CTYP-34] Handle checking defmethods correctly Created: 19/Aug/13 Updated: 15/Sep/13 Resolved: 28/Aug/13
|Reporter:||Ambrose Bonnaire-Sergeant||Assignee:||Ambrose Bonnaire-Sergeant|
The current strategy of using a dispatch function to update defmethods before we check them is buggy. Specifically scoping is broken.
Instead of superficial fixes, this needs further thought. Probably best to have a function that takes the multimethod type & a dispatch value, and returns a new expected type for the defmethod.
Currently we simulate injecting a new expression directly inside the defmethod. This is broken.
|Comment by Ambrose Bonnaire-Sergeant [ 28/Aug/13 8:09 AM ]|
Fixed this in 0.1.25 by abstracting all elements of a Result (Typed Racket does not abstract the type).