Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard

[ doc ] document %cg pragma

Open dunhamsteve opened this issue 1 year ago • 1 comments

Description

Add documentation for the %cg pragma. I missed this one when documenting the pragmas because it is hiding in the lexer.

dunhamsteve avatar Feb 17 '24 17:02 dunhamsteve

I meant to comment on that review, but accidentally hit resolve (I prefer to let the original reviewer resolve). The directives for all supplied codegen are stored in the ttc, and directives for the current codegen are used when compiling. How they are aggregated depends on the directive, but extraRuntime in chez is collected and deduplicated. I've updated the docs to include this information.

dunhamsteve avatar Feb 18 '24 21:02 dunhamsteve

That looks good to me! Any reason we should delay this?

andrevidela avatar Mar 17 '24 09:03 andrevidela