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
4f15f8b7
Commit
4f15f8b7
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2002-11-10 22:53:22 by cvscast] Empty log message
Original author: cvscast Date: 2002-11-10 22:53:22+00:00
parent
be08ba37
Changes
2
Hide whitespace changes
Inline
Side-by-side
driver/cduce.ml
View file @
4f15f8b7
...
...
@@ -6,7 +6,7 @@ let eval_env = Eval.global_env
let
print_norm
ppf
d
=
Location
.
protect
ppf
(
fun
ppf
->
Types
.
Print
.
print_descr
ppf
(
Types
.
normalize
d
))
(
fun
ppf
->
Types
.
Print
.
print_descr
ppf
(
(
*
Types
.
normalize
*
)
d
))
let
print_value
ppf
v
=
Location
.
protect
ppf
(
fun
ppf
->
Value
.
print
ppf
v
)
...
...
types/types.ml
View file @
4f15f8b7
...
...
@@ -490,7 +490,16 @@ struct
with
Not_found
->
DescrHash
.
add
marks
d
(
ref
None
);
bool_iter
(
fun
(
n1
,
n2
)
->
mark
n1
;
mark
n2
)
d
.
times
;
bool_iter
(
fun
(
n1
,
n2
)
->
mark
n1
;
mark
n2
)
d
.
xml
;
bool_iter
(
fun
(
n1
,
n2
)
->
List
.
iter
(
fun
(
d1
,
d2
)
->
mark_descr
d2
;
let
l
=
get_record
d1
.
record
in
List
.
iter
(
List
.
iter
(
fun
(
l
,
(
o
,
d
))
->
mark_descr
d
))
l
)
(
Product
.
normal
(
descr
n2
))
)
d
.
xml
;
bool_iter
(
fun
(
n1
,
n2
)
->
mark
n1
;
mark
n2
)
d
.
arrow
;
bool_iter
(
fun
(
l
,
o
,
n
)
->
mark
n
)
d
.
record
...
...
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