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
741c9667
Commit
741c9667
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2004-10-21 20:56:22 by afrisch] Empty log message
Original author: afrisch Date: 2004-10-21 20:56:22+00:00
parent
f2bb44af
Changes
1
Hide whitespace changes
Inline
Side-by-side
schema/schema_import.ml
View file @
741c9667
...
@@ -169,7 +169,7 @@ let qnames_attr attr found ?notfound ((env,n) as arg) =
...
@@ -169,7 +169,7 @@ let qnames_attr attr found ?notfound ((env,n) as arg) =
let
cst
x
_
=
x
let
cst
x
_
=
x
let
local
(
_
,
l
)
=
U
.
get_str
l
let
top_name
=
norm_attr
_name
mk_qname
let
top_name
=
norm_attr
_name
mk_qname
let
opt_name
=
norm_attr
_name
mk_qname_option
~
notfound
:
(
cst
None
)
let
opt_name
=
norm_attr
_name
mk_qname_option
~
notfound
:
(
cst
None
)
...
@@ -253,7 +253,7 @@ and union arg =
...
@@ -253,7 +253,7 @@ and union arg =
VUnion
member_types
VUnion
member_types
and
toplevel
((
env
,
n
)
as
arg
)
=
and
toplevel
((
env
,
n
)
as
arg
)
=
match
U
.
get_str
(
snd
n
.
tag
)
with
match
local
n
.
tag
with
|
"attribute"
->
|
"attribute"
->
set_ref
arg
resolve_attribute
toplevel_attribute_declaration
set_ref
arg
resolve_attribute
toplevel_attribute_declaration
|
"element"
->
|
"element"
->
...
@@ -264,7 +264,7 @@ and schema n =
...
@@ -264,7 +264,7 @@ and schema n =
let
arg
=
()
,
n
in
let
arg
=
()
,
n
in
let
qual
a
=
let
qual
a
=
norm_attr
a
norm_attr
a
(
fun
ction
(
_
,
v
)
->
U
.
get_str
v
=
"qualified"
)
(
fun
v
->
local
v
=
"qualified"
)
~
notfound
:
(
cst
false
)
~
notfound
:
(
cst
false
)
arg
in
arg
in
let
env
=
{
let
env
=
{
...
...
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