mengu has quit [Remote host closed the connection]
whisperedcigar has quit [Ping timeout: 240 seconds]
maattdd has quit [Ping timeout: 246 seconds]
whisperedcigar has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
spew has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
jmiven has quit [Ping timeout: 260 seconds]
cbot has joined #ocaml
orbifx has quit [Ping timeout: 258 seconds]
yomimono has quit [Ping timeout: 268 seconds]
snhmib has quit [Quit: WeeChat 1.6]
spew has quit [Quit: foobar]
FreeBirdLjj has joined #ocaml
philtor has quit [Ping timeout: 258 seconds]
trapz has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
silver has quit [Quit: rakede]
trapz has quit [Quit: trapz]
philtor has joined #ocaml
FreeBirdLjj has joined #ocaml
jimt_ has joined #ocaml
jimt has quit [Ping timeout: 240 seconds]
jimt_ is now known as jimt
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
trapz has joined #ocaml
rawra has quit [Quit: Connection closed for inactivity]
<rgrinberg>
companion_cube: zipperposition doesn't even build at all
<rgrinberg>
Nvm, I need to pin containers :P
<rgrinberg>
OK now it says there's a missing Formula module. I don't see it defined anywhere
wtetzner has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
zv has quit [Quit: WeeChat 1.6]
trapz has quit [Quit: trapz]
wtetzner has joined #ocaml
spew has joined #ocaml
pwzoii has quit [Ping timeout: 240 seconds]
pwzoii has joined #ocaml
IRCFrEAK has joined #ocaml
IRCFrEAK has quit [K-Lined]
wtetzner has quit [Remote host closed the connection]
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
FreeBird_ has quit [Remote host closed the connection]
manizzle has joined #ocaml
troydm has quit [Ping timeout: 240 seconds]
spew has quit [Quit: foobar]
<shon_>
Ocsigen website is down. I hate it when I'm trying to get psyched up to learn a new framework and their server is down. It's a real knock to the confidence :?
<sgronblo>
shon_: It doesn't do a good job of getting you psyched up when it's running either though :)
<shon_>
Burn!
<shon_>
sgronblo: Are you referring to the graphic design, or the experience of actually running and setting up an ocsigen server?
<sgronblo>
The web site design feels kinda outdated to me
<sgronblo>
I haven't tried using ocsigen though
<sgronblo>
It's not as bad as many other OCaml related web sites though, the bar is set very low in the Ocaml community.
<shon_>
yeah, I totally agree!
<shon_>
I was just musing on a related thought: syntactically speaking, OCaml/SML are a lot uglier than a lot of other languages in the type-theoretic FP space.
<shon_>
But I find I really prefer writing and thinking in it any how...
<sgronblo>
syntactically there are a few warts but I dont think its bad enough that we need reasonML :)
<shon_>
Agree... I've only skimmed over reason, but it doesn't offer much that I find appealing.
<shon_>
I suspect that a lot of the parts of the langauge that at first appear to be blemishes, actually play an important part in making it so lovely to program in.
<shon_>
That doesn't relate very well to "bad" or outdated web design, however, I don't really care if the people who design and maintain my programming langauge of choice are also good at graphic design.
<sgronblo>
I know it's a bit superficial
<shon_>
Ooh. nice neon lime on that manual :D
<sgronblo>
hehe, love it
<shon_>
Wow that is intense.
copy` has quit [Quit: Connection closed for inactivity]
<shon_>
Don't get me wrong, I think surface stuff is also important, and I really do appreciate nice design. But remaining consistent and functional for a long time is a beautiful thing too.
clog has quit [Ping timeout: 258 seconds]
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 260 seconds]
cbot_ has quit [Quit: Leaving]
octachron has joined #ocaml
unbalancedparen has joined #ocaml
MercurialAlchemi has joined #ocaml
unbalancedparen has quit [Quit: WeeChat 1.7]
unbalancedparen has joined #ocaml
FreeBirdLjj has joined #ocaml
rpg_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
wu_ng has joined #ocaml
unbalancedparen has quit [Quit: WeeChat 1.7]
jao has quit [Ping timeout: 258 seconds]
psacrifice has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
MercurialAlchemi has quit [Ping timeout: 258 seconds]
BitPuffin|osx has quit [Ping timeout: 260 seconds]
govg_ has quit [Ping timeout: 240 seconds]
jabroney has quit [Quit: Leaving.]
govg has joined #ocaml
clog has joined #ocaml
MercurialAlchemi has joined #ocaml
govg has quit [Ping timeout: 264 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
whisperedcigar has quit [Ping timeout: 240 seconds]
whisperedcigar has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
alfredo has joined #ocaml
argent_smith has joined #ocaml
<companion_cube>
rgrinberg: it's all happening on the `dev` branch
<companion_cube>
(which has changed a lot since `Formula` was there! :D)
Simn has joined #ocaml
jnavila has joined #ocaml
sgronblo has quit [Ping timeout: 264 seconds]
whisperedcigar has joined #ocaml
psacrifice has quit [Ping timeout: 260 seconds]
sgronblo has joined #ocaml
psacrifice has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
govg has joined #ocaml
snhmib has joined #ocaml
larhat has joined #ocaml
maattdd has joined #ocaml
FreeBirdLjj has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
freusque has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mengu has joined #ocaml
maattdd_ has joined #ocaml
maattdd has quit [Ping timeout: 268 seconds]
alfredo has quit [Remote host closed the connection]
mrvn has left #ocaml [#ocaml]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mpenet has joined #ocaml
sgronblo has quit [Ping timeout: 258 seconds]
alfredo has joined #ocaml
sgronblo has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
wu_ng has quit [Ping timeout: 240 seconds]
jnavila has quit [Ping timeout: 260 seconds]
alfredo has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
silver has joined #ocaml
whisperedcigar has joined #ocaml
maattdd_ has quit [Read error: Connection reset by peer]
trapz has joined #ocaml
trapz has quit [Quit: trapz]
trapz has joined #ocaml
trapz has quit [Client Quit]
snowcrshd has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
sgronblo has quit [Ping timeout: 256 seconds]
psacrifice has quit []
rpg has joined #ocaml
ryanartecona has joined #ocaml
trapz has joined #ocaml
trapz has quit [Quit: trapz]
sepp2k has joined #ocaml
larhat has quit [Quit: Leaving.]
spew has joined #ocaml
trapz has joined #ocaml
freusque has quit [Ping timeout: 258 seconds]
agarwal1975 has quit [Quit: agarwal1975]
sgronblo has joined #ocaml
sgronblo has quit [Ping timeout: 246 seconds]
freusque has joined #ocaml
whisperedcigar has joined #ocaml
jnavila has quit [Remote host closed the connection]
jnavila has joined #ocaml
jlongster has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
sgronblo has joined #ocaml
voglerr has joined #ocaml
_andre has joined #ocaml
agarwal1975 has joined #ocaml
mengu has quit [Remote host closed the connection]
jabroney has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 256 seconds]
sh0t has joined #ocaml
trapz has quit [Quit: trapz]
sh0t has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
al-damiri has joined #ocaml
mpenet has left #ocaml ["ERC (IRC client for Emacs 26.0.50.2)"]
zaquest has quit [Read error: Connection reset by peer]
zaquest has joined #ocaml
mengu has joined #ocaml
murmour has joined #ocaml
voglerr has quit []
whisperedcigar has joined #ocaml
TheLemonMan has joined #ocaml
trapz has joined #ocaml
TheLemonMan has quit [Client Quit]
mrvn has joined #ocaml
<mrvn>
can an exception handler in ocaml throw an exception and what happens then?
<companion_cube>
well, it's like raising an exception anywhere else
<companion_cube>
except the stacktraces are combined
<mrvn>
so the code where the exception happended gets the exception and can catch it?
<mrvn>
s/where the exception/where the signal/
<companion_cube>
wait, exceptions or signals?
<mrvn>
both
<companion_cube>
totally not the same thing :D
<companion_cube>
exception in exception handler is not hard
<companion_cube>
exception within signal handler, I don't know, it's probably tricky
<mrvn>
oh i see. let me start again.
<mrvn>
can a signal handler in ocaml throw an exception and what happens then?
<mrvn>
(sorry)
<shon_>
iiuc, when we have `try f with E1 -> raise E2` then whenever calling f raises E1, that will be handled, and E2 will be raised instead. E2 will either be handled somewhere else, or raise to the top and cause a failure.
<mami>
it throws the same error when is say "opam install nocrypto" and "opam install nocrypto.0.5.4"
<octachron>
mami, you probably need to unpin ("opam pin remove ocaml-nocrypto") the package
tobast has quit [Changing host]
tobast has joined #ocaml
<zozozo>
mrvn: : afaik throwing exceptions in signal handlers in ocaml works, it's how I implement timeouts (using Unix.itimer and razising an exception in the signal handler)
<mami>
octachron: hmm, after unpinning i get this " - No package matches nocrypto.
<mami>
if i do "opam search nocrypto" i get a result though. i am on 4.04.0 and pinned it because there were some compile errors after the update of sexplib.
BitPuffin|osx has joined #ocaml
<mami>
pinned sexplib to "113.33.0" but then some ppx packages started having compile errors.
<mami>
mysterious.
<mrvn>
is there support for monotonic timers?
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
MercurialAlchemi has quit [Ping timeout: 258 seconds]
cbot has joined #ocaml
<companion_cube>
oclock or ptime, I think
<mrvn>
oclock looks right. Probably should be in stdlib I think.
<octachron>
mami, installing nocrypto on 4.04.0 works for me; have you checked that your opam repository is up to date?
<mami>
octachron: yep, did opam update. just now even reinstalled the whole switch, but obviously turning it off and on again does not help in ocaml (which i expected, but hoped otherwise).
<companion_cube>
mrvn: depends on unix I think
<companion_cube>
so, meh :D
<companion_cube>
(otherwise oclock is very nice)
<mami>
what would be another way to reset a switch?
jmiven has joined #ocaml
<mami>
do a fresh opam init?
<mrvn>
companion_cube: no monotonic clock for windows?
<companion_cube>
no idea
<companion_cube>
but more thinking about mirage, jsoo, etc.
<mrvn>
mirage just has to add a driver for it.
<mrvn>
My goal is to have Unix.sleep and Unix.select handle EINTR internally and honor the timeout correctly.
<mrvn>
and Unix.sleepf. Anything else in ocaml to wait for a given time?
<companion_cube>
Thread.sleep
<mrvn>
I think that just calls Unix.sleep
<mrvn>
Thread.delay it's called by the way.
<mrvn>
Thread.wait_timed_read/write though need this too
<companion_cube>
ah yes
<def`>
mrvn: yes, it would be nice to have a better Unix.select
th5 has joined #ocaml
<def`>
(not necessarily handling the EINTR, that's not necessarily a feature, but updating the timeout)
ryanartecona has quit [Quit: ryanartecona]
<def`>
"necessarily"... sorry :)
<mrvn>
What does really_input do when a signal hits?