Changes between Initial Version and Version 1 of Ticket #295


Ignore:
Timestamp:
Dec 17, 2024, 2:32:21 PM (15 hours ago)
Author:
ajbeach
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #295 – Description

    initial v1  
    1 As we put more code into the prelude some issues have come up. That is no section of the prelude (even builtins.cfa) is not regular Cforall code. All of them have various special linkage-specifiers set, at the very least Builtin, which changes the calling conventions of a function.
     1As we put more code into the prelude some issues have come up. That is no section of the prelude (even builtins.cfa) is not regular Cforall code. All of them have various special linkage-specifiers set, at the very least Builtin, which changes the calling conventions of a function and changes auto-generation rules.
    22
    33Creating a new part of the prelude for these declarations would mean that Cforall declarations can be moved to or from this header from the library without any (or at least less) rewriting.