FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
inr has joined #ocaml
igoroliveira has quit [Quit: Connection closed for inactivity]
badon has joined #ocaml
nojb has joined #ocaml
igoroliveira has joined #ocaml
raphaelss has joined #ocaml
aphprentice has quit [Quit: Connection closed for inactivity]
sz0 has quit [Quit: Connection closed for inactivity]
badon has quit [Quit: Leaving]
jeffmo has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
ncthom91 has joined #ocaml
nojb has quit [Ping timeout: 250 seconds]
NingaLeaf has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
badon has joined #ocaml
jeffmo has quit [Ping timeout: 260 seconds]
zv has quit [Quit: Lost terminal]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
raphaelss has quit [Ping timeout: 245 seconds]
systmkor has quit [Ping timeout: 260 seconds]
mac10688 has quit [Ping timeout: 250 seconds]
ncthom91 has joined #ocaml
ncthom91 has quit [Ping timeout: 245 seconds]
f[x] has quit [Ping timeout: 245 seconds]
manizzle has joined #ocaml
struk|desk has joined #ocaml
18VAADQYW has quit [Quit: Leaving]
psy_ has joined #ocaml
MercurialAlchemi has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
darkf has joined #ocaml
wolfcore has joined #ocaml
wolfcore is now known as Guest92932
MercurialAlchemi has quit [Ping timeout: 245 seconds]
psy_ has quit [Ping timeout: 246 seconds]
f[x] has joined #ocaml
antkong has quit [Quit: antkong]
JacobEdelman has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
damason has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
igoroliveira has quit [Quit: Connection closed for inactivity]
Guest92932 has quit [Ping timeout: 250 seconds]
trix has joined #ocaml
trix is now known as Guest53187
<artart78>
hell, I reinstalled z3 through opam using a pinned version tagged version (I used master before, but it was crashing), and now when compiling a program using it, I get: /usr/bin/ld: cannot find -lz3
nojb has joined #ocaml
<artart78>
(using ocamlbuild)
<artart78>
with CAML_LD_LIBRARY_PATH = /home/artart78/.opam/system/lib/stublibs:/usr/lib/ocaml/stublibs and libz3.so being in ~/.opam/system/lib/stublibs
<artart78>
any idea?
cody` has quit [Quit: Connection closed for inactivity]
arquebus has joined #ocaml
Algebr` has joined #ocaml
supercircle4 has joined #ocaml
<artart78>
ok, I just copied libz3.so into ~/.opam/system/lib/Z3, quite hacky but well
ely-se_ has joined #ocaml
struk|desk has quit [Ping timeout: 250 seconds]
Simn has joined #ocaml
arquebus has quit [Quit: konversation disconnects]
struk|desk has joined #ocaml
f[x] has quit [Ping timeout: 260 seconds]
mort___ has joined #ocaml
mort___ has left #ocaml [#ocaml]
supercircle4 has quit [Quit: Sleep]
morolin_ has joined #ocaml
morolin has quit [Ping timeout: 245 seconds]
ismaelga has joined #ocaml
<ismaelga>
Hello. Can someone point me to the docs about >>= operator? I simply can't find it
<companion_cube>
it depends on the module you're using
<companion_cube>
>>= is usually a "monad" operator, but it has instances dedicated to lists, options, futures....
<freehck>
bf2: required argument PLATFORM is missing
<freehck>
Usage: bf2 buildpkg [OPTION]... PKGNAME VERSION PLATFORM
<freehck>
cool :/
<freehck>
It seems to be a bug, isn't it?
<flux>
bug that it doesn't say required argument PKGNAME is missing?
<freehck>
flux: yep
<flux>
I think the problem is that it only says one error message at a time, and another perhaps unintuitive feature is that the order isn't left-to-right
<flux>
the best solution would fix both :)
crocket has left #ocaml ["Leaving"]
BitPuffin has joined #ocaml
freehck` has joined #ocaml
<freehck`>
flux: I suppose the problem is in intertal command matching. I see that I can access subcommand arguments enumerating them from 0. Cmdliner sees that The 3rd parameter of command has been missed. And reported that there's not the 3rd parameter of SUBcommand.
antkong has joined #ocaml
moei has quit [Quit: Leaving...]
ismaelga has quit [Remote host closed the connection]
freehck has quit [Ping timeout: 245 seconds]
ely-se has joined #ocaml
moei has joined #ocaml
<freehck`>
Okay, I've sent it to github.
freehck` is now known as freehck
<artart78>
Drup: yeah, I used this one, but after updating I had issues because Z3's master probably has a bug right, so I cloned Z3's repo at the latest tag and used the same opam file as here (I put it in the git directory and did 'opam pin add Z3 .') but now for some reason I need some "hacks" for it to work
<flux>
I reaally should try ocapic, I have the chips
<Drup>
Leonidas: ocapic uses ocamlrun
<artart78>
right, that's what I guessed, thanks
<Drup>
and it runs the bytecode
<Leonidas>
looks like the Cortex M4 is ARMv7
<Leonidas>
so this raspi-boot-thing from dbunzli could totally be ported over with small changes
<Leonidas>
this is amazing!
<Drup>
artart78: are you using Z3overlay too ?
dsheets has joined #ocaml
<artart78>
Drup: nope, I didn't really see the use at first and was afraid that it could be non-trivial to install / not up to date / not complete, but maybe I was wrong?
zpe has quit [Remote host closed the connection]
<artart78>
seems nice to have typechecking for formulas though, although I got only one of these errors ;p
<Drup>
once you have installed Z3, everything else is trivial to install
<Leonidas>
Drup: kinda amusing that the ocaml bytecode turned out to be useful for porting ocaml to exotic platforms :)
<Drup>
it isn't really, but yes =)
<Drup>
(I mean, it's not surprising, but yes, it's amusing :p)
<flux>
but that's a big part of the reason why bytecode exists :)
yomimono has quit [Ping timeout: 260 seconds]
antkong has quit [Quit: antkong]
NingaLeaf has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<Leonidas>
how portable is ocaml bytecode? because Python bytecode isn't.
<flux>
I think it has its issues.. at least 32/64 bit, not sure about endianess.
dsheets has quit [Ping timeout: 260 seconds]
<Drup>
there are options to ensure that code compiled on 64 bit plateforms is ok for 32 bits ones
<Drup>
endianess, I don't know
ismaelga has quit [Remote host closed the connection]
<pierpa>
Leonidas: even if it would need a GC written in a lower level language, it wouldn't mean it's not written in Ocaml. If so, then currently there would be no program written in Ocaml, as the current runtime has parts written in C and assembly.
ismaelga has joined #ocaml
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 264 seconds]
ir2ivps4 has joined #ocaml
ely-se has quit [Quit: leaving]
Sim_n has quit [Ping timeout: 264 seconds]
<Leonidas>
pierpa: yes, sure, if you would port the minimally required runtime on bare bones hardware, then you could write most of your kernel in OCaml.
Bahman has joined #ocaml
<flux>
wish mirage supported KVM. and VirtualBox.
cody` has joined #ocaml
struk|desk has quit [Remote host closed the connection]
NingaLeaf has joined #ocaml
NingaLeaf has quit [Client Quit]
<Leonidas>
yes. or xen supported armv6.
Sim_n has joined #ocaml
ely-se has joined #ocaml
ismaelga has quit [Remote host closed the connection]
<freehck>
Could somebody provide me with an example of using cmdliner for numerous options that are common for subcommands?
<freehck>
The "darcs_ex.ml" example uses only 3 options and it seems to not work when I need 100+ of them.
<freehck>
Well, it would work, but it is quite difficult to describe all the options this way.
<freehck>
Maybe I missed some sense of course.
<edwin>
freehck: I build a record with the common options
ncthom91 has joined #ocaml
<edwin>
ah looks like mine is same as darcs
<edwin>
if you have 100+ options maybe using a configuration file would be better than command-line
jeffmo has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
<freehck>
edwin: The idea was to give user an ability to redefine options by fly. I mean that firstly config file is readed and all the configuration options are defined. And then you can use option, f.e. --log-level=high, in order to redefine the value of configuration parameter log-level.
<edwin>
maybe generate a map or hashtbl instead of a record then
<freehck>
Hm...
<freehck>
It's an idea!
<edwin>
if you have your config file in a map you could then merge the map from cmdline with that map
<freehck>
But I still don't understand how to define a term for such purpose.
<freehck>
hm... Now I've got some view of the solution. I'll try to solve. Thank you, edwin.
<edwin>
can you pass a list with cmdliner?
<freehck>
Specifically what I'm trying to do right now.
hnrgrgr has quit [Ping timeout: 260 seconds]
<edwin>
I think you'd have to define just one Term.const for each config item
<edwin>
that updates your map
<freehck>
edwin: Term.const?
<freehck>
What is it?
ely-se has quit [Quit: leaving]
<freehck>
Aaah, Term.pure...
<edwin>
problem might be that in the end term wants a function to invoke with your 100+ args
psy_ has joined #ocaml
<freehck>
edwin: I see the solution this way:
<freehck>
let param1 = Arg.(...) in let param2 = Arg.(...) in
<freehck>
Term.(pure apply_param_opts $ pure params)
<freehck>
let params = [("param1", param1); ("param2", param2)] in
<freehck>
So I can define a function which needs only 1 argument.
<edwin>
ok and will the function get the evaluated term?
<freehck>
I suppose so.
<freehck>
I need to try it. I don't really understand how terms are evaluated.
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
NingaLeaf has joined #ocaml
hnrgrgr has joined #ocaml
ismaelga has joined #ocaml
zpe has joined #ocaml
JacobEdelman has joined #ocaml
Bahman_ has joined #ocaml
Bahman has quit [Ping timeout: 246 seconds]
NingaLeaf has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Sim_n is now known as Simn
Bahman_ has quit [Quit: Ave atque vale]
psy_ has quit [Ping timeout: 260 seconds]
ncthom91 has joined #ocaml
slash^ has joined #ocaml
NingaLeaf has joined #ocaml
hcarty has joined #ocaml
<Drup>
freehck: You can compute the terms programatically from your map, I think it's your best option
<Drup>
(I would argue, however, that if you have 100 options in your CLI, your CLI may need redesign)
<freehck>
Drup: say it to gcc project developers! :)
<freehck>
Drup: well, could you give me an example of such kind of map?
<Drup>
freehck: Oh, but in gcc those are options
<Drup>
not verbs
<Drup>
I meant verbs
<Drup>
(like in the darcs commands, those are verbs)
systmkor has joined #ocaml
zpe has quit [Remote host closed the connection]
<freehck>
"19:20 <Drup> (I would argue, however, that if you have 100 VERBS in your CLI, your CLI may need redesign)" ???
<freehck>
Well, I have specifically options.
MercurialAlchemi has joined #ocaml
<Drup>
freehck: anyway, it seems to me the complexity of having 100 options in cmdliner is more in the "100 options" than in the "cmdliner"
<Drup>
do you have a structure for your options ?
manizzle has quit [Ping timeout: 246 seconds]
<freehck>
Drup: No. But I have a hashtbl.t with user params which could be set with these options.
<Drup>
the other option being a big record
<companion_cube>
sounds like Arg would work :p
dch has joined #ocaml
<Drup>
companion_cube: tbh, at this point, it doesn't make a difference, if you have no structure for your options, it's going to be a big list of things ...
kolko has quit [Ping timeout: 250 seconds]
<companion_cube>
yeah, it's just easier with Arg and dirty mutability everywhere, I think
freehck has quit [Remote host closed the connection]
<edwin>
cmdliner is nice if you want the manpages, although with 100 options you probably won't write more than a short description of each
f[x] has joined #ocaml
<Drup>
companion_cube: the dirty mutability solution works fine in cmdliner, though :p
sepp2k has quit [Ping timeout: 260 seconds]
<Drup>
it makes the cmdliner version pretty similar in term of code, just with documentation in it.
<edwin>
if you have so many options and can't get cmdliner to do what you want, perhaps you could generate the .ml file from another .ml file. not sure if you'll hit some limits in cmdliner or the ocaml runtime that way
<adrien>
"The plan is to have a feature freeze in December, and some form of beta/release candidate some weeks later, so that people can test and report issues before a release in early 2016."
tane has quit [Ping timeout: 246 seconds]
NingaLeaf has joined #ocaml
tane has joined #ocaml
dsheets has quit [Ping timeout: 260 seconds]
<flux>
hmm, "Protect Unix.sleep against interruptions by handled signals. Before, a handled signal could cause Unix.sleep to return early. Now, the sleep is restarted until the given time is elapsed.", surely this should be user-selectable? or better use Unix.select I suppose.
<flux>
but I wonder if that might break some code.
<adrien>
that goes against spec =/
<adrien>
but what's really missing: pushing people towards the clock_* API
<flux>
the what now?-)
<adrien>
clock_gettime, clock_nanosleep, ...
<flux>
ah you mean the posix (?) api
Anarchos has joined #ocaml
<flux>
but they don't come with ocaml
<adrien>
you can chose the clock and they make it easy to deal with interruptions by signals
Anarchos is now known as Guest56220
<flux>
there seems to be oclock and posix-clock in opam. and also mtime.
jeffmo has quit [Quit: jeffmo]
<adrien>
yeah, I wish the Unix' documentation would mention that
<adrien>
I think extunix has them too
<edwin>
internally that commit uses nanosleep if available
<adrien>
:)
BitPuffin has quit [Ping timeout: 250 seconds]
<adrien>
but some of that should be exposed to the user
<adrien>
sleep() is deeply flawed
<adrien>
whatever Unix.sleep does can only paper over that =/
Guest56220 is now known as Anarchos1
jeffmo has joined #ocaml
ontologiae_ has joined #ocaml
NingaLeaf has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ontologiae_ has quit [Ping timeout: 246 seconds]
raphaelss has quit [Ping timeout: 245 seconds]
hcarty1 has joined #ocaml
orbifx has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
mfp has joined #ocaml
hcarty1 is now known as hcarty
hcarty has quit [Quit: WeeChat 1.3]
fraggle_ has joined #ocaml
ismaelga has joined #ocaml
f[x] has quit [Ping timeout: 245 seconds]
antkong has joined #ocaml
mac10688 has joined #ocaml
raphaelss has joined #ocaml
^elyse^ has quit [Quit: Leaving]
Simn has quit [Quit: Leaving]
ismaelga has quit [Ping timeout: 246 seconds]
f[x] has joined #ocaml
tane has quit [Quit: Verlassend]
ollehar has quit [Quit: ollehar]
ceryo has joined #ocaml
supercircle4 has quit [Quit: Sleep]
BitPuffin|osx has joined #ocaml
NingaLeaf has joined #ocaml
Kakadu has quit [Remote host closed the connection]
supercircle4 has joined #ocaml
Anarchos1 has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]