00:03 <d_bot> <gar> I need some help with codept. Currently it tells me what the deps are, but it only lists module names, without context. I need it to tell me, when A depends on B which is in dir foo/bar, that the dep is not just B but (Foo Bar B) (using sexp syntax). I'm trying to do this with groups, but that only seems to work locally - if A and B are both in Foo, and A depends on B, it will tell me the dep is (Foo B). But it won't do that for oth

00:03 <d_bot> <gar> ```

00:03 <d_bot> <gar> asmcomp[asmcomp/CSEgen.ml,asmcomp/CSEgen.mli, ... all srcs in asmcomp ...]

00:03 <d_bot> <gar> ...

00:03 <d_bot> <gar> lambda[lambda/debuginfo.ml,lambda/debuginfo.mli, ... all srcs in lambda ...]

00:03 <d_bot> <gar> ...

00:03 <d_bot> <gar> ```

00:04 <d_bot> <gar> Output looks like this:

00:04 <d_bot> <gar> ```

00:04 <d_bot> <gar> ((file asmcomp/afl_instrument.mli) (deps ((Asmcomp Cmm) (Debuginfo))))

00:04 <d_bot> <gar> ```

00:05 <d_bot> <gar> What I would expect here is `(Lambda Debuginfo)` instead of just `(Debuginfo)`.

00:05 <d_bot> <gar> Also, it looks like all modules are listed as `unknown`.

00:06 <d_bot> <gar> Am I misusing the tool? Anybody know how to do this?

00:14 <d_bot> <gar> btw this is my cmd line: `$ codept -nested -sexp -k -args .obazl.d/tmp/codept.args`

04:56 <remexre> is there a way to make a functor polymorphic over a module type?

05:51 <d_bot> <NULL> What would it mean?

06:56 <sim642> I guess they mean something like: functor (X: 'A) -> sig include 'A val extra: int end

06:57 <sim642> Although for it to really be useful, you probably want X to not be fully polymorphic but have some functions at least

06:57 <sim642> Using which you could define extra functions in the extended module

06:59 <sim642> Occasionally I've also wanted something like this because in a hierarchy of modules it's annoying to have to define the functor for each argument type that still contains the necessary functions and I just want to include the rest as is

08:09 <octachron> remexre, there are abstract module types, that can be somewhat used in this direction, but it depends a lot of what you mean by "polymorphic over a module type".

10:56 <d_bot> <Kakadu> Folks, did you see printf with positional arguments in OCaml? Something like `printf "Hello %2 from %1" "Kakadu" "world"`

10:56 <d_bot> <Kakadu> It could be useful in internationalization where words order matter

11:32 <d_bot> <Bluddy> that would be nice but you'd have to combine it with type info

13:13 <d_bot> <octachron> My internationalization library (https://github.com/Octachron/babilim) for my i18n patch on the compiler supports positional arguments for this reason.

13:31 <d_bot> <Blubub> Hello there, i would like to ask how to test my function that i made in a file with vscode? i've made a file called test.ml i wanted to run it and test the function with input arguments. is there any solution?

13:35 <d_bot> <Blubub> i keep getting the file 'test.ml' has not the right magic number: expected Caml1999X028, got length l

13:42 <d_bot> <octachron> @gar : first point, you need to open the namespaces with `-open Asmcomp` since the compiler subsystems are not aware of any namespacing. It will allow codept to deduce that the Longindent module referred in `typing` is `(Parsing Longident)`.

13:42 <d_bot> <octachron> (And normally, codept should know that namespaces are not dependency themselves).

13:42 <d_bot> <octachron> Concerning the file location, the dependencies only refers to (namespaced) modules but at the end of the dependencies there is an atlas of modules->files that should looks like `((module (Typing Typedecl_unboxed)) (ml typing/typedecl_unboxed.ml) (mli typing/typedecl_unboxed.mli))`

13:46 <d_bot> <octachron> @Blubub , calling `ocaml test.ml` should work directly?

13:47 <d_bot> <Blubub> no i've tried

13:47 <d_bot> <Blubub> it said Cannot find file ./test.ml.

13:47 <d_bot> <andreypopp> hm... I'm getting `Fatal error: out of memory` when hitting `assert false` in code.

13:47 <d_bot> <andreypopp> originates from `caml_call_gc`

14:11 <d_bot> <Kakadu> Thanks! Is this compiler being used to teach frankophones some OCaml?

14:46 <d_bot> <octachron> No. But I did make a translation of error messages to French to have an idea of the amount of effort needed. At some point, I hope to try to release a version of this compiler with the i18n support.

19:00 <d_bot> <baobab> if i get an error message with "struct might be unmatched", what might this mean if i have an "end" in my code?

19:03 <d_bot> <octachron> It means that the parsing stopped due to an element that cannot be part of a structure before reaching the`end`.

19:04 <d_bot> <baobab> what sorts of elements cant be part of a structure

19:06 <d_bot> <octachron> It would be much easier for you to link the code (or copy-paste it in the #beginners channel)