08:02 <Hammdist> I'm trying to understand what the OFFSETCLOSURE bytecode instruction does. first of all, I thought environment would always point to an object but here it seems to be used in an integer context? what does it "mean" to add some value to the environment?

10:36 <tom1212> hello! is an alias for a function inlined? ie: let foo = bar where bar is a function

11:31 <companion_cube> I think so yes

11:35 <tom1212> nice! thanks

14:51 <tom1212> hi! can someone explain please help to understand the idea of this technique? https://okmij.org/ftp/ML/first-class-modules/#generics

14:53 <tom1212> basically I don't understand the opening paragraph: " Generic programming in ML typically relies on the value representation of types. In most generic programming libraries so far the type representation was a collection of generic functions specialized for that particular type. First-class modules permit for the first time value-independent generic programming. "

15:35 <discocaml> <polytypic> This old paper might help: https://core.ac.uk/download/pdf/82308742.pdf

15:36 <discocaml> <deepspacejohn> I believe it means you normally have to represent each type with a different value, e.g. `int_to_string` and `float_to_string` etc. But with FCMs you can have a generic `to_string` that accepts a FCM.

15:50 <tom1212> ah that's clearer now! thanks

17:07 <discocaml> <lukstafi> @Janni: This looks very concise! You can compare `ppx_log_calls` with https://github.com/lukstafi/ppx_minidebug . (I considered/tried uploadinig it to the opam repository but gave up for a silly reason: I use `sed` tests, and mostly redundantly because I also have `ppx_expect` tests.)