companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.12 released: https://ocaml.org/releases/4.12.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
jtck has joined #ocaml
cedric has quit [Quit: Konversation terminated!]
waleee has quit [Ping timeout: 256 seconds]
richbridger has joined #ocaml
aquijoule_ has quit [Read error: Connection reset by peer]
haesbaert has quit [Ping timeout: 272 seconds]
haesbaert has joined #ocaml
elf_fortrez has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
krnkktz has quit [Remote host closed the connection]
schube[m] has quit [Read error: Connection reset by peer]
brettgilio has quit [Read error: Connection reset by peer]
fluxm has quit [Write error: Connection reset by peer]
labar[m] has quit [Read error: Connection reset by peer]
marinelli[m] has quit [Write error: Connection reset by peer]
smondet[m] has quit [Remote host closed the connection]
inkbottle[m] has quit [Write error: Connection reset by peer]
krnkktz has joined #ocaml
fluxm has joined #ocaml
inkbottle[m] has joined #ocaml
smondet[m] has joined #ocaml
labar[m] has joined #ocaml
brettgilio has joined #ocaml
schube[m] has joined #ocaml
marinelli[m] has joined #ocaml
elf_fortrez has quit [Ping timeout: 246 seconds]
krnkktz has quit [Quit: node-irc says goodbye]
labar[m] has quit [Quit: node-irc says goodbye]
smondet[m] has quit [Quit: node-irc says goodbye]
inkbottle[m] has quit [Quit: node-irc says goodbye]
fluxm has quit [Quit: node-irc says goodbye]
brettgilio has quit [Quit: node-irc says goodbye]
schube[m] has quit [Quit: node-irc says goodbye]
marinelli[m] has quit [Quit: node-irc says goodbye]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
mbuf has joined #ocaml
<d_bot> <theangryepicbanana> not without ppx_show
gravicappa has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
jinsun has joined #ocaml
gravicappa has quit [Ping timeout: 252 seconds]
gravicappa has joined #ocaml
hackinghorn has joined #ocaml
Haudegen has joined #ocaml
krnkktz has joined #ocaml
fluxm has joined #ocaml
smondet[m] has joined #ocaml
labar[m] has joined #ocaml
inkbottle[m] has joined #ocaml
schube[m] has joined #ocaml
brettgilio has joined #ocaml
marinelli[m] has joined #ocaml
labar[m] has quit [Quit: Client limit exceeded: 20000]
smondet[m] has quit [Quit: Client limit exceeded: 20000]
krnkktz has quit [Quit: Client limit exceeded: 20000]
inkbottle[m] has quit [Quit: Client limit exceeded: 20000]
fluxm has quit [Quit: Client limit exceeded: 20000]
brettgilio has quit [Quit: Client limit exceeded: 20000]
schube[m] has quit [Quit: Client limit exceeded: 20000]
marinelli[m] has quit [Quit: Client limit exceeded: 20000]
krnkktz has joined #ocaml
smondet[m] has joined #ocaml
labar[m] has joined #ocaml
fluxm has joined #ocaml
inkbottle[m] has joined #ocaml
brettgilio has joined #ocaml
schube[m] has joined #ocaml
marinelli[m] has joined #ocaml
olle has joined #ocaml
vizard has joined #ocaml
labar[m] has quit [Quit: Client limit exceeded: 20000]
smondet[m] has quit [Quit: Client limit exceeded: 20000]
krnkktz has quit [Quit: Client limit exceeded: 20000]
inkbottle[m] has quit [Quit: Client limit exceeded: 20000]
fluxm has quit [Quit: Client limit exceeded: 20000]
brettgilio has quit [Quit: Client limit exceeded: 20000]
schube[m] has quit [Quit: Client limit exceeded: 20000]
marinelli[m] has quit [Quit: Client limit exceeded: 20000]
krnkktz has joined #ocaml
smondet[m] has joined #ocaml
fluxm has joined #ocaml
inkbottle[m] has joined #ocaml
labar[m] has joined #ocaml
schube[m] has joined #ocaml
brettgilio has joined #ocaml
marinelli[m] has joined #ocaml
smondet[m] has quit [Remote host closed the connection]
krnkktz has quit [Remote host closed the connection]
labar[m] has quit [Remote host closed the connection]
brettgilio has quit [Read error: Connection reset by peer]
inkbottle[m] has quit [Read error: Connection reset by peer]
schube[m] has quit [Remote host closed the connection]
marinelli[m] has quit [Remote host closed the connection]
fluxm has quit [Remote host closed the connection]
krnkktz has joined #ocaml
smondet[m] has joined #ocaml
labar[m] has joined #ocaml
fluxm has joined #ocaml
inkbottle[m] has joined #ocaml
brettgilio has joined #ocaml
schube[m] has joined #ocaml
marinelli[m] has joined #ocaml
berberman_ is now known as berberman
berberman_ has joined #ocaml
berberman has quit [Ping timeout: 256 seconds]
hackinghorn has quit [Quit: Leaving]
olle has quit [Ping timeout: 272 seconds]
favonia has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
favonia has joined #ocaml
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
pieguy128 has quit [Ping timeout: 272 seconds]
pieguy128 has joined #ocaml
cross has quit [Ping timeout: 272 seconds]
waleee has joined #ocaml
cross has joined #ocaml
glassofethanol has joined #ocaml
mbuf has quit [Quit: Leaving]
Haudegen has quit [Quit: Bin weg.]
labar[m] is now known as labor[m]
xenu has quit [Remote host closed the connection]
xenu has joined #ocaml
mbuf has joined #ocaml
Haudegen has joined #ocaml
<d_bot> <thangngoc89> Are there any ocamlformat style other than conventional ? I don't like that it collapse short pattern `match ... switch` .
<dmbaturin> Wait, isn't that behaviour configurable?
<d_bot> <thangngoc89> dmbaturin: I don't even know how to config it. I just have an empty `.ocamlformat` file at root
<smondet[m]> It's all documented in `ocamlformat --help`
<d_bot> <thangngoc89> thank you very much. I looking for the config that keep my `@@` straight.
<d_bot> <thangngoc89> ```
<d_bot> <thangngoc89> @@ short
<d_bot> <thangngoc89> @@ thing
<d_bot> <thangngoc89> ```
<d_bot> <thangngoc89> are collapsed into `@@ short @@ thing`
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
Tuplanolla has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
elf_fortrez has joined #ocaml
elf_fortrez has quit [Quit: Client closed]
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
Haudegen has joined #ocaml
olle has joined #ocaml
favonia has quit [Ping timeout: 256 seconds]
olle has quit [Read error: Connection reset by peer]
favonia has joined #ocaml
glassofethanol has quit [Quit: leaving]
mbuf has quit [Quit: Leaving]
olle has joined #ocaml
bartholin has quit [Quit: Leaving]
jtck has quit [Remote host closed the connection]
motherfsck has quit [Quit: quit]
<d_bot> <psteckler> `ppx_show` derives functions that provide string representations of values. I'm interested in displaying types, not values.
<d_bot> <theangryepicbanana> then I definitely don't think it's possible
<d_bot> <psteckler> It's certainly possible to write such a thing, just wondered if it's been done.
<d_bot> <theangryepicbanana> oh idk
<d_bot> <thangngoc89> @psteckler that isn't how a ppx works. I don't think if it's possible
<d_bot> <psteckler> sure, it's possible ... I've written a similar ppx
<d_bot> <thangngoc89> @psteckler hmm. maybe I'm mistaken something. What do you mean by "displaying types" ?
<d_bot> <thangngoc89> because ppx runs before typecheck so there aren't any types information available
<d_bot> <psteckler> I mean, a string representation of a type, and all the types it depends on. That's just syntactic information, available at ppx expansion time
<d_bot> <thangngoc89> right. I thought you want to query the actual types information from compiler. I think I've seen that somewhere.
<d_bot> <psteckler> where?
<d_bot> <thangngoc89> ppx-something that pluck the actual types from compiler-libs library for ppx-deriving to works on
Absalom_ has joined #ocaml
<Absalom_> Is there a way to get a list of all functions of a module (something like "dir" in Python) from within Ocaml?
<d_bot> <roddy> @Absalom_ For what purpose?
Stumpfenstiel has joined #ocaml
<Absalom_> Something like a "help" without having to open a browser
<d_bot> <NULL> From within, I'd say no, but most editors with either Merlin or OCaml-LSP should give you those lists
<d_bot> <roddy> As in when using utop or similar?
<d_bot> <NULL> utop/the ocaml toplevel is what I considered "within"
<Absalom_> Yes I was thinking at the "repl" in ocaml toplevel
<Absalom_> Not using utop; I merely use some "rlwrap ocaml" setting, but I can switch to utop if it is better.
<d_bot> <NULL> It is better, you've got completion
<Absalom_> Oh, nice, and realine?
<Absalom_> *readline*?
<d_bot> <NULL> readline ? You mean inputs from stdin ? Those behave the same
<d_bot> <roddy> I think in both you can do `#show_module Int` to display a module signature which might be useful
<d_bot> <thangngoc89> `#help` and take a look at the `#show*` stuff
<Absalom_> OK, and completion gives all function if I type something like Big_Int.<Tab>?
<d_bot> <thangngoc89> Yes. pretty much
<d_bot> <NULL> Right, I didn't take `#` instructions into account
<d_bot> <thangngoc89> I don't think you even need to <Tab>
<d_bot> <NULL> Completion works with Alt+Down (a bit unnatural, but eh) and the list of possible completion is always visible (you'll understand)
<Absalom_> I'll give a try, thank you
jtck has joined #ocaml
Absalom_ has quit [Quit: EPIC5-2.1.5[1945] - amnesiac : Bye!]
Serpent7776 has quit [Quit: leaving]
gravicappa has quit [Ping timeout: 258 seconds]
jtck has quit [Remote host closed the connection]
olle has quit [Ping timeout: 268 seconds]
vizard has quit [Ping timeout: 240 seconds]
Corbin has quit [Killed (NickServ (GHOST command used by Corbin_))]
glassofethanol has joined #ocaml
glassofethanol has quit [Quit: leaving]
wilfred has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
Stumpfenstiel has quit [Ping timeout: 268 seconds]
kvik has quit [Ping timeout: 240 seconds]
kvik has joined #ocaml