<< Back to previous view

[CTYP-34] Handle checking defmethods correctly Created: 19/Aug/13  Updated: 15/Sep/13  Resolved: 28/Aug/13

Status: Closed
Project: core.typed
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: Ambrose Bonnaire-Sergeant Assignee: Ambrose Bonnaire-Sergeant
Resolution: Completed Votes: 0
Labels: None


 Description   

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.



 Comments   
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).

Generated at Sat Oct 25 16:37:23 CDT 2014 using JIRA 4.4#649-r158309.