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
258ce52d
Commit
258ce52d
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2002-10-21 09:03:48 by cvscast] Empty log message
Original author: cvscast Date: 2002-10-21 09:03:48+00:00
parent
f9b35132
Changes
2
Hide whitespace changes
Inline
Side-by-side
driver/cduce.ml
View file @
258ce52d
...
...
@@ -39,8 +39,8 @@ let rec print_exn ppf = function
|
Typer
.
WrongLabel
(
t
,
l
)
->
Format
.
fprintf
ppf
"Wrong record selection: the label %s@
\n
"
(
Types
.
label_name
l
);
(*
Format.fprintf ppf "applied to an expression of type %a@\n"
(
Types.Print.print_descr t
) *)
Format
.
fprintf
ppf
"applied to an expression of type %a@
\n
"
Types
.
Print
.
print_descr
t
|
Typer
.
ShouldHave
(
t
,
msg
)
->
Format
.
fprintf
ppf
"This expression should have type %a@
\n
%s@
\n
"
Types
.
Print
.
print_descr
t
...
...
typing/typer.ml
View file @
258ce52d
...
...
@@ -330,7 +330,7 @@ let rec expr { loc = loc; descr = d } =
(
Fv
.
union
fv1
fv2
,
Typed
.
Pair
(
e1
,
e2
))
|
Dot
(
e
,
l
)
->
let
(
fv
,
e
)
=
expr
e
in
(
Fv
.
union
Fv
.
empty
fv
,
Typed
.
Dot
(
e
,
l
))
(
fv
,
Typed
.
Dot
(
e
,
l
))
|
RecordLitt
r
->
(* XXX TODO: check that no label appears twice *)
let
fv
=
ref
Fv
.
empty
in
...
...
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