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
ef5082b0
Commit
ef5082b0
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-02-22 00:46:20 by afrisch] New translation for types
Original author: afrisch Date: 2005-02-22 00:46:20+00:00
parent
ad742151
Changes
1
Hide whitespace changes
Inline
Side-by-side
typing/typer.ml
View file @
ef5082b0
...
...
@@ -1736,10 +1736,8 @@ let get_schema uri =
List
.
iter
(* Schema types -> CDuce types *)
(
fun
type_def
->
let
name
=
Schema_common
.
name_of_type_definition
type_def
in
log_schema_component
"type"
uri
name
()
;
let
cd_type
=
Schema_converter
.
cd_type_of_type_def
~
schema
type_def
in
Format
.
fprintf
Format
.
std_formatter
"Done@."
;
log_schema_component
"type"
uri
name
cd_type
;
Hashtbl
.
add
!
schema_types
(
uri
,
name
)
cd_type
)
schema
.
Schema_types
.
types
;
List
.
iter
(* Schema attributes -> CDuce types *)
...
...
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