Stefan_vK1 has quit [Read error: 110 (Connection timed out)]
Stefan_vK has quit [Read error: 104 (Connection reset by peer)]
Stefan_vK has joined #ocaml
Camarade_Tux has quit ["Leaving"]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
jeremiah has joined #ocaml
Stefan_vK1 has joined #ocaml
Stefan_vK has quit [brown.freenode.net irc.freenode.net]
Stefan_vK has joined #ocaml
Stefan_vK has quit [Connection timed out]
Associat0r has quit []
jeremiah has quit [Read error: 104 (Connection reset by peer)]
jeremiah has joined #ocaml
schme is now known as schmx
willb has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
jeremiah has joined #ocaml
angerman has joined #ocaml
alexyk has joined #ocaml
<flux>
behold, I have used function curry10 in my code..
<kaustuv_>
are you sure that's legal in your state or municipality?
<flux>
maybe it is.. or maybe it's not! I shall not surrender!
alexyk has quit []
sgnb`` is now known as sgbn
sgbn is now known as sgnb
buzz0r_ has quit [Read error: 110 (Connection timed out)]
willb has quit [Read error: 110 (Connection timed out)]
Cheshire has joined #ocaml
kaustuv has joined #ocaml
sporkmonger has joined #ocaml
l_a_m has quit ["Lost terminal"]
s4tan has quit []
th5 has quit []
_zack has quit ["Leaving."]
willb has joined #ocaml
alexyk has joined #ocaml
<ehird>
> Error: The implementation write_ml.ml
<ehird>
> does not match the interface write_ml.cmi:
<ehird>
> The field `bin_write_array_no_length' is required but not provided
<ehird>
[tons of stuff]
<ehird>
anyone experienced that with bin-prot?
l_a_m has joined #ocaml
alexyk has quit [Client Quit]
jonafan_ is now known as jonafan
<flux>
sexplib rules :)
<ehird>
batteries depends on bin-prot.
chickenzilla has joined #ocaml
<kaustuv>
ehird: FWIW, I was having the most godawful time installing batteries included in windows earlier. I had to uninstall all ocaml variants (mingw, ms, cygwin), then remove all registry keys containing "Objective" or "Caml", then finally install 3.10.2 with godi under cygwin. Then everything just worked and batteries from git compiled with no problems.
<ehird>
Yeah, but I want 3.11 :-(
<kaustuv>
as do I, but it doesn't work under godi with --section 3.11 in cygwin. I haven't yet had the intestinal fortitude to compile everything by hand, though I know that the vanilla ocaml distribution works fine.
ttamttam has left #ocaml []
Cheshire has quit ["This computer has gone to sleep"]
Cheshire has joined #ocaml
alexyk has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
l_a_m has quit ["Lost terminal"]
_zack has joined #ocaml
l_a_m has joined #ocaml
slash_ has joined #ocaml
jeremiah has joined #ocaml
angerman has quit []
jeremiah has quit [Read error: 104 (Connection reset by peer)]
chickenz1lla has joined #ocaml
Cheshire has quit [Read error: 113 (No route to host)]
alexyk has quit []
itewsh has joined #ocaml
chickenzilla has quit [Nick collision from services.]
chickenz1lla is now known as chickenzilla
Snark has joined #ocaml
jeremiah has joined #ocaml
Alpounet has joined #ocaml
alexyk has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
<kaustuv>
Any Redhat ocaml maintainers/users here? What is the Redhat/Fedora/CentOS equivalent of the Debian command: apt-get install ocaml-nox
<flux>
I don't know, but I guess yum search ocaml will find the package for you, and yum install will install it
zerny has joined #ocaml
<mrvn>
kaustuv: apt-get install ocaml<tab>
<mrvn>
provided you have it installed and tab completion support for apt-get
<kaustuv>
Redhat has apt-get?
<mrvn>
there is an apt-get that works with rpms for rh/suse
<kaustuv>
Hmm, is that likely to be present in $GENERIC_USER's system? I am writing documentation and would like the least number of dependencies.
<kaustuv>
I guess I can look for or install a VirtualBox image and see for myself.
<Alpounet>
RedHat has yum if I remember well.
jeremiah has quit [Read error: 104 (Connection reset by peer)]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
<alexyk>
and, it's godi time! anyone tried to build godi on mac lately? After about 10 minutes it chokes thusly:
<alexyk>
ld: in ../godi-digest/libdigest.a, archive has no table of contentsError: Error while building custom runtime system
<alexyk>
this is in godi-tools 2.0.6
Alpounet has quit ["Quitte"]
Cheshire has joined #ocaml
jeremiah has joined #ocaml
Cheshire has quit [Read error: 113 (No route to host)]
<ehird>
alexyk: works for me.
<ehird>
doesn't take 10 minutes either
<alexyk>
ehird: yeah, saw works for some other folks, too. Did you use rocketboost 20080630 to bootstrap?
<mfp>
if it's an older ocsigen, I'm not sure Xhtmlpretty can be used separately
<flux>
I'm actually using netcgi2.. the xhtml structure seems to build up with with the syntax extension, it's just getting a string out of it that's posing a problem :)
<flux>
it's just that I'm already using pgocaml to great success and continuing with that xhtml syntax extension would be nice :
<flux>
:) even
<mfp>
the META seems to be broken, but it should be possible to link against xhtml.cma and xhtmlpretty.cma directly
<flux>
I have only ocsigen.cma xhtml.cma and xhtmlsyntax.cma in there, no .cmo-files either (latest godi)
<flux>
mfp, thank you. I was just looking that it's not happiness-inducing to write a html quoter for strings that contain utf8..
<olegfink>
Alpounet: what's your project? I can't judge if mine is of any interest.
<Alpounet>
olegfink, still evaluating some ideas I have... And you ?
<olegfink>
heh, some ocamlrun fun
love-pingoo has joined #ocaml
<Alpounet>
ok
Fullma has joined #ocaml
ttamttam has left #ocaml []
<ehird>
is ocsigen any good then?
Smerdyakov has joined #ocaml
<jonafan>
oleg's implementation of persistent doubly linked lists was interesting
<jonafan>
i didn't know about that trick
<jonafan>
but i guess there's no limit on what you can do if you are willing to reinvent pointers and sacrifice some efficiency
<mrvn>
I need a doubly linked sorted list of (key, value) pairs with O(log(n)) or O(1) access by key.
<mrvn>
key being an interval a-b
<jonafan>
intervals?
<mrvn>
(3-5, 17) (6-9, 23) (10-11, 3) (12-30, 42)
<mrvn>
and then llokup 8
<mrvn>
lookup
<jonafan>
oh
<jonafan>
you could probably use a bst or a map?
<jonafan>
unless the keys could overlap
<mrvn>
No overlap. I actualy have 2 cases. One where the intervals are without gaps and one where they are.
<mrvn>
s/are/have gaps/
seafood has joined #ocaml
<jonafan>
if you search a tree, the last node on your search path is either the predecessor of the successor of what you're looking for (if it were there)
<mrvn>
The really tricky part is when I have (3-5, 17) (6-9, 23) (10-11, 17) and I insert/replace (6-9, 17) I want to end up with (3-11, 17).
<mrvn>
Hence the need to have them doubly linked so I can get the predecessor and succesor.
<jonafan>
so if you put (3-5, 17) in as (3, 3-5, 17) and (5, 3-5, 17), you'll find the right node
<jonafan>
oh
<jonafan>
yeah, don't listen to me
<mrvn>
Idealy I then also need to remove the predecessor or successor without having to do another search through the tree.
<mrvn>
Which I think means I must have parent, left and right pointers in the tree nodes and parent, pre, succ links in leaves.
<jonafan>
you could always add pred/succ pointers to your bst nodes
<jonafan>
yeah
zerny has quit [Remote closed the connection]
<mrvn>
Which means I have a graph structure and not a nice functional tree. :(
<jonafan>
no, it is definitely not going to be nice
Smerdyakov has quit ["Leaving"]
<mrvn>
Maybe I won't merge intervals when I insert them but have a "defrag" process that goes over the tree every now and then and merges intervals.
<mrvn>
anyway, something to sleep over and start fresh in the morning.
seafood has quit [Read error: 145 (Connection timed out)]
Snark has quit ["Ex-Chat"]
<kaustuv>
mrvn: I suggest taking a look at discrete interval-encoded trees (diets).
<Alpounet>
psnively, will it be ? Rentsch published first ;)
<psnively>
Yeah, so I hear.
<bjorkintosh>
well, there it is ... it looks like it's already 'out'.
<psnively>
For some definition of "out."
<bjorkintosh>
nrds.
<psnively>
No, seriously: the draft is online and an apparently plagiarized version was published by one of his students.
<bjorkintosh>
oh dear.
<psnively>
Yeah.
<bjorkintosh>
why the hell would anyone expect to get away with such a thing?
<ehird>
well, apparently the author thought he had permission or something
<ehird>
I don't think it's quite clear cut
<psnively>
Yeah, it sounds complicated.
<bjorkintosh>
the 'author'?
<bjorkintosh>
the 'thief'? you mean?
<ehird>
bjorkintosh: a third of the book is new, IIRC
<bjorkintosh>
oh
<ehird>
or more
<ehird>
forget
seafood has joined #ocaml
<psnively>
He's only a thief if he knowingly published material he didn't have the right to.
<gaze__>
any idea why the dev for haxe chose to use a stream parser instead of going the ocamlyacc route?
<ehird>
also, thief is property
<ehird>
technically it'd be intellectual floopydoob infringement.
<Alpounet>
but it seems Rentsch worked on a part on the original book
<psnively>
gaze__: Just a guess, but: if the grammar is simple enough for the stream parser, why go outside the language?
<gaze__>
makes sense, but it's not a particularly simple grammar
<psnively>
"Simple enough." :-)
<psnively>
And some of it is, let's face it, political: yacc derivatives are often considered kinda "dirty" by functional programmers.
<gaze__>
yeah... I'm kinda just looking for an excuse to go outside of yacc
<psnively>
I like dypgen and GLR generally.
<ehird>
are we talking about parsing? I'd like to yell about how awesome combinatorial parsers are without reading the discussion. thx!
<psnively>
Yeah. Functional folks like parser combinator libraries.
<gaze__>
dypgen looks pretty sweet
<psnively>
Indeed.
<gaze__>
I'm kinda new to functional programming so I'm in that stage where I'm resonating between haskell and ocaml... and I remember parsec being pretty cool
<ehird>
gaze__: I use both. :-)
<ehird>
parsec is pretty cool, indede.
<psnively>
gaze__: Indeed. I forget what the OCaml moral equivalent is, but there is at least one.
<psnively>
Meeting time.
<gaze__>
I may just do what the haxe author did and use a combination of ocamllex and the stream parser... it almost seems like you have more control with the stream parser
<gaze__>
would you say a C parser done with the stream parser is reasonable?
<ehird>
writing a c compiler? :)
<gaze__>
yaah :-D
<ehird>
fully featured or toy?
<gaze__>
hopefully fully featured... I'd like to target arm
<ehird>
ah, embedded work?
<gaze__>
yup yup
<ehird>
neat
Demitar has quit [Remote closed the connection]
<mfp>
gaze__: there are several C parsers in OCaml: FrontC, Yacfe, CIL's...
<ehird>
yeah but if you're writing a c compiler...
Demitar has joined #ocaml
<gaze__>
blah, I just realized I have a ocamlyacc C parser half written
<gaze__>
I think I'll just continue that hahah
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
Demitar has quit [Remote closed the connection]
chickenzilla has quit [Read error: 110 (Connection timed out)]
maxote has quit [Read error: 110 (Connection timed out)]