Commit 5273a51a authored by Pietro Abate's avatar Pietro Abate
Browse files

[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
parent b56b9467
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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment