<d_bot>
<Shon F> Does anyone know how I'd tweak tuareg mode so I can use the ligature set that comes with my preferred programming font (fira) rather than the symbols set that tuareg defines for prettify-symbols mode?
<d_bot>
<Shon F> When I've tried to configure it so far, I can only figure out how to enable/disable the prettifying in tuareg-mode, but not how to tell it to stop overriding the default ligatures.
mbuf has joined #ocaml
aquijoule__ has joined #ocaml
aquijoule_ has quit [Ping timeout: 272 seconds]
dieggsy has quit [Read error: Connection reset by peer]
dieggsy has joined #ocaml
zebrag has quit [Remote host closed the connection]
dy has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
favonia has quit [Remote host closed the connection]
vicfred has quit [Quit: Leaving]
vicfred has joined #ocaml
dy has joined #ocaml
dy is now known as dy`
wonko has joined #ocaml
Tuplanolla has joined #ocaml
unyu has joined #ocaml
unyu has quit [Quit: Fix config.]
unyu has joined #ocaml
Haudegen has joined #ocaml
berberman_ has quit [Ping timeout: 248 seconds]
dhil has joined #ocaml
berberman has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
dieggsy has quit [Read error: Connection reset by peer]
dieggsy has joined #ocaml
mbuf has quit [Quit: Leaving]
rwmjones_ has joined #ocaml
rwmjones has quit [Read error: Connection reset by peer]
dieggsy has quit [Ping timeout: 265 seconds]
dieggsy has joined #ocaml
waleee has joined #ocaml
zebrag has joined #ocaml
waleee has quit [Ping timeout: 264 seconds]
fluxm has joined #ocaml
mbuf has joined #ocaml
favonia has joined #ocaml
aquijoule_ has joined #ocaml
aquijoule__ has quit [Remote host closed the connection]
zebrag has quit [Remote host closed the connection]
<fluxm>
meh. with too big of an effort I learn how to use Graphlib work, but then realize it doesn't do GraphViz clusters :)
<fluxm>
I suppose OCamlGraph doesn't either?
<companion_cube>
good question
<fluxm>
can't see any mention of it, except how it doesn't support "clusterrank" attribute..
<fluxm>
how do I get the feeling it's just easier to re-do than to try reuse this well-thought-out library ;)
<companion_cube>
sometimes the easiest way to graphviz is printf
zebrag has joined #ocaml
cedric has joined #ocaml
rwmjones_ is now known as rwmjones
dieggsy has quit [Ping timeout: 264 seconds]
dieggsy has joined #ocaml
<Drup>
fluxm: I wanted to add it at some point, but never took the time
<Drup>
in ocamlgraph, you can just hit the graphviz AST directly, so you can do everything, but iirc, the high level API doesn't really handle clusters
cedric has quit [Quit: Konversation terminated!]
<fluxm>
..or ports
<fluxm>
graphviz is great, but I wish there was something even better. like for neatly laying out graphs that aren't really hierarchic (like dot); and while it comes with a bunch of other layout engines, they usually end up with less legible results than dot, and have fewer features (e.g. no clusters)
<fluxm>
but perhaps the problem is just too hard to have many sexy implementations :)
favonia has quit [Ping timeout: 272 seconds]
favonia has joined #ocaml
<Drup>
well, there is D3.js
<Drup>
but yes, the problem is indeed very hard
<companion_cube>
it also doesn't scale too well
favonia has quit [Ping timeout: 252 seconds]
favonia has joined #ocaml
favonia has quit [Ping timeout: 264 seconds]
noddy has quit [Quit: WeeChat 3.1]
favonia has joined #ocaml
noddy has joined #ocaml
favonia has quit [Ping timeout: 264 seconds]
favonia has joined #ocaml
favonia has quit [*.net *.split]
dieggsy has quit [*.net *.split]
Johann has quit [*.net *.split]
ebb has quit [*.net *.split]
lobo has quit [*.net *.split]
Ekho has quit [*.net *.split]
lobo has joined #ocaml
Johann has joined #ocaml
ebb has joined #ocaml
Johann has quit [*.net *.split]
rwmjones has quit [*.net *.split]
radiopotin[m] has quit [*.net *.split]
wagle has quit [*.net *.split]
wagle has joined #ocaml
rwmjones has joined #ocaml
Johann has joined #ocaml
mbuf has quit [Quit: Leaving]
Ekho has joined #ocaml
oriba has joined #ocaml
tomku has quit [Read error: Connection reset by peer]
<oriba>
as long as it is not merged, it is not 'official', I think
<companion_cube>
🙄
<companion_cube>
it is, see discuss and the mailing list
<oriba>
hmhh, ok
<companion_cube>
and #ocaml on freenode is dead
<companion_cube>
taken over by the staff and all that
<oriba>
yes, I saw it. But there was ##ocaml on freenode, and I thought it is replacing #ocaml
<companion_cube>
lol no
<companion_cube>
## is unofficial
<oriba>
yes...
<oriba>
but it might be temporarily
<companion_cube>
and it only exists because rasengan doesn't want people to leave
<companion_cube>
freenode is *dead*
koorogi has quit [Remote host closed the connection]
<d_bot>
<RegularSpatula> I was looking into this a bit. Do you mean that you don’t like the Unicode replacement symbols that Tuareg mode defines and want to change them? Eg by customizing the `prettify-symbols-alist` var?
<companion_cube>
?
<oriba>
changing times... maybe on Libera.chat #ocaml, GADTs will have more acceptance ;-)
<companion_cube>
? GADTs?
<oriba>
hehe
<oriba>
GADT's
<companion_cube>
I wasn't aware GADTs were discriminated against previously :p
<oriba>
it was on freenode ... hehe
<companion_cube>
really
<oriba>
just wondered, why a lot of people discourage them
<companion_cube>
I mean, people of good advice might, yes :p
<companion_cube>
they're a somewhat advanced tool, I'd say
<oriba>
I saw a video on yt some weeks ago and it looked very impressive on what is possible
<companion_cube>
although the simple existential type use case is ok
<companion_cube>
more advanced stuff is more for experts imho
<oriba>
would be nice to find good explanation on that topic.
<companion_cube>
hmm
<companion_cube>
I think RWO does have some?
<oriba>
who?
<companion_cube>
for the rest, it's mostly acquired experience when you try to use them and burn yourself on the complexity :p
<companion_cube>
real world ocaml
<oriba>
ah ok
koorogi has joined #ocaml
<d_bot>
<Shon F> Roughly this, yes 🙂 I’m using Fira Code ligatures, which are enabled by default when not overridden. But it seems Tuareg disables these ligatures to enforce its own? I’m not sure.
<d_bot>
<Shon F>
<d_bot>
<Shon F> As a fallback, I could manually customize the prettify symbols alist, but I’d prefer if I could just get it to let the Fira Code ligatures do their thing (as they do in, e.g., fundamental mode).
<d_bot>
<Shon F> What’s your own situation? Or are you just trying to assist me?
favonia has joined #ocaml
radiopotin[m] has joined #ocaml
favonia has quit [Ping timeout: 268 seconds]
<d_bot>
<RegularSpatula> Just trying to help...I like emacs problems lol
<d_bot>
<Shon F> Tour question here helps already 🙂 I feel like o have a better sense of where I might look in the Tuareg code.
favonia has joined #ocaml
<d_bot>
<RegularSpatula> Cool...I was also looking through the tuareg elisp code to see if they specified certain font for ligatures and couldn't find it...I did see some stuff about getting the fira code ligatures working with emacs, but it seems easy to get it wrong 🤷 I'm wondering if emacs (or tuareg mode) isn't seeing the fira code ligatures and then falling back to some defaults
<d_bot>
<RegularSpatula> Did you try the fira-code minor mode?
<d_bot>
<Cyclomatic Complexity> hey
<d_bot>
<Cyclomatic Complexity> isn't there a website where you can read docs for opam packages?
<d_bot>
<octachron> https://docs.ocaml.pro ? (for a co-installable subset of opam packages)
<d_bot>
<Cyclomatic Complexity> also, this `dune` file has a name called `inferno`, but I can't see any `inferno.ml` in the folder and there is no `wrapped false` or something
<d_bot>
<Cyclomatic Complexity> Yes! that's it, but don't see `inferno` there, sad
<d_bot>
<octachron> The library entry module is generated by dune if there is no module named `Library` in the library source files.
<d_bot>
<Cyclomatic Complexity> Is this a new behavior?
<d_bot>
<octachron> No.
<d_bot>
<Cyclomatic Complexity> I see, thx
favonia has quit [Ping timeout: 268 seconds]
favonia has joined #ocaml
<d_bot>
<Shon F> The ligatures are working in general (so in other modes), but Tuareg seems to override. Thanks for the Fira-code mode suggestion! It doesn’t work per se, but if I start Tuareg, then disable prettify-symbols, then enable Fira-code mode, i can get it to take effect! This work as a workaround at worst, but also gives a good clue to see how the state is being mutated to override the symbol table in the first place. Thanks!
<d_bot>
<Cyclomatic Complexity> stupid q, how do i create/open a new file on https://coq.vercel.app/ ?
drakonis has quit [Quit: WeeChat 3.1]
drakonis has joined #ocaml
<d_bot>
<RegularSpatula> If you want fira-code-mode to work without having to manually set it try adding this to you emacs init `(add-hook 'tuareg-mode-hook 'fira-code-mode)` .
<d_bot>
<RegularSpatula> Just curious @Shon F ...you're getting something that looks like this with the ligatures right?
<v0idpwn>
is there a way to define a function that receives a module, as `let foo (my_mod : Mod_signature) -> int`? Struggling a bit to understand higher order modules