09:22 <d_bot_> <Kakadu> I'm reading https://github.com/ocaml/ocaml/pull/9619 . Two questions:

09:22 <d_bot_> <Kakadu> 1) What is the second code-pointer in entry-point?

09:22 <d_bot_> <Kakadu> 2) I believe that if I partially apply a closure I should be able to see the argument in closure's freevar1. Is it correct? Should I be able to print it as I expect from C?

09:43 <d_bot_> <ggole> Closures can contain more than one code pointer, which is a trick that allows for more efficient `let rec`.

10:21 <d_bot_> <Kakadu> @ggole Do you know where I can read more about it?

10:22 <d_bot_> <ggole> Hmm, good question. I can't actually remember where I picked up what I know about closures.

10:23 <d_bot_> <ggole> RWO might have a bit on closures

10:28 <d_bot_> <Kakadu> https://dev.realworldocaml.org/runtime-memory-layout.html It doesn't

10:31 <d_bot_> <ggole> I don't think I could point at anything specifically for OCaml then.

17:05 <d_bot_> <Saroupille> Question: I have a project, and for testing purposes, I would like to patch one function of this project. Maintaining a fork seems to be cumbersome, and especially, for different tests, I would patch different functions in different ways. I do not want to maintain a fork for each test. For different reasons, I cannot modify the original function. From what I understand, I want something quite close to what is called `Aspect-o

20:28 <d_bot_> <Kakadu> METAOCaml question: Should it be possible to declare something on one module (file) and use it in *interesting* ways in another module(file)? Does it support cross-module inlining or something like that? The same question for Template Haskell

20:50 <d_bot_> <elwinner> Hi all. I'm trying to run a market making game from https://github.com/sameerlal/OMakeMeAMarket, but whenever I try to run: make clean && make build && make play , I get a Segmentation fault at the make play part. I do not know how to approach this error as I'm just a newbie coder. Does anyone know how to fix this?

20:50 <d_bot_> <elwinner> https://cdn.discordapp.com/attachments/436568060288172044/817137025202520084/unknown.png

20:55 <d_bot_> <Kakadu> It's highly likely that crash is in your code

20:56 <d_bot_> <Kakadu> also using OMakefiles and compiling to bytecode in 2021 is weird. I could recommend you to use dune and compile only to native code

20:56 <d_bot_> <Kakadu> Also, I thing WSL will be better experience then Cygwin

21:33 <d_bot_> <Zach5050> Hello, does anyone understand this error? My Num condition should be excepting an exp type but it is saying something about a string

21:33 <d_bot_> <Zach5050> https://cdn.discordapp.com/attachments/436568060288172044/817147870276354108/ocamlerrordiscord.PNG

21:35 <steenuil> @Zach5050 you're calling string_of_expression on that pattern on line 20

21:36 <steenuil> which means you're matching the string returned by string_of_expression, not on the exp

21:36 <d_bot_> <Zach5050> Oh wow that makes sense now

21:36 <d_bot_> <Zach5050> thank you

21:38 <d_bot_> <Zach5050> Do you know a way that I can force it to be a Num

22:10 <d_bot_> <Zach5050> I have this now, no errors and makes sense but I must find a way to recurse the expression

22:10 <d_bot_> <Zach5050> https://cdn.discordapp.com/attachments/436568060288172044/817157199431729202/ocamlerror3.PNG

22:11 <d_bot_> <Zach5050> without that type error

22:18 <d_bot_> <Zach5050> I believe this should work, I am first testing to see if num, then recurse on it after the initial checks for the whole expression

22:18 <d_bot_> <Zach5050> https://cdn.discordapp.com/attachments/436568060288172044/817159116953878538/ocamltest1.PNG

22:20 <steenuil> you could also condense that as `Plus (Num tmp1, Num tmp2)`

22:21 <steenuil> and the way you would do that is by calling string_of_expression on tmp1 and tmp2

22:27 <d_bot_> <Zach5050> I wanted to keep it in the format that my professor had us do it just in case, was the second reccomandation in the case of the first? because i get an error otherwise because or typing

22:28 <d_bot_> <Zach5050> of*

22:28 <d_bot_> <Zach5050> wait are these bots or people

22:28 <d_bot_> <Zach5050> that are replying, it says bot

22:28 <steenuil> yeah, those that are marked as bot are people from the IRC channel

22:31 <d_bot_> <Zach5050> I see okay

22:34 <d_bot_> <octachron> Don't use `==` for equality.

22:34 <d_bot_> <octachron> It tests physical equality (same address in memory).

22:37 <d_bot_> <octachron> You should not branch/test on the results of `string_of_expression`

22:39 <d_bot_> <octachron> But that would require to write a non-string based interpreter.

22:39 <d_bot_> <octachron> Another point, building string by concatening small fragments with `^` is inefficient because you end up reallocating the whole string in construction for every little fragments.

22:42 <d_bot_> <Zach5050> thank you @octachron I am a complete noob with ocaml and so just trying to get this project task functioning and then do that stuff later, hopefully this works

22:44 <d_bot_> <octachron> Also, if you want to match on two value, you can use `match a, b with ...` rather than `match a with | a1 -> match b with ... `.

22:44 <d_bot_> <Zach5050> perfect thank you!

22:45 <d_bot_> <Zach5050> I got the true case working hallalujah!!!!!!!!!!!!!!!!!!