Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
L
lustre-v6
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container Registry
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD 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
verimag
synchrone
lustre-v6
Commits
8f54a0e2
Commit
8f54a0e2
authored
1 year ago
by
erwan
Browse files
Options
Downloads
Patches
Plain Diff
print node pragmas in -lv4 mode
parent
07c1d09f
No related branches found
Branches containing commit
No related tags found
Tags containing commit
No related merge requests found
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
lib/licDump.ml
+15
-6
15 additions, 6 deletions
lib/licDump.ml
with
15 additions
and
6 deletions
lib/licDump.ml
+
15
−
6
View file @
8f54a0e2
(* Time-stamp: <modified the 16/11/2023 (at 1
1:09
) by Erwan Jahier> *)
(* Time-stamp: <modified the 16/11/2023 (at 1
2:16
) by Erwan Jahier> *)
(*
This module is used both for
...
...
@@ -588,7 +588,10 @@ and (string_of_by_pos_op_eff: bool -> Lic.by_pos_op srcflagged -> Lic.val_exp li
||
global_opt
.
one_op_per_equation
then
if
String
.
length
str
>
0
&&
str
.
[
0
]
<>
'
'
then
" "
^
str
^
" "
else
str
let
lstr
=
String
.
length
str
in
let
str
=
if
lstr
>
0
&&
str
.
[
0
]
<>
'
'
then
" "
^
str
else
str
in
let
str
=
if
lstr
>
0
&&
str
.
[
String
.
length
str
-
1
]
<>
'
'
then
str
^
" "
else
str
in
str
else
(
"("
^
str
^
")"
)
...
...
@@ -816,16 +819,22 @@ and node_of_node_exp_eff forprint (neff: Lic.node_exp): string =
profile_of_node_exp_eff
forprint
neff
)
^
let
pragma
=
if
global_opt
.
lv4
then
(
Lxm
.
pragma
neff
.
lxm
)
|>
List
.
map
(
function
Pragma
(
cid
,
c
)
->
Printf
.
sprintf
"(*@%s %s*)
\n
"
cid
c
)
|>
String
.
concat
"
\n
"
else
""
in
(
match
neff
.
def_eff
with
|
ExternLic
->
";
\n
"
|
ExternLic
->
";
\n
"
^
pragma
|
MetaOpLic
->
(
(* on écrit juste un alias *)
" = "
^
(
string_of_node_key_def
forprint
neff
.
node_key_eff
)
^
";
\n
"
" = "
^
(
string_of_node_key_def
forprint
neff
.
node_key_eff
)
^
";
\n
"
^
pragma
)
|
AbstractLic
_
->
";
\n
"
|
AbstractLic
_
->
";
\n
"
^
pragma
|
BodyLic
_
->
(
(
if
global_opt
.
kcg
then
"
\n
"
else
";
\n
"
)
^
(
if
global_opt
.
kcg
then
"
\n
"
else
";
\n
"
^
pragma
)
^
(
match
neff
.
loclist_eff
with
|
None
->
""
|
Some
[]
->
""
...
...
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