ghostpl has quit [Remote host closed the connection]
ollehar has joined #ocaml
_andre has joined #ocaml
amnn has joined #ocaml
amnn has quit [Remote host closed the connection]
amnn has joined #ocaml
siddharthv is now known as siddharthv_away
ollehar has quit [Quit: ollehar]
SomeDamnBody has quit [Ping timeout: 244 seconds]
<theblatte>
flux: although that didn't help much and mll formatting is still borked, mostly because it thinks "let bla = something+" is waiting for another argument for "+"
<flux>
well, it's under issues, isn't it ;)
<theblatte>
:)
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
tmtwd has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Ping timeout: 264 seconds]
BitPuffin|osx has joined #ocaml
cdidd has quit [Ping timeout: 250 seconds]
cdidd has joined #ocaml
walter|r has joined #ocaml
walter|r has quit [Remote host closed the connection]
idegen has joined #ocaml
badkins has joined #ocaml
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<Obey_your_Master>
Hi all.
<Drup>
Obey_your_Master: No.
<Obey_your_Master>
I have troubles using the ocaml-buddy library, is this the right place to ask for help?
* Drup
will not obey.
<Obey_your_Master>
Drup: Ok it won't apply to you if you want.
<companion_cube>
yo
* Obey_your_Master
changed his nickname to Obey_your_Master_(except_Drup)
<Drup>
:D
<Obey_your_Master>
When I try to compile a project (that I'm not the author of) I have a lot of error of the kind: libbuddy_stubs.c:(.text+0x259): undefined reference to "bdd_nodecount"
<Obey_your_Master>
And in the end: collect2: error: ld returned 1 exit status
<Obey_your_Master>
And finally: Error: Error while building custom runtime system
<Drup>
do you have buddy installed on your system ?
<Obey_your_Master>
Buddy (the C library) was installed with the package manager of Ubuntu.
<Obey_your_Master>
(Provided the last version is 10 years old, I think even the package manager is up-to-date.)
<Drup>
do you have the headers too ?
<Obey_your_Master>
And ocaml-buddy is installed with opam.
<Obey_your_Master>
Drup: The package states that the “include files” are also installed.
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<Obey_your_Master>
It says that the order of the arguments may impact somehow but I have no idea how to change them (see at 16:55:33).
<Kakadu>
it makes some sense
<Obey_your_Master>
Also, I just checked but the version of ocaml (4.02.2 or 3.12.1) makes no difference.
amnn has joined #ocaml
hay207 has joined #ocaml
<_obad_>
what do you guys recommend as a simple, no-frills xml parser with a simple API. no schemas, I want to destructure the output as a tree myself.
<_obad_>
and available in opam.
<Drup>
xmlm
<_obad_>
does it return the parse tree? it says "streaming codec"
<Drup>
it doesn't
<Drup>
you build your own parse tree
<Kakadu>
Obey_your_Master: It seems that you need to change ocamlbuild configuration somehow
<Kakadu>
Obey_your_Master: it puts libraries in wrong order
<_obad_>
what about xml-light? is that any good?
<Kakadu>
Obey_your_Master: It's hard to do it telepathically (for me, at least)
mort___ has quit [Quit: Leaving.]
<Drup>
_obad_: if you want something simpler than xmlm, use ezxmlm
<_obad_>
drup: ok I'll have a look
<companion_cube>
methinks Drup would downvote xml-light if opam had a vote systme
<Obey_your_Master>
Kakadu: I understand ^^
<Obey_your_Master>
Kakadu: Is there a way to configure ocamlbuild for a specific project or has it to be a general configuration?
<_obad_>
the xml-light api seems way simpler. val parse_file : string -> xml
<Kakadu>
Obey_your_Master: see ocamlbuild.ml and _tags
<_obad_>
with type xml = | Element of (string * (string * string) list * xml list) | PCData of string
<Drup>
companion_cube: it contains Obj.magic to resolve circular module dependencies
<Drup>
I cant ಠ_ಠ it enough.
<Obey_your_Master>
Kakadu: There is no file of that kind in my project, but there are in the ocaml-buddy sources. I'll have to check that, thanks!
<companion_cube>
Drup: :DD
<companion_cube>
oh my, opam switch on PRs is so nice
<flux>
_obad_, xml-light is great, except it uses evil ocaml code involving unsafe constructs
<flux>
_obad_, that's why the working man's choice is xmlm, which does need a bit more effort up front, compared to xmlm
<_obad_>
drup: it's true there are a few obj.magics but it's an implementation issue and I'm not an ideologue
<flux>
there's also ezxmlm which I understand is a simpler front to xmlm
<Drup>
also, ezxmlm also has a very simple api similar to xml-light
<companion_cube>
does xml-light have a maintainer? Obj.magic is not a fatality
<flux>
certainly its name is not easier :)
<Drup>
companion_cube: it doesn't
<flux>
"e for easy, then a number of consontants"
<flux>
consonants even
<Drup>
flux: ez for easy, actually
* Drup
blames rgrinberg.
<companion_cube>
:D
<flux>
well, I knew that but it seemed more absurd my way ;)
<flux>
seems easy though, the ezxmlm.mli that is
kdr2_ has joined #ocaml
<Drup>
flux: well, then it's just the mark of bunzli's libraries :3
<Drup>
"4 randoms letters, sometimes need an ez version" :]
<flux>
meh, there should be parse_file in ezxmlm to properly compete :)
<flux>
appears mostly the same, is there some difference? at least the data is represented differently
<flux>
xml-light doesn't have `Data nodes
<flux>
which are probably super nice if you want to change and save the document
<_obad_>
in my case they're not important
<flux>
a simple filter_map should get rid of them
<_obad_>
but maybe ezxmlm has some helper functions that will help me get the data I want
<flux>
hmm, I was thinking that's why polymorphic vairants were used in the first place, but it doesn'tseem like it's anymore compatible with 'nodes' if one removes `Data from the type.. sad.
<flux>
I guess you must then just ignore them.
<Kakadu>
Obey_your_Master: very likely your project doesn't use ocamlbuild than. It seems that task is simpler that it could be
<flux>
there is still some work left. 4 packages in opam depend on xml-light.
JuggleTux has joined #ocaml
<Drup>
flux: and it's used by haxe
<flux>
no haxe in opam :(
JuggleTux has left #ocaml [#ocaml]
<flux>
it would be good to have applications in opam as well
<Drup>
haxe is not an application
<flux>
then the guys in the ivory towers could try compiling those as well when considering language breaking changes ;-)
<flux>
well, it's a compiler?
<Drup>
yeah
<flux>
in my book that's an application :)
<flux>
ie. not a library
<Drup>
flux: I think most applications are in opam anyway
<flux>
oh, unison at least is
<flux>
and mldonkey
<flux>
the names of the two ocaml apps I know of 8-)
<Drup>
liquidsoap too
<Drup>
is coq an application ? :D
<flux>
well, yes. though it comes with a code generator as well.
<flux>
someone(TM) should build a site on top of OPam advertising the applications in the way freshmeat.net did
<flux>
with screenshots (missing from opam) and everything!
<flux>
it could be called opammedmeat.net
<companion_cube>
and votes, yay
<flux>
too bad I cannot webdesign myself out of a cardboard box.
<flux>
</standard disclaimer for refusing to be the Someone(TM)>
<flux>
if that's the list of all ocaml apps then I'm a sad panda.. ;-)
JuggleTux has left #ocaml [#ocaml]
<flux>
where's the dynamic web page? voting? comments? exactly! nowhere!
<Drup>
eh.
<flux>
drup doesn't get excited too easy I see..
<Drup>
:D
<theblatte>
oh wow, liquidsoap is in there :D
<flux>
haxe is not, though
nullcat_ has quit [Remote host closed the connection]
<Drup>
haxe is not an application, it's another programming language
nullcat has joined #ocaml
<flux>
well, it sounds like LexiFi's Modeling Language for finance isn't one either then :P
<companion_cube>
oh btw, what is OCAMLPARAM?
<flux>
compiler flags maybe? I remember it being referred somewhere, rarely..
<flux>
grep the compiler source?-)
<Drup>
companion_cube: what flux said, compiler params
<_obad_>
the ezxmlm interface is not easy at all. for example pick_tags says that is selects all the child nodes that match a tag. but the argument for tag is a string. in xmlm a tag is a name * attribute list and a name is a string * string
tane has joined #ocaml
<companion_cube>
it's in the compiler, indeed, but I don't know what it is used for
<flux>
liquidsoap is a nice piece of software. I used it at my summah grill party for primarily playing mpd-backed playlist, and if that stream finished at some point, it would fade in an alternative background stream. music non stop!
<companion_cube>
(Drup, I'm counting on you for reviewing my PR)
yomimono has quit [Ping timeout: 256 seconds]
<Drup>
companion_cube: like, you can set it to always pass an option like bin-annot
<companion_cube>
oh.
<companion_cube>
also, I have no idea how to detect whether the terminal is good, whether to enable color by default…
<flux>
merlin should be able to colorize identifiers uniquely locally per their type
matason has joined #ocaml
<flux>
preferably keep the same order when going from call site to function
<Drup>
that would be cool yeah. I think there is a feature request about that
amnn has quit [Remote host closed the connection]
nullcat_ has joined #ocaml
amnn has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 272 seconds]
kdr2__ has joined #ocaml
amnn has quit [Remote host closed the connection]
kdr2_ has quit [Ping timeout: 252 seconds]
jefus has joined #ocaml
amnn has joined #ocaml
Hannibal_Smith has joined #ocaml
amnn has quit [Remote host closed the connection]
amnn has joined #ocaml
amnn has quit [Remote host closed the connection]
amnn has joined #ocaml
dsheets has quit [Ping timeout: 255 seconds]
BitPuffin|osx has joined #ocaml
rand000 has joined #ocaml
Submarine has quit [Quit: Leaving]
darkf has quit [Quit: Leaving]
tjscanlon has joined #ocaml
hay207 has quit [Ping timeout: 246 seconds]
amnn has quit [Remote host closed the connection]
amnn has joined #ocaml
obadz has quit [Ping timeout: 244 seconds]
obadz has joined #ocaml
badkins has quit [Read error: Connection reset by peer]
jeffmo has quit [Ping timeout: 244 seconds]
<Obey_your_Master>
Kakadu Drup: I managed to make it work! Thanks for your help!
<Obey_your_Master>
It was indeed a problem with the order of the flags, "-cclib -lbdd" should be at the far end.
tjscanlon has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<Obey_your_Master>
(Are they really called “flags”? I'm so bad with compilation.)
tjscanlon has joined #ocaml
tjscanlon has quit [Client Quit]
<Kakadu>
i think 'libraries' suit better there
<Obey_your_Master>
Ok.
<Obey_your_Master>
thanks anyway, I really didn't know that the order mattered that much.
creichert has joined #ocaml
mort___ has quit [Quit: Leaving.]
Anarchos has joined #ocaml
jeffmo has joined #ocaml
tjscanlon has joined #ocaml
<vbmithr>
Hi
<companion_cube>
hi
<vbmithr>
Does anybody has ever used the pattern consisting to put connection handles in a weak hashtbl, for a server ?
<vbmithr>
I'm having a server (Async) where I put Writer.t into a weak hashtbl, so when the connection to a client finishes, it disappears from the hashtbl when garbage collected
<vbmithr>
but since I still have to handle errors (the value might not get GCed before I attempt to use it, even though the client has gone)
<vbmithr>
So I'm wondering if it is a good use casem
<vbmithr>
Other way to ask the question: have you ever used Weak and if yes, for which use cases
<companion_cube>
I use it for hashconsing of symbolic terms
shinnya has joined #ocaml
tane has quit [Quit: Verlassend]
struk|work has quit [Quit: Page closed]
<rwmjones>
can anyone point me to roughly where in ocamlopt it does partial evaluation?