gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0+beta1 http://permalink.gmane.org/gmane.comp.lang.caml.inria/49168
__mariu__ has joined #ocaml
__mariu__ has quit [Remote host closed the connection]
__marius__ has quit [Ping timeout: 276 seconds]
__marius__ has joined #ocaml
joewilliams is now known as joewilliams_away
RyanRN has joined #ocaml
thrasibule has joined #ocaml
jeddhaberstro has joined #ocaml
__marius__ has quit [Remote host closed the connection]
__marius__ has joined #ocaml
neorab has quit [Quit: WeeChat 0.3.2]
__marius__ has quit [Remote host closed the connection]
prince_ has quit [Quit: 전 이만 갑니다.]
__marius__ has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
RyanRN has quit [Read error: Connection reset by peer]
RyanRN has joined #ocaml
thrasibule has quit [Ping timeout: 265 seconds]
thrasibule has joined #ocaml
__marius__ has quit [Remote host closed the connection]
__marius__ has joined #ocaml
__marius__ has quit [Remote host closed the connection]
jakedouglas has joined #ocaml
alexyk has joined #ocaml
__marius__ has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
prince_ has joined #ocaml
Associat0r has joined #ocaml
derdon has quit [Ping timeout: 265 seconds]
travisbrady has joined #ocaml
RyanRN has quit [Quit: Leaving.]
emmanuelux has quit [Remote host closed the connection]
alexyk has quit [Quit: alexyk]
elehack has quit [Ping timeout: 265 seconds]
thrasibule has quit [Remote host closed the connection]
psnively has joined #ocaml
thrasibule has joined #ocaml
alexyk has joined #ocaml
psnively has left #ocaml []
__marius__ has quit [Remote host closed the connection]
__marius__ has joined #ocaml
__marius__ has quit [Remote host closed the connection]
__marius__ has joined #ocaml
__marius__ has quit [Remote host closed the connection]
thrasibule has quit [Remote host closed the connection]
thrasibule has joined #ocaml
alexyk has quit [Quit: alexyk]
ulfdoz has joined #ocaml
thrasibule has quit [Ping timeout: 265 seconds]
travisbrady has quit [Quit: travisbrady]
mjonsson has quit [Quit: Leaving]
clog has quit [Ping timeout: 245 seconds]
clog has joined #ocaml
jakedouglas has joined #ocaml
LionMadeOfLions has quit [Ping timeout: 240 seconds]
infoe has quit [Ping timeout: 265 seconds]
LionMadeOfLions has joined #ocaml
ulfdoz has quit [Ping timeout: 265 seconds]
ulfdoz has joined #ocaml
infoe has joined #ocaml
joewilliams_away is now known as joewilliams
joewilliams is now known as joewilliams_away
prince_ has quit [Quit: 전 이만 갑니다.]
prince_ has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
prince__ has joined #ocaml
prince_ has quit [Client Quit]
prince__ has quit [Read error: Connection reset by peer]
prince_ has joined #ocaml
prince__ has joined #ocaml
prince__ has quit [Client Quit]
prince_ has quit [Client Quit]
jjong has joined #ocaml
Amorphous has quit [Ping timeout: 248 seconds]
jakedouglas has quit [Quit: Leaving.]
marius has joined #ocaml
marius is now known as Guest81521
Amorphous has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ttamttam has joined #ocaml
ttamttam has quit [*.net *.split]
jonafan has quit [*.net *.split]
emias has quit [*.net *.split]
olegfink has quit [*.net *.split]
jonafan_ has joined #ocaml
__marius__ has joined #ocaml
Guest81521 has left #ocaml []
<__marius__> am i hallucinating, or did there used to be an ocaml-batteries that was more standalone (included ocaml, findlib, etc.)
<flux> I think you are hallucinating.
ttamttam has joined #ocaml
jonafan has joined #ocaml
emias has joined #ocaml
olegfink has joined #ocaml
eldragon has quit [Ping timeout: 248 seconds]
Associ8or has joined #ocaml
jonafan has quit [Ping timeout: 276 seconds]
Associat0r has quit [Ping timeout: 265 seconds]
jeddhaberstro has quit [Ping timeout: 265 seconds]
eldragon_ has joined #ocaml
fremo__ has joined #ocaml
__marius__ has quit [Remote host closed the connection]
fremo__ has quit [Ping timeout: 260 seconds]
eelte has joined #ocaml
coucou747 has quit [Ping timeout: 264 seconds]
sramsay has joined #ocaml
sramsay has quit [Client Quit]
<flux> so, did qt-caml die or is it still going on?
Edward_ has joined #ocaml
<flux> was it too infeasible?
<adrien> well, the last news I heard was that it was 99% ready for a preview/alpha release
<adrien> and the last thing I said about it was that I'd try it from svn but I never had time to
<adrien> (I also have to say that, now, I maybe wouldn't mind dropping the gcc-xml dep and use cowboy instead /o\ )
ftrvxmtrx has joined #ocaml
<flux> cowboy?
<flux> ah, right :)
<flux> I imagine it would not be a trivial task to port it
<flux> also for example ubuntu already has gcc-xml packaged, so it might be easier to compile in general..
<adrien> yes but gcc-xml is quite big and isn't developped upstream anymore
<flux> oh. well that's not good.
<adrien> but I'm not going to do that port, only if needed if gcc-xml disappears, I'm not crazy ;-)
<adrien> currently it works, so why touch it? :P
<flux> nice to know people still having a pragmatic touch in reality ;)
<adrien> perpetual lack of time makes wonder for that ='(
fremo__ has joined #ocaml
fremo__ has quit [Ping timeout: 252 seconds]
Yoric has joined #ocaml
ikaros has joined #ocaml
oriba has joined #ocaml
oriba_ has joined #ocaml
oriba has quit [Ping timeout: 276 seconds]
<flux> adrien, qt-caml doesn't keep their repo at qt-caml.crapulion.org I hope? (last change 2 months ago)
fraggle_laptop has quit [Ping timeout: 264 seconds]
<flux> I wonder how tedious it would be to write a qt/c++/ocaml and bind only the required stuff..
fraggle_laptop has joined #ocaml
itewsh has joined #ocaml
valross has joined #ocaml
oriba_ has left #ocaml []
oriba has joined #ocaml
oriba has left #ocaml []
ikaros has quit [Quit: Leave the magic to Houdini]
fremo__ has joined #ocaml
valross has quit [Quit: Ex-Chat]
julm_ has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
julm_ has quit [Client Quit]
julm has joined #ocaml
sepp2k has joined #ocaml
<adrien> flux: iirc they do, but actually I'm surprised last change was 2 months ago, I thought it'd be more
<adrien> flux: did you mean 'last change two months ago' or 'twelve months ago'?
<flux> hmm, I must've misread it :)
Edward_ has quit [Ping timeout: 252 seconds]
Edward__ has joined #ocaml
Stoneage has joined #ocaml
Yoric_ has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
Yoric_ is now known as Yoric
Edward__ has quit []
julm has quit [Ping timeout: 240 seconds]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
_andre has joined #ocaml
sepp2k has quit [Quit: Leaving.]
mal`` has quit [Quit: Coyote finally caught me]
mal`` has joined #ocaml
Stoneage has quit [Ping timeout: 248 seconds]
bzzbzz_ has quit [Quit: leaving]
julm has joined #ocaml
emmanuelux has joined #ocaml
thrasibule has joined #ocaml
thrasibule has quit [Ping timeout: 265 seconds]
Stoneage has joined #ocaml
Stoneage has quit [Client Quit]
derdon has joined #ocaml
ikaros has joined #ocaml
<adrien> gildor: possible problem in oasis: the .clib file should list .cmo and .cmx files too (as per the manual afaict), I have to leave soon so I'll check in more details later on
derdon has quit [Quit: WeeChat 0.3.0]
elehack has joined #ocaml
<gildor> adrien: OK, check it and tell me (through bug reports if you want)
<gildor> adrien: but I don't see why we should put .cmo/.cmx there
<gildor> (i.e. .clib is intended to list .o object)
<adrien> .o files or object files? the later would include cmo and cmx, and that makes them appear on the ocamlmklib call ( http://pauillac.inria.fr/ocaml/htmlman/manual032.html : example : "ocamlmklib -o zip zip.cmo zip.cmx zipstubs.o -lz -L/usr/local/zlib
<adrien> )
* adrien disappears again, back in 40 minutes
eldragon_ has quit [Quit: Saliendo]
itewsh has quit [Quit: There are only 10 kinds of people: those who understand binary and those who don't]
eldragon has joined #ocaml
_unK has joined #ocaml
__marius__ has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
joewilliams_away is now known as joewilliams
* elehack is confused by usage of index and Byte.b_idx in BatUTF8
ttamttam has quit [Quit: Leaving.]
<thelema> elehack: Byte.b_idx is byte-level indexing into a UTF8 string. index is character-level indexing
<elehack> thelema: but the byte-level indexing functions in BatUTF8 (next, prev, - most except look) use type 'index', while the char-level ones use 'int'
<thelema> the byte level indexing functions usu b_idx
<thelema> index is a byte index, but restricted to only valid start of characters
<elehack> ok, so when it's 'int', it's a character number; when it's 'index', it's a byte index to the start of a character; when it's 'b_idx', it's a byte index that could be anything?
<thelema> it could be either index or char_idx when it's i nt
__marius__ has quit [Remote host closed the connection]
<elehack> ok, but I haven't seen any functions using 'int' when it's clearly byte-level (they all seem to use 'index'), so I think it's consistent in that regard.
<elehack> this started when I was looking for a function to get the character at an 'index', and found that look took a b_idx.
<thelema> treat index as an abstract value for a pointer into the UTF8 string.
<elehack> yes, that does seem to be the thing to do.
<thelema> What do you mean "character at an index? if you mean the nth character in the string, you want Byte.of_char_idx.
<elehack> I wanted the UChar.t of the character starting at a particular byte position.
<thelema> If you mean something byte-oriented, then Byte.of_int_unsafe
<thelema> then you just want look.
<elehack> yep, that's what I wound up using.
<thelema> Byte.of_int_unsafe n |> look str
<thelema> good.
<thelema> how did you get a byte index into a unicode string?
<elehack> offset from a Pcre regex match
<thelema> ah. got it.
<elehack> it could be nice if Batteries 2.0 had Pcre baked-in with the ability to sanely do regex matching over any string type.
<elehack> that gets complicated for ropes, though
<thelema> we may end up writing our own engine. partly for ropes, partly as PCRE is a heavy dependency.
<flux> that's would not be small undertaking, to be as usable or even half the speed of PCRE?
<hcarty> thelema: If you write your own, PLEASE keep the PCRE syntax if possible. We already have three regexp-like syntaxes in OCaml (Str, PCRE and mikmatch)
<flux> although I've sometimes wanted to perform regular expression matches on partial block and apparently that isn't possible with PCRE..
<thelema> well, I probably wouldn't support backreferences
<flux> how big a dependency pcre is, anyway?
<thelema> but other than that, it's all good...
<elehack> the library itself is pretty small; it does depend on having the pcre C library available (true on virtually any *nix, not sure how easy it is on Windows)
<thelema> if it was pure ocaml, I would mind less, but as it's usually distributed in multiple parts...
<thelema> meaning that we'd introduce a dependency with a nontrivial dependency itself
<flux> implementing pcre in ocaml would also make the resulting binaries larger..
<thelema> requiring package management.
<flux> btw, 210 packages in my ubuntu depend on pcre
<thelema> Batteries as architected is usable in a modular way so that only needed modules get compiled in.
jakedouglas has joined #ocaml
<flux> even with open Batteries?
<thelema> as far as I'm concerned, the binary size problem is solved.
<thelema> no, open batteries imports everything.
<thelema> well, yes, just make your own batteries modules that imports just what you need.
<thelema> make a stripped down copy of batteries.ml
<flux> another point of concern is that an ocaml-based pcre implementation would hardly be as efficient as the real one, thus reducing performance on benchmarks :-)
<thelema> :P We'll see about that. My day job involves automata theory.
<flux> doesn't pcre compile re's into automatas as well, for the parts it can atleast?
<thelema> no, it doesn't.
<flux> oh.
<thelema> it's a totally backtracking-based engine.
<flux> so does it have those catastrophic inputs that can make it crawl?
<thelema> even perl has only recently added support for tries to do faster string matching.
<thelema> yes, it does have catastrophic inputs
<flux> oh2.
<flux> well then perhaps a re-implemented re-engine wouldn't be that bad.
<thelema> I plan on having performance similar to: http://swtch.com/~rsc/regexp/regexp3.html
<flux> I've wondered if one could speed up DFA execution by considering two inputs at a same time.. (and use that information to convert it into NFA and back to DFA again)
<flux> (at the expense of consuming more memory, of course)
<thelema> two inputs = two characters?
<hcarty> If the result is Totally Awesome and supports named substrings/matches, then it sounds worthwhile.
<flux> thelema, yes, two consecutive characters
<flux> hcarty, maybe it should be called "TARE"
<elehack> I see that RE2 does not support lookahead/lookbehind assertions... is that fundamental to the concept, or would an OCaml re engine be able to handle them?
<thelema> completely possible, the problem is that the transition tables get unwieldy - 65K transitions per state vs. 256
<elehack> although you have massive transition tables anyway as soon as you allow Unicode.
<thelema> elehack: pretty fundamental to the concept. Maybe possible to cheat to achieve
<flux> thelema, but possibly the transition table could be expressed more efficiently. it would need to be measured if in the end there is anything to gain from it..
<thelema> elehack: true. you have to do compression of some sort to deal with unicode
<flux> also one thing I've thought about ocaml-made re-engines: you could pattern match some non-character entities altogether
<elehack> Camomile's UMap and USet can probably help a lot with the compression for unicode. wouldn't help for two chars though.
<thelema> flux: if anything, it would probably be compressed by splitting it into two stages, the first and the second byte.
<thelema> elehack: camomile's UMap would be fundamental to a unicode regex implementation
<thelema> flux: yes, pattern matching would help with dealing with non-character entities
<elehack> on lookahead/lookbehind again: I don't know how important those are. My current project is the first time I've actually used them.
<elehack> they're convenient, but a lack of them could be worked around without too much difficulty.
<elehack> I don't know how general that situation is, however.
itewsh has joined #ocaml
<thelema> this is generally true. Sometimes the workarounds are really ugly and unmaintainable
* elehack envisions a mikmatch-like syntax extension that generates matching functions which return named subgroups as record fields.
_JFT_ has joined #ocaml
<thelema> maybe I should just spend some time on mikmatch
<flux> lookaheads (and negative lookaheads) are nice
<flux> couldn't they be expressed in some extended form or GNFA that's still reducible to DFA?
_JFT_ has quit [Client Quit]
<elehack> all mikmatch does is generate PCRE (or str) regexes.
<elehack> along with a few other sugarings.
<flux> whatever you choose to do.. please let it be thread-safe :P
<adrien> nah, Str is great ;-)
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
<hcarty> flux: TARE is a fantastic name. It TAREs through data at an TAREible rate.
jonafan_ is now known as jonafan
<flux> hcarty, yeah.. ocaml doesn't have enough of those trendy and hip names. Totally Awesome Regular Expression (-engine) would fill that void.
<flux> batteries is good, too :)
<hcarty> Batteries will power your OCaml as it TAREs through your data
<flux> you might be overdoing it...
<hcarty> Likely so
<adrien> ( http://wordreference.com/fren/tare <- "2. defect." )
<flux> adrien, whoa, the name is even greater than I thought!
<elehack> recursive acronym: TAREibly Awesome Regular Expressions
__marius__ has joined #ocaml
<adrien> flux: well, it sounded really weird in french
jgrozave has joined #ocaml
<jgrozave> does anyone know what myocamlbuild is used for?
<jgrozave> when compiling ocaml from source
<adrien> it's the build-system
__marius__ has quit [Remote host closed the connection]
__marius__ has joined #ocaml
Yoric has quit [Quit: Yoric]
jgrozave has quit [Quit: Page closed]
Arthur_Rainbow has left #ocaml []
__marius__ has quit [Remote host closed the connection]
__marius__ has joined #ocaml
__marius__ has quit [Remote host closed the connection]
__marius__ has joined #ocaml
ygrek has joined #ocaml
Yoric has joined #ocaml
oriba has joined #ocaml
derdon has joined #ocaml
oriba has quit [Quit: Verlassend]
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
Anarchos has joined #ocaml
ulfdoz has joined #ocaml
Yoric has quit [Quit: Yoric]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
emmanuelux has joined #ocaml
ttamttam has joined #ocaml
joewilliams is now known as joewilliams_away
Tianon has quit [Quit: finally gonna get power back]
jakedouglas has quit [Quit: Leaving.]
Yoric has joined #ocaml
_andre has quit [Quit: *puff*]
ttamttam has quit [Quit: Leaving.]
<adrien> gildor: had no time to spend on that but basically, I was trying to make a stupid C binding to usleep() with oasis and the call to ocamlmklib didn't seem very useful (wouldn't include the .cmo or .cmx files and the output .cma and .cmxa files were overwritten by later calls to ocamlc or ocamlopt), I'll try to spend more time on that tomorrow
<gildor> adrien: send me a tarball, I will have a look
<adrien> gildor: actually I already have a tarball: http://pers.yaxm.org/temp/dummy.tar.gz ;-) it was made pretty quickly so I'm not sure everything's ok in the tarball, but more on that tomorrow ;-)
<adrien> good night
jakedouglas has joined #ocaml
<gildor> adrien: I got your answer
<gildor> adrien: <./dummy.{cma,cmxa}>: use_libdummy -> <dummy.{cma,cmxa}>: use_libdummy
<gildor> adrien: this is corrected in version 0.2.0
Yoric has quit [Quit: Yoric]
<gildor> adrien: you can just add <dummy.{cma,cmxa}>: use_libdummy after the OASIS_STOP line
eelte has quit [Quit: 0x2a]
ygrek has quit [Ping timeout: 245 seconds]
ulfdoz has quit [Read error: Operation timed out]
joewilliams_away is now known as joewilliams
skrewla has joined #ocaml
coucou747 has joined #ocaml
<skrewla> hi, I'm having some trouble building calmimages 3.0.2 on opensolaris. i'm getting this error 'gmake: *** No rule to make target `../autoconf/ocaml.m4', needed by `Makefile.in'. Stop.' anyone help?
<gildor> skrewla: is there an aclocal.m4 in the topdir ?
<skrewla> sorry im kind of new at this. topdir you mean my cwd?
<gildor> the toplevel directory of the source
<skrewla> yes
<gildor> you got the patch in 2 sec
<gildor> oops, I don't yet have released this package
<skrewla> oh
Associ8or has quit [Quit: Associ8or]
jakedouglas has quit [Ping timeout: 240 seconds]
<gildor> skrewla: upstream don't add the required macro in aclocal.m4
<skrewla> how can i fix it
<gildor> you need a patch
<gildor> I was creating it
<gildor> but I don't have finished
<skrewla> ok. =)
ikaros_ has joined #ocaml
ikaros has quit [Ping timeout: 265 seconds]
derdon has quit [Quit: WeeChat 0.3.0]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
coucou747 has quit [Quit: 0x2a]
ikaros_ has quit [Quit: Leave the magic to Houdini]
jakedouglas has joined #ocaml
<skrewla> gildor: im curious if the timeline will be hours / days / weeks so i know if i have to work around not having camlimages or not
<skrewla> not rushing you.=)
<gildor> skrewla: you are rushing me
<gildor> skrewla: the workaround is to do aclocal -I m4/, autoconf, automake, ./configure
<gildor> and put it into m4/
<gildor> (before the command above)
<skrewla> thank you thank you=)!!!
<gildor> but automake project should not be distributed this way
__mariu__ has joined #ocaml
joewilliams is now known as joewilliams_away
__marius__ has quit [Ping timeout: 276 seconds]
__mariu__ has quit [Remote host closed the connection]
alexyk has joined #ocaml
valross has joined #ocaml
<alexyk> what's the op for list concat/append?
<gildor> @ 
<alexyk> thx
<skrewla> it fixed the main problem but now i am having this i have lablgtk-2.14.1 installed: http://pastebin.com/VhWG9MZ6
<gildor> does lablgtk get updated ?
<skrewla> let me see
<gildor> maybe a "make clean" is a good way to start
<skrewla> good plan. thanks for your help i appreciate it.
itewsh has quit [Quit: There are only 10 kinds of people: those who understand binary and those who don't]
<skrewla> gildor: are you on this chan a lot? i may need your help at later date. you rock
<alexyk> why can't you do: 1 |> Some;; ?
<gildor> skrewla: I almost never quit the channel, but can be unresponsive when I do something else (sleeping, eating...)
<skrewla> gildor: lol.
alexyk has quit [Quit: alexyk]
Tianon has quit [Read error: Operation timed out]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
__marius__ has joined #ocaml
__marius__ has quit [Remote host closed the connection]
__marius__ has joined #ocaml