The native ssl functions are defined in C header files, which are included from the C sources generated by the compiler. This hard link from the compiler to the SSL can be avoided by defining the C functions as external definitions in Stratego itself. The Stratego modules that use native C primitives can import these external definitions. If this is implemented, then the compiler no longer needs to insert an include of the SSL C header files.

Submitted on 29 January 2005 at 10:13

STR-242, martin:
The buildfarm configuration has been changed to keep all the phases strictly separate. Tools from different phases should not be mixed, since this can break stuff for changes like the removal of ssl/stratego-lib.h include from the generated C code.

STR-242, martin:
External definitions have an implicit current term, which is unattractive for the SSL primitives. Reconsider this issue.

STR-242, martin:
Primitives are different from external definitions