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
clean-and-itasks
clean-libraries
Commits
73cb9f73
Commit
73cb9f73
authored
Feb 20, 2019
by
johnvg@science.ru.nl
Browse files
use dINT instead of INT on 64 bit systems, use e____predef__d__Unit for _Unit
parent
834d5e52
Changes
1
Hide whitespace changes
Inline
Side-by-side
Libraries/graph_copy/graph_copy_with_names.icl
View file @
73cb9f73
...
...
@@ -318,7 +318,7 @@ make_symbol_name :: !String !String !Int -> String;
make_symbol_name
"_system"
descriptor_name
prefix
=
case
descriptor_name
of
{
"INT"
->
descriptor_name
;
->
IF_INT_64_OR_32
"dINT"
descriptor_name
;
"CHAR"
->
descriptor_name
;
"REAL"
...
...
@@ -369,6 +369,8 @@ make_symbol_name "_system" descriptor_name prefix
->
"e__system__"
+++
prefix_char
prefix
+++
descriptor_name
;
"_ind"
->
"e__system__"
+++
prefix_char
prefix
+++
"ind"
;
"_Unit"
->
"e____predef__d__Unit"
;
_
// -> "e____system__"+++prefix_char prefix+++expand_special_characters 0 descriptor_name;
->
prefix_char
prefix
+++
expand_special_characters
0
descriptor_name
;
...
...
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