03:54 <greenbagels> i apologize for the flood of basic questions (especially opinion-based ones) but uh

03:55 <greenbagels> generally defining an interface before an implementation helps better organize modules, right? are there any decent heuristics for knowing when to start making submodules?

04:06 <discocaml> <Et7f3 (@me on reply)> I would first implement/draft the consumer implementation, analyse it's need and create an interface out of it, then really implementing the sub module. If you start interface right away you might over engineer (usefule if you are a library author)

04:09 <discocaml> <Et7f3 (@me on reply)> You start submodule in case where a public module isn't necessary (directly opened module, local helper, ...) other than that juste follow heuristic for module: create it one piece of data need it own treatment.

04:25 <companion_cube> yeah, in a .ml I tend to use submodules to group stuff together when it makes sense

04:26 <companion_cube> (e.g. a lot of code that only exports one or two public things at the end)

04:26 <companion_cube> in a .mli I'd only use them either: for sub-features (e.g. infix operators, etc.) or for ancilliary types that don't deserve their own file

04:26 <companion_cube> (but more and more I just give these a file anyway)

04:31 <dh`> I don't think I've ever written anything in ocaml that had one file big enough to need submodules for organizational purposes

04:31 <dh`> though I've done it for evil namespace reasons at times

04:32 <dh`> but, most of what I've written in ocaml is compilers and they tend to be structurally very simple

04:32 <companion_cube> pre-refactoring, in a largeish work project, we've had files run over 3k loc

04:33 <companion_cube> with submodules

04:33 <companion_cube> well in compilers you might have very large passes, right?

04:33 <dh`> yes, but they don't have much in the way of internal structure

04:34 <greenbagels> i see...

04:35 <dh`> a generic pass has one function per type in your IR, plus some top-level interface bits, plus some operations on the pass context, plus typically small amounts of support code

04:35 <dh`> these could be divided into modules but it doesn't really serve much purpose

04:36 <dh`> if you have a self-contained data structure going on it probably belongs in its own file anyway

04:37 <dh`> but also, it depends on your standards of large

04:43 <dh`> 3000 lines doesn't necessarily seem that large, depending on what it is

07:45 <greenbagels> hmm is there a way to have ocamldoc generate both subscripts and superscripts on the same character

07:47 <greenbagels> basically like this i guess https://superuser.com/questions/1387577/any-chance-to-get-a-superscript-directly-on-top-of-subscript-in-unicode

14:20 <companion_cube> Yeah that's fair re: self contained data structures

14:21 <companion_cube> Oh. An obvious case of submodule is to export specializations for the current types, ofc

14:21 <companion_cube> Like exporting Map, Tbl, Set for this module's type

16:22 <discocaml> <avicebron0> I've been trying to get `ocp-indent` recognized by emacs, following the instruction with `echo '(load-file "'"$(opam config var prefix)"'/share/typerex/ocp-indent/ocp-indent.el")' >>~/.emacs` , after which emacs throws an error that it can't find `ocp-indent.el`. Does anyone have any suggestions on how I can either find the correct path needed or another installation method to make ocp-indent work? My indentation has been pretty messed up

19:12 <julien> Hello! Trying to install frama-c on fedora 39 but getting the errorNo package 'gtk+-3.0' found while it is installed

19:12 <julien> https://tpaste.us/6M68

19:13 <neiluj> does that sound familiar?

19:20 <discocaml> <._null._> Weird. Did you install the external packages that are required ?

19:26 <julien> yes, gtk3 and gtk3-devel, as well as gtksourceview3

19:34 <discocaml> <._null._> Do you have any conf-* package installed already ?

19:38 <julien> ocaml packages?

19:38 <discocaml> <._null._> Yes

19:39 <julien> yes, conf-zlib for example

19:58 <julien> okay my bad some software is changing the pkgconfig paths