mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-17 14:57:03 +00:00
c15baa3537
Estimated hours taken: 10 Some scripts to change some labels of the format foo__bar to module__foo_bar, in both the library and the compiler. None of these scripts are executable, and need to be run with ~fjh/bin/scripts/apply_sed_script. The scope of files listed below is an indication of the files affected when these scripts are run on mercury/*/*.[mp]*. scripts/remove____from_compiler.sedscript Remove instances of foo__bar from .m and .pp files in the compiler/ directory. scripts/remove____from_library.sedscript romove instances of foo__bar from .m files in the library/ and compiler/ directories. scripts/replace_compiler___.sedscript Undo the compiler-specific changes above. scripts/replace_library___.sedscript Undo the library changes in the compiler/ and library/ directories.
9 lines
250 B
Plaintext
9 lines
250 B
Plaintext
s/\<term__atom/term_atom/g
|
|
s/\<term__string/term_string/g
|
|
s/\<term__integer/term_integer/g
|
|
s/\<term__float/term_float/g
|
|
s/\<term__context/term_context/g
|
|
s/\<term__functor/term_functor/g
|
|
s/\<term__variable/term_variable/g
|
|
s/\<bool__/std_util__bool_/g
|