Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
1df0e8b7
Commit
1df0e8b7
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-04-21 07:21:04 by afrisch] Empty log message
Original author: afrisch Date: 2005-04-21 07:21:04+00:00
parent
af0ffde1
Changes
1
Hide whitespace changes
Inline
Side-by-side
schema/schema_parser.ml
View file @
1df0e8b7
...
...
@@ -568,7 +568,7 @@ let schema_of_uri uri =
let
check_redef
n
table
kind
=
let
name
=
get_name
n
in
if
(
QTable
.
mem
elts
name
)
then
if
(
QTable
.
mem
table
name
)
then
error
(
"Redefinition of "
^
kind
^
" "
^
Ns
.
QName
.
to_string
name
)
else
name
...
...
@@ -576,11 +576,11 @@ let schema_of_uri uri =
in
let
rec
register
n
=
function
|
"xsd:element"
->
let
name
=
check_redef
n
elts
"element"
in
let
name
=
check_redef
n
elts
_elems
"element"
in
QTable
.
add
elts_elems
name
n
;
todo
:=
(
fun
()
->
ignore
(
resolve_elt
name
))
::
!
todo
|
(
"xsd:simpleType"
|
"xsd:complexType"
)
as
s
->
let
name
=
check_redef
n
elt
s
"type"
in
let
name
=
check_redef
n
typ
s
"type"
in
let
l
=
if
s
=
"xsd:simpleType"
then
lazy
(
Simple
(
parse_simple_type
n
))
else
lazy
(
parse_complex_type_def
n
)
in
QTable
.
add
typs
name
l
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment