[r2005-04-22 13:18:31 by afrisch] Factor-out internalization of types/patterns

Original author: afrisch
Date: 2005-04-22 13:18:31+00:00

typing/typepat.ml

 open Ident
-open Location
 
   type node = {
     mutable desc: desc;
@@ -674,7 +673,6 @@ open Location
   and elim_concat_type t q =
     if not (Types.subtype t Sequence.any) then
       raise (Patterns.Error "Left argument of concatenation is not a sequence type");
-    (* TODO: check t <= [ Any* ] *)
     let mem = H.create 17 in
     let rec aux t =
       try H.find mem t