Changes in doc/working/resolver_design.md [59f9273:d14d96a]

File:

• doc/working/resolver_design.md (modified) (1 diff)

doc/working/resolver_design.md

@@ -1414 +1414 @@
 considered if no match was found in the previous class.
 
-Another source of efficiency would be to cache the best given interpretation 
-of a subexpression within an environment; this may not be incredibly useful 
-for explict parameters (though it may be useful for, e.g. `f( x, x )`, where 
-both parameters of `f` have the same type), but should pay some dividends for 
-the implicit assertion parameters, especially the otype parameters for the 
-argument of a generic type, which will generally be resolved in duplicate for 
-(at least) the assignment operator, constructor, copy constructor & destructor 
-of the generic type. 
-
 ## Appendix A: Partial and Total Orders ##
 The `<=` relation on integers is a commonly known _total order_, and