Simon Cruanes

I'd prefer following the standard and treating them, indeed, as comments :-)

It's a bit tricky as things are right now, because extensions are responsible for their own printing. So, the color extension is the only thing aware of how colors are...

``` let min (x:int) (y:int) = Stdlib.min x y ``` I've never seen before this be faster than `let min = Stdlib.min`? :/ if it is, we have a problem...

Easiest is godbolt (https://ocaml.godbolt.org/), e.g. https://ocaml.godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(filename:'1',fontScale:14,fontUsePx:'0',j:1,lang:ocaml,selection:(endColumn:58,endLineNumber:4,positionColumn:58,positionLineNumber:4,selectionStartColumn:58,selectionStartLineNumber:4,startColumn:58,startLineNumber:4),source:'%0Alet+cint+:+int+-%3E+int+-%3E+int+%3D+Stdlib.compare%0Alet+()+%3D%0A++Printf.printf+%22%25d%5Cn%22+(Sys.opaque_identity+(cint+42+41))'),l:'5',n:'1',o:'OCaml+source+%231',t:'0')),k:50,l:'4',n:'0',o:'',s:0,t:'0'),(g:!((h:compiler,i:(compiler:ocaml5000flambda,filters:(b:'0',binary:'1',binaryObject:'1',commentOnly:'0',debugCalls:'1',demangle:'0',directives:'0',execute:'1',intel:'0',libraryCode:'0',trim:'1',verboseDemangling:'0'),flagsViewOpen:'1',fontScale:14,fontUsePx:'0',j:1,lang:ocaml,libs:!(),options:'',overrides:!(),selection:(endColumn:1,endLineNumber:1,positionColumn:1,positionLineNumber:1,selectionStartColumn:1,selectionStartLineNumber:1,startColumn:1,startLineNumber:1),source:1),l:'5',n:'0',o:'+x86-64+ocamlopt+5.0.0-flambda+(Editor+%231)',t:'0')),k:50,l:'4',n:'0',o:'',s:0,t:'0')),l:'2',n:'0',o:'',t:'0')),version:4 -- Simon Cruanes

it might be because polymorphic `min` isn't in the compiled code, it's part of the runtime.

Tuples are not great, but maybe we can make a `exn-bt` opam package with just the type definition (just like `atomic`, `seq`, `result`, etc.)? I'd have to lost the convenience...

could you try with current main branch? I added some `re_export`

I'd be happy to work more on the documentation, if there is a general agreement that this PR is going in the right direction (and that #12719 isn't — I...

Alright, then it seems to me that what I need to do is: - update names in code (`dls_set` and the likes become `tls_set`, etc.) - update documentation - adapt...

Meeting a few issues to try and add `CamlinternalTLS` (with shared definitions and state for Thread and Domain): ``` time/libcamlrun.a . make ocamlc make[3]: Entering directory '/home/simon/w/ocaml' LINKC ocamlc File...