<d_bot_>
<rgrinberg> We used to. We got rid of it because it caused many problems
qwr has quit [Ping timeout: 244 seconds]
Haudegen has quit [Ping timeout: 245 seconds]
rock64 has quit [Ping timeout: 264 seconds]
rock64 has joined #ocaml
vicfred has joined #ocaml
qwr has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
webshinra_ has joined #ocaml
webshinra has quit [Ping timeout: 246 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
xandkar1 has quit [Quit: xandkar1]
rock64 has quit [Ping timeout: 265 seconds]
rock64 has joined #ocaml
shawnw has quit [Ping timeout: 245 seconds]
webshinra_ has quit [Ping timeout: 260 seconds]
webshinra has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
arecaceae has quit [Remote host closed the connection]
arecaceae has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
mbuf has joined #ocaml
sm2n_ has joined #ocaml
drewolson3 has joined #ocaml
rock64_ has joined #ocaml
osa1_ has joined #ocaml
Exagone314 has joined #ocaml
dmbaturin_ has joined #ocaml
p4bl01 has joined #ocaml
<sleepydog>
so i've been working on generating google cloud API libs from protobuf definitions and i could use some feedback. i find the *Request and *Response messages to be redundant and want to ellide them. but oneof statements make an otherwise simple ellision complicated
waleee-cl has quit [Quit: Connection closed for inactivity]
Geekingfrog_ is now known as Geekingfrog
shawnw has joined #ocaml
raver has quit [Remote host closed the connection]
raver has joined #ocaml
Tuplanolla has joined #ocaml
kafilat_ has joined #ocaml
Haudegen has joined #ocaml
seliopou has joined #ocaml
TheLemonMan has joined #ocaml
ania123 has joined #ocaml
bartholin has joined #ocaml
leah2 has quit [Remote host closed the connection]
leah2 has joined #ocaml
glass is now known as theglass
ania123 has quit [Quit: Connection closed]
hosewiejacke has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
tane has joined #ocaml
kakadu has joined #ocaml
olle has joined #ocaml
richbridger has quit [Remote host closed the connection]
mfp has joined #ocaml
<d_bot_>
<froyo> yo i need the simplest/least deps/no ext deps http client requests library
<d_bot_>
<froyo> no robustness required. it's meant to be a crutch for a little social media bot that runs as a daily cron
<d_bot_>
<froyo> cohttp / httpaf seem to do too much for the job
kakadu has quit [Remote host closed the connection]
ania123 has joined #ocaml
<d_bot_>
<dinosaure> `ocurl` does the job
sgnb`` has joined #ocaml
sgnb`` has quit [Ping timeout: 256 seconds]
<d_bot_>
<froyo> ocurl was one of the options I thought of. If there's nothing that doesn't bind to external stubs then I'll use it
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
shawnw has quit [Ping timeout: 264 seconds]
shawnw has joined #ocaml
kakadu has joined #ocaml
osa1_ is now known as osa1
hosewiejacke has quit [Ping timeout: 245 seconds]
yilin` has joined #ocaml
yilin` has quit [Remote host closed the connection]
xandkar1 has joined #ocaml
<d_bot_>
<Cyclomatic Complexity> I remember some time ago there was a script to cache compiler installs, so that creating a new switch did not imply the feared `make world`
<d_bot_>
<Cyclomatic Complexity> was this ever integrated in opam?
narimiran has quit [Ping timeout: 264 seconds]
noonien3 has joined #ocaml
noonien has quit [Ping timeout: 256 seconds]
noonien3 is now known as noonien
terrorjack has quit [Ping timeout: 260 seconds]
<d_bot_>
<froyo> the other day I tried a local repo switch that derived from my current one, and the compiler wasn't built. so I'm guessing yes?
<d_bot_>
<Cyclomatic Complexity> what's the feature i should look for in opam to do this?
hosewiejacke has joined #ocaml
<d_bot_>
<Cyclomatic Complexity> unrelated:
<d_bot_>
<Cyclomatic Complexity> I'm trying to `opam install` a local vendor, and I get the following error:
<d_bot_>
<Cyclomatic Complexity> Sorry, no solution found: there seems to be a problem with your request.
<d_bot_>
<Cyclomatic Complexity> ```
terrorjack has joined #ocaml
osa1_ has joined #ocaml
osa1 has quit [Ping timeout: 264 seconds]
kafilat_ has quit [Quit: Connection closed for inactivity]
Haudegen has quit [Quit: Bin weg.]
hosewiejacke has quit [Ping timeout: 245 seconds]
hosewiejacke has joined #ocaml
richbridger has joined #ocaml
louisono has joined #ocaml
hosewiejacke has quit [Ping timeout: 276 seconds]
TheLemonMan has joined #ocaml
osa1_ is now known as osa1
zebrag has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 245 seconds]
shawnw has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
narimiran has joined #ocaml
p4bl01 is now known as p4bl0
mxns has joined #ocaml
<companion_cube>
@froyo : curly
ania123 has quit [Quit: Connection closed]
mxns has quit [Ping timeout: 265 seconds]
<d_bot_>
<froyo> nice, I was writing my own raw http requests with Unix lol
louisono has quit [Quit: Connection closed]
<companion_cube>
curly is just calling curl
<companion_cube>
can't get simpler
arecaceae has quit [Remote host closed the connection]
arecaceae has joined #ocaml
hosewiejacke has joined #ocaml
hosewiejacke has quit [Ping timeout: 272 seconds]
Haudegen has quit [Quit: Bin weg.]
kakadu has quit [Remote host closed the connection]
mbuf has quit [Quit: Leaving]
vicfred has joined #ocaml
hosewiejacke has joined #ocaml
<olle>
Sys.call "curl"
xandkar1 has quit [Quit: xandkar1]
<olle>
Obj.magic "curl"
<olle>
type "curl" = Curl
<olle>
sorry, 'a Curl
bartholin has quit [Quit: Leaving]
hosewiejacke has quit [Ping timeout: 245 seconds]
<olle>
'c Url
Haudegen has joined #ocaml
xandkar1 has joined #ocaml
<d_bot_>
<froyo> minimalism!
fosred has joined #ocaml
fosred has quit [Client Quit]
mmohammadi9812 has joined #ocaml
<d_bot_>
<anmonteiro> @HYPHEN shameless self-plug but if you wanna try `opam install piaf`, the API should hopefully be easy to use. It does depend on a few other libraries though
waleee-cl has joined #ocaml
<d_bot_>
<froyo> oh yeah I've come across your library before
<d_bot_>
<froyo> the API is neat I can vouch for that -- I'm trying to torture myself with a minimal set of deps though đź‘€
<d_bot_>
<anmonteiro> yeah, makes sense
<d_bot_>
<anmonteiro> Piaf vendors the big ones, but some others are still required
olle has quit [Ping timeout: 246 seconds]
hosewiejacke has joined #ocaml
hosewiejacke has quit [Quit: Leaving]
olle has joined #ocaml
olle has quit [Ping timeout: 264 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
curtosis has joined #ocaml
narimiran has quit [Ping timeout: 246 seconds]
<d_bot_>
<EduardoRFS> there is any way to have a gadt proof that a type X is present on a heterogenous list? So that I can have a `get list ty` that returns the value, essentially I want to satisfy the following function
<d_bot_>
<EduardoRFS>
<d_bot_>
<EduardoRFS> ```ocaml
<d_bot_>
<EduardoRFS> let get : type v stack. (v, stack) proof_that_present_in_stack -> v ty -> stack -> v = assert false
<d_bot_>
<EduardoRFS> ```
curtosis is now known as curtosis[away]
curtosis[away] has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
mmohammadi9812 has quit [Remote host closed the connection]
mmohammadi9812 has joined #ocaml
<d_bot_>
<EduardoRFS> @octachron but is it possible to have a proof that I have the proof instead?
<d_bot_>
<EduardoRFS> I don't know formal verification stuff, so that may be dumb. The idea is to proof that the function will succeed
<d_bot_>
<octachron> So you cannot prove that a function will succeed in OCaml because there is too many escape hatches (for instance `assert false` ...).
<d_bot_>
<octachron> But the `get n` function on heterogeneous list is already total.
<d_bot_>
<EduardoRFS> yeah, my assumption is, I have this `(b, 'a) is_in_list -> 'b -> 'a` I want to implement this function without `assert(false)`
<d_bot_>
<EduardoRFS> I can use modules to achieve the proof that I want, but then the module implementation will need to include a bunch of `assert(false)`
<d_bot_>
<EduardoRFS> I know that they're not reachable but it would be cool to avoid it