flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
Rainmaker has joined #ocaml
Rainmaker has left #ocaml []
grkz has joined #ocaml
grkz has left #ocaml []
bzzbzz has quit ["leaving"]
jeddhaberstro has quit []
threeve has quit []
threeve has joined #ocaml
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
authentic has quit [Read error: 60 (Operation timed out)]
Mr_Awesome has joined #ocaml
threeve has quit []
ryosei has left #ocaml []
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has joined #ocaml
Associat0r has joined #ocaml
sporkmonger has quit []
pango has quit [Remote closed the connection]
pango has joined #ocaml
jessicah has joined #ocaml
<jessicah> when creating bitstrings, if t is a record type, can I not use t.<field> for constructing bitstrings?
<jessicah> nvm; missing parens =/
jessicah has left #ocaml []
Palace_Chan has quit ["Palace goes to sleep"]
Snark has joined #ocaml
seafood has quit []
Palace_Chan has joined #ocaml
mishok13 has joined #ocaml
kombinator has joined #ocaml
kombinator has quit ["Ex-Chat"]
filp has joined #ocaml
jessicah has joined #ocaml
<jessicah> hi, is there anyone around who might be able to help me with a bitstring problem?
<flux> rwmjones would be the right person to ask, when he's around.
<flux> but judging from his idle time that might take a while :). perhaps someone else is familiar with the library..
<jessicah> k..
<olegfink> I'd suggest just telling the problem, then finding out if someone here could help solve it will be much easier.
<jessicah> alright
<jessicah> I create a bitstring using BITSTRING, and a checksum, and I need to put checksum into the bitstring after
<jessicah> I'm trying to take a subbitstring of the original and updating it
<jessicah> but my loop fails with index out of bounds when I try use put to set a bit
<jessicah> e.g. let subbs = subbitstring packet 80 16 in for i = 0 to 15 do put (subbs i (get csum i)) done
<jessicah> err, my parens are a bit wrong: put subbs i (get csum i)
<jessicah> and it fails in put when i = 0
<olegfink> jessicah: check with bitstring_length subbs, just in case
<olegfink> and bitstring_length csum
<jessicah> it's not csum
<jessicah> it gets bit from csum fine
<jessicah> then fails on the put
<jessicah> and bitstring_length subbs returns 16
<olegfink> if n < 0 || off+n >= len then index_out_of_bounds ()
<olegfink> that's from Bitstring.put
<jessicah> ohh
<jessicah> =/
<olegfink> but that doesn't help, does it?
<olegfink> off < len (for i = 0) is already maintained by subbitstring
<jessicah> it's subbitstring that was problem
<jessicah> it has weird semantics imo :P
<olegfink> ah, it maintains off <= len
<jessicah> imo, it should return (data, off, off + len')
<jessicah> that's where I had trouble
<jessicah> subbitstring 80 16 is nonsensical
<olegfink> old offset? why?
<jessicah> len' is new offset
<olegfink> len is not an offset, it's length
<olegfink> neither is len'
<jessicah> err, new length, yes
<jessicah> if you do subbitstring 80 16, using put on the sub bitstring always fails
<olegfink> right, but you also set a new offset in subbitstring
<olegfink> _relative) to current
<olegfink> which also makes perfect sense
<jessicah> no
<olegfink> *_relative_
<olegfink> okay, what does that '80' mean to you?
<jessicah> offset from current offset
<olegfink> right, so subbitstring (x, o, l) _o _l = (x, o + _o, _l), right?
<jessicah> subbitstring (xxx, 0, 100) 80 16 -> (xxx 80 16)
<olegfink> yes.
<jessicah> offset should never be great than length
<jessicah> I want a sub bitstring
<olegfink> and it never does, see line 133
<jessicah> so length should be length + offset
<jessicah> since offset is the conceptual start
<olegfink> length is set explicitly by you
<olegfink> e.g. subbitstring (x, 0, l) 0 _l = (x, 0, _l)
<jessicah> yes, the length of the sub bitlist
<jessicah> let's compare with say Array
<jessicah> Array.sub [| 1; 2; 3; 4; 5 |] 3 2 -> [| 4; 5 |]
GustNG has joined #ocaml
<jessicah> the semantics in subbitstring are completely different
<jessicah> using bitstring semantics, I'd get [| |]
<jessicah> as 3 > 2
<olegfink> no, why?
<olegfink> subbitstring (x, 0, 5) 3 2 = (x, 3, 2)
<jessicah> yes
<jessicah> an effectively empty bitstring
<olegfink> no, it isn't empty
<jessicah> effectively, it is
<jessicah> unless you use negative offsets :P
<olegfink> you may check, it's perfectly valid
<jessicah> it compiles, sure
<jessicah> but put (x, 3, 2) 0 some_value _always_ fails
<jessicah> an effectively empty bitstring
<olegfink> oh
<olegfink> now I see
<olegfink> if n < 0 || off+n >= len then index_out_of_bounds ()
<olegfink> should be
<olegfink> if n < 0 || n >= len then index_out_of_bounds ()
Palace_Chan has quit [Client Quit]
<olegfink> you're right
<jessicah> ok, so if I patch those two, I should be fine?
<olegfink> probably yes, as that seems really wrong. (len = end - off + 1 vs. len = end)
<olegfink> that is, end + 1
<olegfink> for example, takebits is implemented correctly: http://code.google.com/p/bitstring/source/browse/trunk/bitstring.ml#142
onigiri has joined #ocaml
<olegfink> jessicah: by the way, out of curiosity, what is interesting and outstanding about meander? looked like just yet-another-boring-posix-implementation at the first glance.
<jessicah> meander?
<olegfink> uh, I thought you were affiliated with it somehow (judging by hostname)
<olegfink> probably a reverse dns fail?
<jessicah> oh, no
<jessicah> it's my friends project
<jessicah> I logged into his ssh server
<jessicah> corporate firewall blocks irc protocol
<jessicah> :P
<jessicah> mine is snowflake
<olegfink> ah, sorry then
onigiri is now known as EmanuelC
<olegfink> I was hoping to get some understanding as to why people keep reimplementing posix without adding anything to the kernel. but that's way off topic for #ocaml.
<jessicah> :P
<jessicah> my project is at snowflake-os.googlecode.com
<olegfink> oh, pure ocaml drivers. sounds like fun.
<olegfink> how do you handle processes?
<jessicah> don't have processes yet
<jessicah> and I'm pretty sure natdynlink still has the issue of not being able to unload plugins
<olegfink> would it make sense for your project to incorporate an ocaml toplevel?
<jessicah> but it'd certainly involve natdynlink to some extent
<jessicah> I've done that before; kind of interesting
<jessicah> but natdynlink is probably more interesting
<olegfink> an ocaml vm running on bare harware sounds like a lot of fun
<jessicah> it's actually fairly simple to do if you strip out the in/out_channel type
<olegfink> especially since you can add some nice purely functional features to your OS
* olegfink dreams of a purely functional I/O
<jessicah> heh
<olegfink> just imagine a world with a pure OS - things like suspend are implemented in half a line of code
<jessicah> :P
<olegfink> and you never care about removing something by accident - just roll over to a past state of the OS (together with FS, of course)
<jessicah> that'd require a lang more like haskell than ocaml :P
<jessicah> I think zfs behaves like that
<jessicah> to some extent
<olegfink> ocaml can be purely functional (if you ask nicely)
<jessicah> :)
OChameau has joined #ocaml
<olegfink> but that's not the direction you're going?
<jessicah> I'm not sure
<olegfink> actually, there's quite a high demand for a purely functional OS
rwmjones_ has joined #ocaml
<olegfink> oh! the person we need.
<olegfink> rwmjones_: here?
<jessicah> or his conn timed out
<olegfink> yep.
<rwmjones_> jessicah, ping
<rwmjones_> what was the problem?
<olegfink> seems like a typo
<olegfink> should be n >= len
<rwmjones_> looking
<jessicah> either way, I drove myself insane for over an hour wondering why it wasn't working :P
<olegfink> jessicah: so good luck with snowflake, regarding running a toplevel/bytecode intepreter on top of it you might want to look at inferno, which does more or less the same job
<jessicah> yeah, I had that in a previous os
<flux> pretty interesting project. I remember there was some other ocaml-based OS around there, but I guess its development has ceased.
<jessicah> could be interesting as a shell perhaps
<rwmjones_> jessicah, that seems to be correct to me?
<olegfink> flux: funk?
<flux> maybe
rby has joined #ocaml
<jessicah> rwmjones_: put 0 (subbitstring bstring n m) where n > m gives index out of bounds error
<jessicah> err, with the args fixed, of course :P
<rwmjones_> jessicah, ah no, I see, should be n >= len as you say
<rwmjones_> you know you shouldn't really use these functions because they're very slow & inefficient
<olegfink> rwmjones_: look at e.g. takebits, there it is implemented correctly
<jessicah> rwmjones_: yeah, I noticed the lack of a blit function =/
<jessicah> I suppose I could implement myself since the type is exposed...
<olegfink> hey! that's unfair!
<rwmjones_> jessicah, yeah, it's quite hard to implement though. I changed that, thanks.
<olegfink> half the I/O functions in Pervasives is external
<jessicah> olegfink: yup
<jessicah> :P
<olegfink> so there's no real point in porting my versioned i/o library from C to ocaml :/
<jessicah> rwmjones_: oh, you mean if they the same bitstring and they overlap?
<rwmjones_> jessicah, there's all sorts of issues with a blit function, eg. if the byte alignment doesn't match. Not that it's impossible, just hard to write a correct one.
<jessicah> ohh, I see
<rwmjones_> jessicah, so if I understood the preceeding chat correctly, the problem is you need to add a checksum after the bitstring is produced?
<jessicah> yes
<rwmjones_> IP headers or something like that?
johnnowak has joined #ocaml
<jessicah> yes
<jessicah> part of the protocol stack for my networking
<rwmjones_> you could maybe do something like:
<rwmjones_> let bits = BITSTRING { i : 8; j : 8 ; k : 8 };; let csum = compute_checksum bits ;; let bits = BITSTRING { bits : -1 : bitstring; csum : 32 : int } ;;
<jessicah> I've gotten that far, yes :)
<rwmjones_> jessicah, so that didn't work for some reason?
<jessicah> oh wait, hmm
<jessicah> chceksum goes in middle
<jessicah> oh, you can use -1 in the constructor at any point?
<jessicah> it's a shame save_offset_to doesn't work though =/
<rwmjones_> jessicah, there's no way to write a BITSTRING into a subbitstring (at least, not at the moment). You can do it with takebits/dropbits to chop up the bitstring, and then a final BITSTRING constructor to construct everything, but it's a bit tedious.
<rwmjones_> save_offset_to ought to work, at least, I'm using it
<rwmjones_> only in matches though
<jessicah> I meant in BITSTRING
<rwmjones_> yes, that's a todo ...
<jessicah> hmm
seafood has joined #ocaml
seafood_ has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
<jessicah> :) got my checksum working :)
seafood has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
<rwmjones_> jessicah, good stuff ... bitstring construction is something we haven't optimized much (bitmatch is where all the optimization has gone so far). So be interesting to see how it performs.
<jessicah> :)
<jessicah> I ended up coding blit function, and testing that it's an aligned blit first
Submarine_ has joined #ocaml
Submarine_ has quit [Client Quit]
code17 has joined #ocaml
yangsx has quit [Read error: 110 (Connection timed out)]
seafood_ has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood_ has quit [Read error: 54 (Connection reset by peer)]
seafood has joined #ocaml
GustNG1 has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
GustNG has quit [Read error: 110 (Connection timed out)]
Snark has quit ["Ex-Chat"]
Yoric[DT] has joined #ocaml
<Yoric[DT]> hi
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
seafood_ has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
snejok has joined #ocaml
snejok has quit [Client Quit]
ppsmimou has quit [Read error: 110 (Connection timed out)]
GustNG has joined #ocaml
EmanuelC has quit [calvino.freenode.net irc.freenode.net]
palomer has quit [calvino.freenode.net irc.freenode.net]
sbok_ has quit [calvino.freenode.net irc.freenode.net]
jessicah has quit [calvino.freenode.net irc.freenode.net]
jdev has quit [calvino.freenode.net irc.freenode.net]
haelix has quit [calvino.freenode.net irc.freenode.net]
mfp has quit [calvino.freenode.net irc.freenode.net]
svenl has quit [calvino.freenode.net irc.freenode.net]
lde has quit [calvino.freenode.net irc.freenode.net]
johnnowak has quit [calvino.freenode.net irc.freenode.net]
det has quit [calvino.freenode.net irc.freenode.net]
rby has quit [calvino.freenode.net irc.freenode.net]
jurjen2 has quit [calvino.freenode.net irc.freenode.net]
thelema has quit [calvino.freenode.net irc.freenode.net]
mlh has quit [calvino.freenode.net irc.freenode.net]
tab has quit [calvino.freenode.net irc.freenode.net]
mike_mcclurg has quit [calvino.freenode.net irc.freenode.net]
struk_atwork2 has quit [calvino.freenode.net irc.freenode.net]
OChameau has quit [calvino.freenode.net irc.freenode.net]
filp has quit [calvino.freenode.net irc.freenode.net]
bla has quit [calvino.freenode.net irc.freenode.net]
bohanlon has quit [calvino.freenode.net irc.freenode.net]
maxote has quit [calvino.freenode.net irc.freenode.net]
cmeme has quit [calvino.freenode.net irc.freenode.net]
petchema has quit [calvino.freenode.net irc.freenode.net]
xevz has quit [calvino.freenode.net irc.freenode.net]
struktured has quit [calvino.freenode.net irc.freenode.net]
rwmjones has quit [calvino.freenode.net irc.freenode.net]
ozzloy has quit [calvino.freenode.net irc.freenode.net]
Smerdyakov has quit [calvino.freenode.net irc.freenode.net]
Asmadeus has quit [calvino.freenode.net irc.freenode.net]
jonafan_ has quit [calvino.freenode.net irc.freenode.net]
Jedai has quit [calvino.freenode.net irc.freenode.net]
kelaouchi has quit [calvino.freenode.net irc.freenode.net]
pango has quit [calvino.freenode.net irc.freenode.net]
TaXules has quit [calvino.freenode.net irc.freenode.net]
kig has quit [calvino.freenode.net irc.freenode.net]
Associat0r has quit [calvino.freenode.net irc.freenode.net]
Amorphous has quit [calvino.freenode.net irc.freenode.net]
tsuyoshi has quit [calvino.freenode.net irc.freenode.net]
pattern has quit [calvino.freenode.net irc.freenode.net]
DRMacIver has quit [calvino.freenode.net irc.freenode.net]
r0bby has quit [calvino.freenode.net irc.freenode.net]
viimrles has quit [calvino.freenode.net irc.freenode.net]
code17 has quit [calvino.freenode.net irc.freenode.net]
Mr_Awesome has quit [calvino.freenode.net irc.freenode.net]
smimram has quit [calvino.freenode.net irc.freenode.net]
dobblego has quit [calvino.freenode.net irc.freenode.net]
Axioplase_ has quit [calvino.freenode.net irc.freenode.net]
kig__ has joined #ocaml
ppsmimou has joined #ocaml
code17 has joined #ocaml
johnnowak has joined #ocaml
rby has joined #ocaml
EmanuelC has joined #ocaml
jessicah has joined #ocaml
pango has joined #ocaml
Associat0r has joined #ocaml
Mr_Awesome has joined #ocaml
jonafan_ has joined #ocaml
det has joined #ocaml
Amorphous has joined #ocaml
jurjen2 has joined #ocaml
Jedai has joined #ocaml
thelema has joined #ocaml
palomer has joined #ocaml
kig has joined #ocaml
haelix has joined #ocaml
jdev has joined #ocaml
lde has joined #ocaml
sbok_ has joined #ocaml
mfp has joined #ocaml
svenl has joined #ocaml
tab has joined #ocaml
mike_mcclurg has joined #ocaml
mlh has joined #ocaml
struk_atwork2 has joined #ocaml
pattern has joined #ocaml
kelaouchi has joined #ocaml
Axioplase_ has joined #ocaml
viimrles has joined #ocaml
DRMacIver has joined #ocaml
smimram has joined #ocaml
dobblego has joined #ocaml
r0bby has joined #ocaml
TaXules has joined #ocaml
tsuyoshi has joined #ocaml
kig has quit [Read error: 104 (Connection reset by peer)]
OChameau has joined #ocaml
filp has joined #ocaml
bla has joined #ocaml
struktured has joined #ocaml
xevz has joined #ocaml
petchema has joined #ocaml
bohanlon has joined #ocaml
Asmadeus has joined #ocaml
ozzloy has joined #ocaml
Smerdyakov has joined #ocaml
maxote has joined #ocaml
cmeme has joined #ocaml
rwmjones has joined #ocaml
GustNG1 has quit [Read error: 110 (Connection timed out)]
rby has quit ["This computer has gone to sleep"]
johnnowak has quit []
kig_ has joined #ocaml
kig_ is now known as kig
<Yoric[DT]> thelema: ping
<jessicah> rwmjones_: are you still there?
<jessicah> the preprocessor is giving a weird error :(
<jessicah> Parse error:
<jessicah> and no error message
<jessicah> when I create a toplevel value, with type of some_record_type list
<rwmjones_> jessicah, pong
<jessicah> let options = [ { kind = 0x36; data = Bitstring.bitstring_of_string "\x01\x1c..."; } ]
<jessicah> ^ causes it to fail :(
<jessicah> ohh; didn;t see warning above
* jessicah sighs
<jessicah> stupid typos
<rwmjones_> looks ok to me ... whta was the full error?
rwmjones_ has quit ["Closed connection"]
<jessicah> it was an earlier warning; invalid escape sequence in string or somesuch
Associat0r has quit []
EmanuelC has quit []
rby has joined #ocaml
delamarche has joined #ocaml
<thelema> Yoric[DT]: pong
<Yoric[DT]> Hi.
<Yoric[DT]> I'm busy attempting to get the documentation to rebuild properly.
<Yoric[DT]> Do you have the time to write down a short text explaining what Batteries is all about and why it is important?
<Yoric[DT]> Something we could include in the documentation as [index.html].
<thelema> Yoric[DT]: the soonest I can get to it is in about 9.5 hours
<Yoric[DT]> ok
<thelema> I can't work on batteries at work, so I'd have to wait until after.
<Yoric[DT]> Sure.
<Yoric[DT]> If it's ok with you, that is.
sporkmonger has joined #ocaml
* Smerdyakov tries to connect to Yoric[DT] on LinkedIn. :-)
<Yoric[DT]> :)
code17 has quit [Remote closed the connection]
seafood_ has quit []
<Yoric[DT]> Smerdyakov: done.
delamarche has quit [calvino.freenode.net irc.freenode.net]
rby has quit [calvino.freenode.net irc.freenode.net]
OChameau has quit [calvino.freenode.net irc.freenode.net]
petchema has quit [calvino.freenode.net irc.freenode.net]
filp has quit [calvino.freenode.net irc.freenode.net]
xevz has quit [calvino.freenode.net irc.freenode.net]
bohanlon has quit [calvino.freenode.net irc.freenode.net]
bla has quit [calvino.freenode.net irc.freenode.net]
cmeme has quit [calvino.freenode.net irc.freenode.net]
rwmjones has quit [calvino.freenode.net irc.freenode.net]
ozzloy has quit [calvino.freenode.net irc.freenode.net]
Asmadeus has quit [calvino.freenode.net irc.freenode.net]
Smerdyakov has quit [calvino.freenode.net irc.freenode.net]
maxote has quit [calvino.freenode.net irc.freenode.net]
struktured has quit [calvino.freenode.net irc.freenode.net]
palomer has quit [calvino.freenode.net irc.freenode.net]
sbok_ has quit [calvino.freenode.net irc.freenode.net]
jessicah has quit [calvino.freenode.net irc.freenode.net]
jdev has quit [calvino.freenode.net irc.freenode.net]
haelix has quit [calvino.freenode.net irc.freenode.net]
mfp has quit [calvino.freenode.net irc.freenode.net]
svenl has quit [calvino.freenode.net irc.freenode.net]
lde has quit [calvino.freenode.net irc.freenode.net]
sporkmonger has quit [calvino.freenode.net irc.freenode.net]
det has quit [calvino.freenode.net irc.freenode.net]
mlh has quit [calvino.freenode.net irc.freenode.net]
tab has quit [calvino.freenode.net irc.freenode.net]
thelema has quit [calvino.freenode.net irc.freenode.net]
jurjen2 has quit [calvino.freenode.net irc.freenode.net]
mike_mcclurg has quit [calvino.freenode.net irc.freenode.net]
struk_atwork2 has quit [calvino.freenode.net irc.freenode.net]
Jedai has quit [calvino.freenode.net irc.freenode.net]
jonafan_ has quit [calvino.freenode.net irc.freenode.net]
kelaouchi has quit [calvino.freenode.net irc.freenode.net]
pango has quit [calvino.freenode.net irc.freenode.net]
TaXules has quit [calvino.freenode.net irc.freenode.net]
tsuyoshi has quit [calvino.freenode.net irc.freenode.net]
pattern has quit [calvino.freenode.net irc.freenode.net]
DRMacIver has quit [calvino.freenode.net irc.freenode.net]
r0bby has quit [calvino.freenode.net irc.freenode.net]
viimrles has quit [calvino.freenode.net irc.freenode.net]
ppsmimou has quit [calvino.freenode.net irc.freenode.net]
Amorphous has quit [calvino.freenode.net irc.freenode.net]
smimram has quit [calvino.freenode.net irc.freenode.net]
dobblego has quit [calvino.freenode.net irc.freenode.net]
Axioplase_ has quit [calvino.freenode.net irc.freenode.net]
Mr_Awesome has quit [calvino.freenode.net irc.freenode.net]
jonafan_ has joined #ocaml
Jedai has joined #ocaml
kelaouchi has joined #ocaml
ppsmimou has joined #ocaml
Amorphous has joined #ocaml
pattern has joined #ocaml
viimrles has joined #ocaml
DRMacIver has joined #ocaml
r0bby has joined #ocaml
tsuyoshi has joined #ocaml
sporkmonger has joined #ocaml
jessicah has joined #ocaml
det has joined #ocaml
jurjen2 has joined #ocaml
thelema has joined #ocaml
palomer has joined #ocaml
haelix has joined #ocaml
jdev has joined #ocaml
lde has joined #ocaml
sbok_ has joined #ocaml
mfp has joined #ocaml
svenl has joined #ocaml
struk_atwork2 has joined #ocaml
mlh has joined #ocaml
mike_mcclurg has joined #ocaml
tab has joined #ocaml
delamarche has joined #ocaml
rby has joined #ocaml
OChameau has joined #ocaml
filp has joined #ocaml
bla has joined #ocaml
struktured has joined #ocaml
xevz has joined #ocaml
petchema has joined #ocaml
bohanlon has joined #ocaml
Asmadeus has joined #ocaml
ozzloy has joined #ocaml
Smerdyakov has joined #ocaml
maxote has joined #ocaml
cmeme has joined #ocaml
rwmjones has joined #ocaml
TaXules has joined #ocaml
pango has joined #ocaml
Mr_Awesome has joined #ocaml
Axioplase_ has joined #ocaml
smimram has joined #ocaml
dobblego has joined #ocaml
authentic has joined #ocaml
Axioplase_ has quit [No route to host]
code17 has joined #ocaml
Axioplase_ has joined #ocaml
code17 has quit [Remote closed the connection]
code17 has joined #ocaml
code17 has quit [Remote closed the connection]
code17 has joined #ocaml
code17 has quit [Client Quit]
jurjen2 has quit ["Good riddance!"]
snhmib has joined #ocaml
<Yoric[DT]> thelema: documentation re-resurrected.
<Yoric[DT]> Now I can proceed with documentation bugfixing.
rby has quit ["This computer has gone to sleep"]
rodge has joined #ocaml
GustNG1 has joined #ocaml
rby has joined #ocaml
mishok13 has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
GustNG has quit [Read error: 110 (Connection timed out)]
Associat0r has joined #ocaml
Linktim has joined #ocaml
mbishop_ is now known as mbishop
filp has quit ["Bye"]
Linktim_ has joined #ocaml
Camarade_Tux has joined #ocaml
rby has quit ["This computer has gone to sleep"]
<Yoric[DT]> Is there someone well-versed into ocamlfind to give me a hand?
<Yoric[DT]> My syntax package is not recognized.
Linktim has quit [Read error: 113 (No route to host)]
Palace_Chan has joined #ocaml
OChameau has quit ["Leaving"]
Linktim_ has quit [Read error: 104 (Connection reset by peer)]
Submarine has joined #ocaml
Linktim has joined #ocaml
Linktim_ has joined #ocaml
* Camarade_Tux thinks he is going to propose Florent Monnier
<Yoric[DT]> Congratulations.
<Camarade_Tux> thanks :)
<Camarade_Tux> I really love his ocaml/c tutorial ;)
Linktim has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
<Yoric[DT]> :)
<Camarade_Tux> I happily finished (p)7zip bindings on yesterday, no I just need to add the higher-level api (especially the ability to transform a filename)
<Yoric[DT]> Sounds nice.
<Yoric[DT]> Other than that, I'm still looking for help with findlib.
<Yoric[DT]> Come to think about it, some ocamlbuild trickery might solve my problem, too.
<Yoric[DT]> Does anyone know if there's a way to have a rule act whenever some tag is absent?
<Yoric[DT]> Oh well, I guess I have another workaround.
GustNG has joined #ocaml
GustNG2 has joined #ocaml
middayc has joined #ocaml
DroneZilla has joined #ocaml
itewsh has quit [Remote closed the connection]
itewsh has joined #ocaml
GustNG3 has joined #ocaml
mishok13 has joined #ocaml
GustNG4 has joined #ocaml
GustNG1 has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> Well, it seems that we now have a first working syntax extension in Batteries Included.
<flux> yoric[dt], how is it used [with ocamlfind]?
<Yoric[DT]> Yep.
<Yoric[DT]> Although you don't need to touch ocamlfind if you don't want to.
<flux> actually that was not a separate question, but rather a clarification of it :)
<Yoric[DT]> There's a tag for ocamlbuild.
filp has joined #ocaml
<flux> so, ocamlfind -whatwhat foo.ml ?
<Yoric[DT]> Er...
<Yoric[DT]> I don't know about command-line.
<Yoric[DT]> But the tag is [use_batteries].
GustNG has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> It uses the batteries library and syntax extensions.
<Yoric[DT]> (or [pkg_batteries] if you just want the library)
<flux> how easy is it to use batteries outside ocamlbuild?
<Yoric[DT]> With findlib, it's essentially adding
<Yoric[DT]> ocamlfind ocamlc -package batteries your_usual_stuff
GustNG has joined #ocaml
<Yoric[DT]> Without either findlib or ocamlbuild, I must admit it's untested so far.
<flux> does using syntax extensions add anything to that?
<Yoric[DT]> With ocamlbuild, no.
<Yoric[DT]> With findlib...
<Yoric[DT]> Yes.
<Yoric[DT]> It's along the lines of
<Yoric[DT]> ocamlfind ocamlc -package batteries,batteries.syntax -syntax camlp4r your_usual_stuff
<flux> all batteries extensions will be bundled together?
<flux> (syntax extensions that is)
<Yoric[DT]> No, you can select them one-by-one if you prefer.
Associat0r has quit []
<Yoric[DT]> batteries.syntax is just a shortcut for all extensions at once
<hcarty> Yoric[DT]: Which extensions are included?
<Yoric[DT]> Currently, only pa_openin.
<Yoric[DT]> The difficulty is getting the first one :)
<hcarty> Yoric[DT]: Very true
<Yoric[DT]> Now that it's done, we shouldn't have too much difficulty adding other extensions.
GustNG2 has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> Type-conv would be my next choice.
<Yoric[DT]> Although for the moment, I'm going back to debugging the documentation.
GustNG has quit ["Leaving."]
Associat0r has joined #ocaml
GustNG3 has quit [Read error: 110 (Connection timed out)]
middayc has quit []
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
GustNG4 has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
ozy` has quit [Remote closed the connection]
Snark_ has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
Snark_ is now known as Snark
hkBst has quit [Read error: 104 (Connection reset by peer)]
mishok13 has quit [Read error: 110 (Connection timed out)]
DroneZilla has left #ocaml []
hkBst has joined #ocaml
Snark has quit ["Ex-Chat"]
filp has quit ["Bye"]
jonafan has joined #ocaml
rby has joined #ocaml
jonafan_ has quit [Read error: 110 (Connection timed out)]
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
Linktim has joined #ocaml
itewsh has quit [Remote closed the connection]
itewsh has joined #ocaml
kig has quit [Remote closed the connection]
struktured has quit [Read error: 110 (Connection timed out)]
struktured has joined #ocaml
Linktim_ has quit [Read error: 113 (No route to host)]
sporkmonger_ has joined #ocaml
sporkmonger has quit [Read error: 60 (Operation timed out)]
sporkmonger_ has quit [Client Quit]
itewsh has quit ["KTHXBYE"]
itewsh has joined #ocaml
struktured_ has joined #ocaml
rwmjones_ has joined #ocaml
mfp has quit [Read error: 110 (Connection timed out)]
mfp has joined #ocaml
struktured has quit [Connection timed out]
itewsh has quit [Remote closed the connection]
itewsh has joined #ocaml
Linktim has quit ["Quitte"]
jeddhaberstro has joined #ocaml
struktured__ has joined #ocaml
sporkmonger has joined #ocaml
struktured_ has quit [Read error: 60 (Operation timed out)]
itewsh has quit [Remote closed the connection]
middayc has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
struktured_ has joined #ocaml
struktured__ has quit [Read error: 110 (Connection timed out)]
hkBst has quit [Read error: 54 (Connection reset by peer)]
seafood has joined #ocaml
middayc has quit []
dobblego has quit [Remote closed the connection]
seafood has quit [Client Quit]
Submarine has quit [Read error: 104 (Connection reset by peer)]
nuncanada has joined #ocaml
bohanlon has quit [Read error: 113 (No route to host)]
thelema has quit [Read error: 110 (Connection timed out)]
delamarche has quit []
bohanlon has joined #ocaml
rby has quit ["This computer has gone to sleep"]
yangsx has joined #ocaml
seafood has joined #ocaml
seafood has quit [Client Quit]
seafood has joined #ocaml