You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@fairlight1337 Are you sure we want to have the implementation of default policies in cram_core? In my opinion the cram_core has only the definition of the language and how you use it is of no concern to cram_core. So, the timeout-policy is an implementation-specific thing, I would move it to cram_highlevel into the plans. That would also help to get rid of the "unused function TIMEOUT-POLICY" note :)
@fairlight1337 Are you sure we want to have the implementation of default policies in cram_core? In my opinion the cram_core has only the definition of the language and how you use it is of no concern to cram_core. So, the
timeout-policy
is an implementation-specific thing, I would move it to cram_highlevel into the plans. That would also help to get rid of the "unused function TIMEOUT-POLICY" note :)231e8a2
The text was updated successfully, but these errors were encountered: