More

Author: ajreynol

user_manual.md

@@ -2323,15 +2323,6 @@ DESUGAR(t):
       (eo::ite DESUGAR( (eo::is_eq (eo::typeof (f_1 k_1 ... k_n)) T) ) f_1
         (eo::as f_m DESUGAR( (-> T_1 ... T_n T) ) ...)) )  ; Otherwise, eo::as is unprocessed, will be a type error.
 
-  ;;; overloaded functions
-
-  (f t_1 ... t_n), where S[NAME(f)] = [f_1, ..., f_m] and m>1:
-    return DESUGAR(
-      (_ (eo::ite (eo::is_eq (eo::typeof (f_m t_1 ... t_n)) T) f_m
-         ...
-         (eo::ite (eo::is_eq (eo::typeof (f_1 t_1 ... t_n)) T) f_1
-            f_m ...)) t_1 ... t_n)  )  ; Otherwise, defaults to most recent if type checking fails for all overloads, we give a warning in this case.
-
   ;;; binders, definitions
 
   If A(f) = [binder, g]: