Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
F
Frama Clang
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Deploy
Releases
Package Registry
Container Registry
Model registry
Operate
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
pub
Frama Clang
Commits
784b1df4
Commit
784b1df4
authored
5 years ago
by
Virgile Prevosto
Browse files
Options
Downloads
Patches
Plain Diff
[ocaml-compat] avoid using obsolete functions
parent
1285fbdf
No related branches found
Branches containing commit
No related tags found
Tags containing commit
No related merge requests found
Changes
3
Hide whitespace changes
Inline
Side-by-side
Showing
3 changed files
class.ml
+1
-1
1 addition, 1 deletion
class.ml
fclang_datatype.ml
+3
-3
3 additions, 3 deletions
fclang_datatype.ml
reorder_defs.ml
+3
-3
3 additions, 3 deletions
reorder_defs.ml
with
7 additions
and
7 deletions
class.ml
+
1
−
1
View file @
784b1df4
...
@@ -27,7 +27,7 @@ module Inheritance_graph =
...
@@ -27,7 +27,7 @@ module Inheritance_graph =
(
Fclang_datatype
.
Qualified_name
)
(
Fclang_datatype
.
Qualified_name
)
(
struct
(
struct
type
t
=
int
*
access_kind
*
vkind
type
t
=
int
*
access_kind
*
vkind
let
compare
=
Pervasives
.
compare
let
compare
=
Transitioning
.
Stdlib
.
compare
let
default
=
(
0
,
Private
,
VStandard
)
let
default
=
(
0
,
Private
,
VStandard
)
end
)
end
)
...
...
This diff is collapsed.
Click to expand it.
fclang_datatype.ml
+
3
−
3
View file @
784b1df4
...
@@ -216,7 +216,7 @@ module Template_parameter =
...
@@ -216,7 +216,7 @@ module Template_parameter =
type
t
=
template_parameter
type
t
=
template_parameter
let
name
=
"Fclang_datatype.Template_parameter"
let
name
=
"Fclang_datatype.Template_parameter"
let
reprs
=
[
TPConstant
(
IntCst
(
IInt
,
ICLiteral
,
Int64
.
of_int
0
))]
let
reprs
=
[
TPConstant
(
IntCst
(
IInt
,
ICLiteral
,
Int64
.
of_int
0
))]
let
compare
=
Pervasives
.
compare
let
compare
=
Transitioning
.
Stdlib
.
compare
let
equal
=
Datatype
.
from_compare
let
equal
=
Datatype
.
from_compare
let
copy
=
Datatype
.
identity
let
copy
=
Datatype
.
identity
let
hash
=
Hashtbl
.
hash
let
hash
=
Hashtbl
.
hash
...
@@ -230,7 +230,7 @@ module Qualified_name =
...
@@ -230,7 +230,7 @@ module Qualified_name =
let
reprs
=
[({
prequalification
=
[
QNamespace
"foo"
];
decl_name
=
"bar"
}
,
let
reprs
=
[({
prequalification
=
[
QNamespace
"foo"
];
decl_name
=
"bar"
}
,
TStandard
)]
TStandard
)]
let
name
=
"Fclang_datatype.Qualified_name"
let
name
=
"Fclang_datatype.Qualified_name"
let
compare
=
Pervasives
.
compare
let
compare
=
Transitioning
.
Stdlib
.
compare
let
equal
=
Datatype
.
from_compare
let
equal
=
Datatype
.
from_compare
let
copy
=
Datatype
.
identity
let
copy
=
Datatype
.
identity
let
hash
=
Hashtbl
.
hash
let
hash
=
Hashtbl
.
hash
...
@@ -265,7 +265,7 @@ module Qual_type =
...
@@ -265,7 +265,7 @@ module Qual_type =
let
reprs
=
[
{
qualifier
=
[
Const
];
plain_type
=
Int
IInt
}
]
let
reprs
=
[
{
qualifier
=
[
Const
];
plain_type
=
Int
IInt
}
]
let
name
=
"Fclang_datatype.Qual_type"
let
name
=
"Fclang_datatype.Qual_type"
let
copy
=
Datatype
.
identity
let
copy
=
Datatype
.
identity
let
compare
=
Pervasives
.
compare
let
compare
=
Transitioning
.
Stdlib
.
compare
let
equal
=
Datatype
.
from_compare
let
equal
=
Datatype
.
from_compare
let
hash
=
Hashtbl
.
hash
let
hash
=
Hashtbl
.
hash
let
pretty
=
pretty_qual_type
let
pretty
=
pretty_qual_type
...
...
This diff is collapsed.
Click to expand it.
reorder_defs.ml
+
3
−
3
View file @
784b1df4
...
@@ -54,10 +54,10 @@ module Dep_node = struct
...
@@ -54,10 +54,10 @@ module Dep_node = struct
let
compare
x
y
=
let
compare
x
y
=
if
x
.
id
=
-
1
||
y
.
id
=
-
1
then
begin
if
x
.
id
=
-
1
||
y
.
id
=
-
1
then
begin
let
res
=
Pervasives
.
compare
x
.
kind
y
.
kind
in
let
res
=
Transitioning
.
Stdlib
.
compare
x
.
kind
y
.
kind
in
if
res
=
0
then
begin
if
res
=
0
then
begin
let
res
=
Pervasives
.
compare
x
.
name
y
.
name
in
let
res
=
Transitioning
.
Stdlib
.
compare
x
.
name
y
.
name
in
if
res
=
0
then
Pervasives
.
compare
x
.
is_def
y
.
is_def
else
res
if
res
=
0
then
Transitioning
.
Stdlib
.
compare
x
.
is_def
y
.
is_def
else
res
end
else
res
end
else
res
end
else
begin
end
else
begin
let
res
=
compare
y
.
id
x
.
id
in
let
res
=
compare
y
.
id
x
.
id
in
...
...
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment