ollehar has quit [Read error: Connection reset by peer]
leafac has joined #ocaml
ollehar has joined #ocaml
AltGr has joined #ocaml
Denommus` has quit [Ping timeout: 256 seconds]
Algebr has joined #ocaml
<Algebr>
What's the flag to ocamlc so that it doesn't give a warning for "this expression should have type unit".
pyon has joined #ocaml
pyon is now known as inf-gropeoid
thomasga has quit [Quit: Leaving.]
wraithm has quit [Quit: leaving]
<apache2>
in the code you can use 'ignore'
<apache2>
as a keyword
sepp2k has quit [Quit: Leaving.]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
<Algebr>
I knew that one, but I want it from ocamlc as a flag
<Algebr>
and its not a keyword, I believe that's a function
sdothum has joined #ocaml
robink has quit [Ping timeout: 255 seconds]
leafac has quit [Ping timeout: 256 seconds]
robink_ has joined #ocaml
Algebr has quit [Remote host closed the connection]
<Drup>
not sure you can disable that one.
badkins has quit [Read error: Connection reset by peer]
<Drup>
(and that would be a bad idea anyway)
darkf has joined #ocaml
struk|work has quit [Ping timeout: 246 seconds]
hilquias has joined #ocaml
robink_ is now known as robink
adc90 has quit [Read error: Connection reset by peer]
adc90 has joined #ocaml
<struktured>
pure ocaml gzip / bzip2 suggestions, anyone?
<struktured>
or semi pure even
mcclurmc has quit [Remote host closed the connection]
manizzle has quit [Ping timeout: 255 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
GeorgeHahn_ has joined #ocaml
GeorgeHahn has quit [Ping timeout: 264 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mcclurmc has quit [Remote host closed the connection]
wraithm has joined #ocaml
BitPuffin|osx has joined #ocaml
MrScout_ has quit [Remote host closed the connection]
inf-gropeoid is now known as inf-groupoid
ygrek has quit [Ping timeout: 240 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
swgillespie has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 256 seconds]
hilquias` has joined #ocaml
hilquias has quit [Ping timeout: 256 seconds]
keen________ has quit [Read error: Connection reset by peer]
keen________ has joined #ocaml
chambart has quit [Ping timeout: 256 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
jeffmo has quit [Quit: jeffmo]
douglarek has joined #ocaml
Bhavya has joined #ocaml
Algebr has joined #ocaml
<Algebr>
What does the ? mean in this type error, Error: This pattern matches values of type [? `Ok ]
idegen has quit [Quit: Leaving.]
douglarek has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
<struktured>
good question..don't know.. I would guess it means that the pattern matches over a polymorphic variant group, but it doesn't know whether it's close or open.
<struktured>
*closed
ygrek has joined #ocaml
seako has quit [Quit: Connection closed for inactivity]
<Algebr>
its new to me
manizzle has joined #ocaml
Algebr has quit [Ping timeout: 255 seconds]
Bhavya has quit [Ping timeout: 250 seconds]
Bhavya has joined #ocaml
seako has joined #ocaml
wraithm has quit [Quit: leaving]
inf-groupoid is now known as inf-gropeoid
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 264 seconds]
nullcat_ has joined #ocaml
siddharthv_away is now known as siddharthv
mort___ has joined #ocaml
ontologiae_ has joined #ocaml
djellemah has quit [Read error: Connection reset by peer]
ontologiae_ has quit [Ping timeout: 276 seconds]
mengu has joined #ocaml
hilquias` has quit [Ping timeout: 258 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Simn has joined #ocaml
arj has joined #ocaml
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mort___ has left #ocaml [#ocaml]
<Leonidas>
struktured: i am actually planning to do this
<Leonidas>
just my motivation evaporated at the end of the day
<Leonidas>
but i got the rfcs on my desk
t4nk233 has joined #ocaml
t4nk233 has quit [Client Quit]
mengu has quit [Ping timeout: 264 seconds]
jonludlam has joined #ocaml
<vbmithr_>
j0sh: Ok I'm on it :)
<reynir>
oh hi vbmithr_ :)
<vbmithr_>
reynir: hi
octachron has joined #ocaml
ia0 has quit [Quit: leaving]
ia0 has joined #ocaml
<companion_cube>
yminsky: did you benchmark flambda on your codebase?
<struktured>
Leonidas: doing a pure ocaml compression lib? coo!
<struktured>
*cool
<struktured>
hi vbmithr_
<companion_cube>
there's "dinosaure" on github, making a deflate implementation
<ollehar>
what's really the good thing about algebraic effects? feels like I'm missing the point.
m__ has joined #ocaml
sdothum has joined #ocaml
<rom1504>
ollehar: what's an "algebraic effect" ?
<ollehar>
like in eff language
<m__>
I asked this question yesterday, but I was disconnected and I don't know if anyone answered.
<m__>
How can I compile an ocaml code with the older version of libcrypto?
<theblatte>
compile on a machine with the older version of libcrypto installed? :/
<m__>
:|
<m__>
thinking of possibility of installing older verson of dev library, and using any ocamlbuild command line parameter to link the older version
<m__>
if that exists
<theblatte>
you can always prepend LD_LIBRARY_PATH=/where/the/old/lib/is but I wonder if the old libcrypto will still link against everything else that's changed in your system (eg, newer libc)
remyzorg_ has joined #ocaml
<theblatte>
m__: you can check with "ldd oldlibcrypto.so"
<theblatte>
see if it resolves all the links
AltGr has left #ocaml [#ocaml]
<apache2>
usually libc has several symbol versions
<apache2>
so it's pretty backwards compatible since abi changes are handled by having several symbol versions available
<apache2>
other libraries ... not so much :(
hay207 has quit [Ping timeout: 250 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
m__ has quit [Ping timeout: 246 seconds]
mengu has joined #ocaml
bernardo1pc is now known as bernardofpc
oscar_toro has quit [Ping timeout: 255 seconds]
c74d has quit [Remote host closed the connection]
freling has quit [Quit: Leaving.]
c74d has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
Gama11 has joined #ocaml
mengu has quit []
thomasga has quit [Quit: Leaving.]
Kakadu has quit [Quit: Page closed]
_andre has joined #ocaml
TheLemonMan has joined #ocaml
psy__ has quit [Ping timeout: 256 seconds]
Haudegen has quit [Ping timeout: 265 seconds]
remyzorg_ has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
freling has joined #ocaml
wildsebastian has quit [Remote host closed the connection]
<companion_cube>
ollehar: eff also has effects in types
<companion_cube>
in OCaml, the effect system in multicore would be useful to implement control structures, as they basically provide access to (delimited) continuations
leafac has joined #ocaml
contempt has quit [Ping timeout: 255 seconds]
Kakadu has joined #ocaml
contempt has joined #ocaml
<ollehar>
hm hm
<companion_cube>
you can recode stuff like exceptions, basically
<companion_cube>
or do something else than propagating errors
<apache2>
can you get warnings for unhandled exceptions?
<ollehar>
why would I want to propagate input/output??
<ollehar>
or database access
chambart has joined #ocaml
<companion_cube>
well, in this case, effects are useful for making coroutines, which is arguably useful
<companion_cube>
they might be useful for non-blocking IO, too
<companion_cube>
(the way haskell does(
Unhammer has quit [Ping timeout: 256 seconds]
badkins has joined #ocaml
freling has quit [Quit: Leaving.]
psy_ has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
freling has joined #ocaml
Algebr has joined #ocaml
Unhammer has joined #ocaml
badkins has quit []
fraggle-boate has joined #ocaml
arj has quit [Quit: Leaving.]
oscar_toro has joined #ocaml
idegen has joined #ocaml
freling has quit [Quit: Leaving.]
badkins has joined #ocaml
BitPuffin|osx has joined #ocaml
<ousado>
companion_cube: where can iread about the effects system?
Haudegen has quit [Remote host closed the connection]
<ousado>
hm.. now that's quite elegant
Haudegen has joined #ocaml
<flux>
nice how GADTs and the exception pattern matching syntax play together in this
Haudegen has quit [Ping timeout: 265 seconds]
freling has joined #ocaml
<companion_cube>
even if multicore doesn't make it in 4.03, it would be nice to have this piece of the work merged
<Drup>
no, you don't want that
<Drup>
this is built for the multicore, you want everything to be in place to be sure that everything goes well with the rest, you don't want to merge half a feature to realize that "oops, we need to change it"
<adrien_znc>
that's why you mark it as experimental :P
<adrien_znc>
it's also good to have more feedback and testing
<adrien_znc>
plus
<adrien_znc>
it gives time to updates libraries
<flux>
I wonder if the multicore code is mature enough for that to be useful right now?
<flux>
though I think it doesn't yet support native compiling?
<Drup>
adrien "mark it as experimental", yeah, we know how well that actually works
<flux>
it can work
<flux>
just produce a warning every time it's used
<flux>
a warning that cannot be removed :-)
<thizanne>
yeah that definitely sounds like not a bad idea
<flux>
but I don't see why eager ones couldn't just try the multicore branch right now, even if they didn't really push pressure to the multicore-part..
quaranterieur is now known as postulance
Haudegen has joined #ocaml
<adrien_znc>
Drup: ppx :)
<Drup>
that is exactly my point, yes
<adrien_znc>
flux: because it's still quite annoying to have several setups in parallel
<Drup>
adrien_znc: no it's not ?
<Drup>
it's trivial if you use opam
<adrien_znc>
I didn't say it wasn't easy, I said it was annoying
<Drup>
no it's not :|
<adrien_znc>
when you have one option, it's ok
<adrien_znc>
then you need the union of two options
<Drup>
well, you do the setup once with a custom compiler switch and you are done
ollehar has quit [Remote host closed the connection]
<struktured>
companion_cube: does containers.data have some sort of conditional install bit to it?
ingsoc has quit [Ping timeout: 252 seconds]
freling has quit [Quit: Leaving.]
hilquias has joined #ocaml
darkf has quit [Quit: Leaving]
<companion_cube>
struktured: no
<companion_cube>
it's installed by default
<struktured>
weird, I wrote this script thingy which auto installs opam et al. then install containers, and for some reason containers.data is missing when I run it from this redhat box. I'll double check some things..
<struktured>
companion_cube: oh dear lord it's trying to use version 0.6.1 on this box, wonder what silly dependency degradation occurred...
kushal has quit [Ping timeout: 265 seconds]
<companion_cube>
strange
<companion_cube>
do you have ascpud? :D
<struktured>
ah...damn I glossed over that step
<companion_cube>
I mean, that might be poor dependency resolution
<struktured>
yeah works great on my ubuntu box, which does have it
<struktured>
I can probably bootstrap it in there, for redhat at least. solaris..who knows
keen________ has quit [Read error: Connection reset by peer]
keen________ has joined #ocaml
<Algebr>
Drup: do you know what this means? What does the ? mean in this type error, Error: This pattern matches values of type [? `Ok ]
chambart has joined #ocaml
Denommus has joined #ocaml
<struktured>
ok I give up compiling aspcud, wgetting the binaries for this one..
badkins has quit [Ping timeout: 244 seconds]
freling has joined #ocaml
<octachron>
Algebr: Do you have any code example? Looking at the compiler tests that raise the same error, the "?" seems to indicate that the closed/open information is not important (or not available?)
A1977494 has joined #ocaml
MrScout has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
<Algebr>
I have to get it again but it was related to async's Reader's return of `Ok | `Eof s
badon_ is now known as badon
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
slash^ has joined #ocaml
<struktured>
octachron: yeah thought same thing, but I wonder which of the two it is..
<companion_cube>
hmmm, mirageOS on bare metal using some sort of minikernel
octachron has quit [Quit: Leaving]
badkins has joined #ocaml
kdef has joined #ocaml
freling has quit [Quit: Leaving.]
MrScout has quit [Ping timeout: 256 seconds]
luigy has joined #ocaml
freling has joined #ocaml
freling has quit [Client Quit]
jeffmo has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
The_Mad_Pirate has quit [Quit: Konversation terminated!]
jeffmo has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
Anarchos has joined #ocaml
adc90 has quit [Read error: Connection reset by peer]
adc90 has joined #ocaml
A1977494 has left #ocaml [#ocaml]
shinnya has joined #ocaml
Denommus` has joined #ocaml
nullcat_ has joined #ocaml
Denommus has quit [Ping timeout: 264 seconds]
Pepe_ has quit [Ping timeout: 272 seconds]
Pepe_ has joined #ocaml
slash^ has quit [Quit: Leaving.]
slash^ has joined #ocaml
rossberg_ has quit [Remote host closed the connection]
rossberg has joined #ocaml
hilquias has quit [Remote host closed the connection]
jwatzman|work has quit [Quit: jwatzman|work]
Denommus` is now known as Denommus
ygrek has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
Algebr has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 265 seconds]
ygrek_ has quit [Ping timeout: 256 seconds]
mort___ has quit [Ping timeout: 255 seconds]
ygrek has joined #ocaml
struktured has quit [Remote host closed the connection]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
struktured has joined #ocaml
hay207 has joined #ocaml
Pepe_ has quit [Ping timeout: 245 seconds]
MrScout has joined #ocaml
nullcat has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
Snark has quit [Ping timeout: 255 seconds]
Snark has joined #ocaml
mort___ has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
Denommus` has joined #ocaml
Kakadu has quit [Quit: Page closed]
Denommus has quit [Ping timeout: 258 seconds]
ggole has quit [Ping timeout: 276 seconds]
Denommus` is now known as Denommus
hugomg has joined #ocaml
matason has quit []
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mort___ has quit [Quit: Leaving.]
nullcat has joined #ocaml
swgillespie has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
slash^1 has joined #ocaml
shinnya has joined #ocaml
slash^ has quit [Ping timeout: 252 seconds]
hilquias has joined #ocaml
slash^ has joined #ocaml
slash^1 has quit [Ping timeout: 252 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
kushal has joined #ocaml
Kakadu has joined #ocaml
Anarchos has quit [Remote host closed the connection]
Anarchos has joined #ocaml
<nullcat>
anyone knows how to generate random bytes in Mirage?