[r2005-02-25 17:49:43 by afrisch] Inherit attr uses in extension

Original author: afrisch
Date: 2005-02-25 17:49:43+00:00

schema/TODO

 - substitution groups
-- don't name schema, use namespaces
\ No newline at end of file
+- don't name schema, use namespaces
+- detect ill-formed recursion (e.g. between attribute groups)
\ No newline at end of file

schema/schema_parser.ml

@@ -372,7 +372,8 @@ let schema_of_uri uri =
     let duses = parse_attribute_uses n in
     (* attribute uses from base type *)
     match base, derivation_type with
-      | Complex { ct_attrs = uses }, `Extension -> duses
+      | Complex { ct_attrs = uses }, `Extension -> 
+	  merge_attribute_uses [duses;uses]
       | Complex { ct_attrs = uses }, `Restriction ->
 	  let ( &= ) u1 u2 = 
 	    (* by name equality over attribute uses *)

typing/typer.ml

@@ -1708,7 +1708,6 @@ module Schema_converter =
     and attr_uses (attrs,other) =
 (* TODO: produce directly internal types *)
 (*  (is it better ?  we wouln't benefit from hash-consing) *)
-      print_endline ("Other = " ^ (if other then "true" else "false"));
       let fields = 
 	List.map 
           (fun at ->