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
e32c981a
Commit
e32c981a
authored
Feb 19, 2019
by
johnvg@science.ru.nl
Browse files
export function make_symbol_name in module graph_copy_with_names
parent
41ebb64d
Changes
2
Hide whitespace changes
Inline
Side-by-side
Libraries/graph_copy/graph_copy_with_names.dcl
View file @
e32c981a
...
...
@@ -8,3 +8,4 @@ from symbols_in_program import ::Symbol;
copy_to_string_with_names
::
a
->
(!*{#
Char
},!*{#
DescInfo
},!*{#
String
});
copy_from_string_with_names
::
!*{#
Char
}
!*{#
DescInfo
}
!*{#
String
}
!{#
Symbol
}
->
(.
a
,!
Int
);
make_symbol_name
::
!
String
!
String
!
Int
->
String
;
Libraries/graph_copy/graph_copy_with_names.icl
View file @
e32c981a
...
...
@@ -314,6 +314,7 @@ get_thunk_n_non_pointers d
#
b_size
=
arity
>>
8
;
=
b_size
;
make_symbol_name
::
!
String
!
String
!
Int
->
String
;
make_symbol_name
"_system"
descriptor_name
prefix
=
case
descriptor_name
of
{
"INT"
...
...
Write
Preview
Supports
Markdown
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