ikaros has quit [Quit: Leave the magic to Houdini]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
_unK has quit [Remote host closed the connection]
pad has joined #ocaml
smimou has quit [Ping timeout: 260 seconds]
smimou has joined #ocaml
smimou has quit [Changing host]
smimou has joined #ocaml
pad has quit [Remote host closed the connection]
M| has joined #ocaml
smimou has quit [Ping timeout: 268 seconds]
schme has quit [Ping timeout: 264 seconds]
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
enthymeme has joined #ocaml
smimou has joined #ocaml
wormphlegm has joined #ocaml
Morphous has quit [Ping timeout: 264 seconds]
Morphous has joined #ocaml
onigiri_ has quit [Quit: onigiri_]
goomba has quit []
thrasibule has quit [Ping timeout: 260 seconds]
M| has quit [Read error: Operation timed out]
M| has joined #ocaml
middayc_ has joined #ocaml
ggole has joined #ocaml
wormphlegm has quit [Quit: bye]
middayc has quit [*.net *.split]
avsm has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
avsm has joined #ocaml
Pepe_ has joined #ocaml
middayc_ has quit [Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100401080539]]
ulfdoz has joined #ocaml
Yoric has joined #ocaml
smimou has quit [*.net *.split]
valross has quit [*.net *.split]
jakedouglas has quit [*.net *.split]
maattd has quit [*.net *.split]
brendan has quit [*.net *.split]
nimred has quit [*.net *.split]
flux has quit [Read error: Connection reset by peer]
flux has joined #ocaml
smimou has joined #ocaml
valross has joined #ocaml
jakedouglas has joined #ocaml
maattd has joined #ocaml
brendan has joined #ocaml
nimred has joined #ocaml
smimou has quit [Ping timeout: 276 seconds]
smimou has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
Yoric has quit [Quit: Yoric]
joewilliams is now known as joewilliams_away
lloydmoore has quit [Quit: gotta run]
ttamttam has joined #ocaml
ttamttam has quit [Quit: Leaving.]
enthymeme has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
marteo has joined #ocaml
smimou has quit [Ping timeout: 268 seconds]
smimou has joined #ocaml
smimou has quit [Changing host]
smimou has joined #ocaml
ulfdoz has quit [Ping timeout: 264 seconds]
ftrvxmtrx has joined #ocaml
valross has quit [Ping timeout: 276 seconds]
ttamttam has joined #ocaml
Yoric has joined #ocaml
ttamttam has quit [Quit: Leaving.]
ttamttam has joined #ocaml
avsm has quit [Quit: Leaving.]
komar_ has joined #ocaml
onigiri_ has joined #ocaml
smimou has quit [Ping timeout: 268 seconds]
smimou has joined #ocaml
spearalot has joined #ocaml
pimmhogeling has joined #ocaml
peddie has quit [Ping timeout: 276 seconds]
peddie has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
peddie_ has joined #ocaml
ygrek has joined #ocaml
ikaros has joined #ocaml
peddie has quit [Ping timeout: 276 seconds]
avsm has joined #ocaml
lvillani has joined #ocaml
lvillani has quit [Ping timeout: 248 seconds]
lvillani has joined #ocaml
smimou has quit [Ping timeout: 268 seconds]
smimou has joined #ocaml
sepp2k has joined #ocaml
smimou has quit [Ping timeout: 276 seconds]
smimou has joined #ocaml
smimou has quit [Changing host]
smimou has joined #ocaml
drk-sd has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
jsk-afk is now known as jsk1
jsk1 is now known as jsk-office
lvillani has quit [Quit: Leaving]
mcclurmc has joined #ocaml
Gooffy has joined #ocaml
barismetin has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
smimou has quit [Ping timeout: 276 seconds]
_andre has joined #ocaml
th5 has joined #ocaml
smimou has joined #ocaml
seafood has joined #ocaml
thrasibule has joined #ocaml
ggole has quit [Quit: Leaving]
thrasibule has quit [Ping timeout: 246 seconds]
onigiri_ has quit [Quit: onigiri_]
onigiri_ has joined #ocaml
onigiri_ has quit [Client Quit]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
ikaros has joined #ocaml
smimou has quit [Ping timeout: 268 seconds]
komar_ has quit [Ping timeout: 252 seconds]
drk-sd has quit [Quit: spoilers.]
derdon has joined #ocaml
komar_ has joined #ocaml
smimou has joined #ocaml
seafood has quit [Ping timeout: 246 seconds]
drk-sd has joined #ocaml
marteo has quit [Ping timeout: 276 seconds]
synfin has joined #ocaml
seafood has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
smimou has quit [Read error: Operation timed out]
<th5>
What would you call a type definition without constructors? (* type tfalse;; *) An uninhabited type?
Shoggoth has joined #ocaml
smimou has joined #ocaml
_unK has joined #ocaml
<hcarty>
th5: I believe it's "abstract type"
<th5>
thanks
<adrien>
gildor: just installed ocamlify and odn, I take it the build system is oasis, it looks really nice :-)
<adrien>
gildor: btw, could you update the ocaml-fileutils package in godi? (it's currently 0.3.0)
<hcarty>
mehdid: Thanks for the patch. I'll take a look at it and see if I can get it to work.
<thelema>
hcarty: if the type actually has constructors in the implementation, but is presented in the interface as an uninhabited type in the spec, then it's an abstract type
<thelema>
th5: if it's without constructors in both spec and implementation, it's an uninhabited type. These types are used often in phantom types.
<gildor>
adrien: how could I update something in GODI, I think I need commit access to their svn ?
<adrien>
gildor: I don't really know, I don't maintain any package (yet) but I saw you mentionned as the maintainer, you don't have enough rights?
spearalot has quit [Quit: Computer has gone to sleep]
<gildor>
adrien: I am the upstream maintainer, not the GODI maintainer, I think it is what it means
Shoggoth has quit [Remote host closed the connection]
<gildor>
adrien: ps: have you any wishes for ocaml-fileutils, I intend to work on it quite soon, to implement some cat/tac/grep functions
<thelema>
gildor: any ideas if ocamlbuild could benefit from ocaml-fileutils?
<adrien>
gildor: you're mentionned as "GODI maintainer". You didn't submit the godi package?
<gildor>
thelema: it could for doing some mv/cp/whatever
<gildor>
adrien: I don't submit the ocaml-fileutils GODI package ?-)
<gildor>
thelema: but I don't think they wish to use it
<hcarty>
thelema: Ah, thank you! I knew I was missing something.
<thelema>
gildor: maybe they should. I'll add patching ocamlbuild to use ocaml-fileutils to my todo list
<thelema>
hcarty: no problem.
<adrien>
gildor: yeah, I have one or two wishes for ocaml-fileutils, there was something about symlink handling (currently it does stat() and I needed lstat()) and I don't remember for the rest, I'll have to check the source of yypkg
<adrien>
currently making a package with oasis :-)
<adrien>
gildor: ok, weird for the godi package
<gildor>
thelema: but there is a chicken and egg problem: ocaml-fileutils uses ocamlbuild
<gildor>
adrien: I am here, don't hesitate to ask/send me bug
<thelema>
I have no problems breaking the recursion by embedding ocaml-fileutils code into ocamlbuild source - extracting a mini-fileutils library.
<adrien>
gildor: ok, probably around this weekend
<gildor>
I have on my own submitted a couple of wishlist to OASIS, concerning the "OASIS -dev" usage
<thelema>
of course I wish I could do otherwise, but that's not a real problem
<thelema>
ocamlbuild already has its own extended stdlib if you look in its source.
<gildor>
thelema: you need to find a way to synchronize easily the mini-fileutils and ocaml-fileutils
<thelema>
I agree that would be good. I don't see it as required.
<mehdid>
gildor: newbie question about ocaml-fileutils: how do you write "let s = `cat $truc | grep $machin | awk $program | sed $filtre`"? let s = sed (awk (grep (cat $truc) $machin) $program) $filtre) ?
<thelema>
of course, I'll leave in all your copyright notices.
<gildor>
mehdid: not clear for now, pipe don't exist
spearalot has joined #ocaml
<mehdid>
gildor: and a monad for that?
<gildor>
mehdid: this was more about "cp [truc] somewhere; rm ~recurse:true [truc; somewhere]"
<thelema>
cat truc |> grep machin |> awk program |> sed filtre
<mehdid>
yes exactly, it would be nice to have that in ocaml fileutils
<gildor>
thelema: yep, I think I will try to draft something like for next version
<adrien>
I wonder if one of my request wasn't going to read the output of a process (it was a request for something but can't remember for which project...)
<gildor>
no precise idea for now
seafood has quit [Quit: seafood]
<thelema>
It could be reasonable to use a [string Enum.t] to bind these together - as argument and return value of each of those functions
<gildor>
but I would like to have cat: fn list -> (fn * line_num * string) list
<adrien>
btw, I think that piping between processes can be horribly slow on windows
<thelema>
line number?
<gildor>
thelema: yes for grep
<gildor>
adrien: I have done some test for piping under windows and it is not as slow as you think
<gildor>
adrien: piping no windows can be as fast as on linux
<thelema>
gildor: change list to Enum.t and I'm happy.
<gildor>
adrien: the realy big difference is when you pipe huge volume of data between linux/freebsd
<gildor>
Enum.t like in batteries ?
<thelema>
gildor: yes
<thelema>
otherwise you're loading the whole file into memory
<gildor>
next/count/clone ?
<thelema>
yup
<gildor>
count need to read the whole file ?
<adrien>
gildor: with yypkg, I used to have "gzip -c -d ... | tar ...' with two calls to Unix.create_process and Unix.pipe and it was aweful, it would take hours to extract something 7zip (or yypkg/bsdtar now) extracts in 30 seconds
<thelema>
if you call it
<thelema>
you don't have to provide an exact count, you can provide a function that'll do the counting.
<adrien>
I'd almost bet on a buffer size problem (reads being too small) but I haven't investigated it
<gildor>
thelema: however I don't wish to depend on batteries
<thelema>
it's too big a dependency?
<gildor>
adrien: which OCaml version? I sent a bug to have at least the same size for pipe on windows as the buffer size of Pervasives.*channel
<adrien>
gildor: 3.11.2 I think
<gildor>
thelema: no direct use in ocaml-fileutils for batteries right now
<gildor>
adrien: 3.11.2 should be ok
<adrien>
gildor: no actually, I used the windows binary from caml.inria.fr and now I remember that X. Leroy mentionned they hadnt updated them =)
<adrien>
yup, 3.11.0 actually
<adrien>
gildor: I'll give it a try, thanks :-)
<gildor>
adrien: I am not sure it will be a big difference
<thelema>
possibly another reason not to use batteries is that batteries/win32 is pretty untested.
<adrien>
probably worth a try (I'll probably also try different values then)
joewilliams_away is now known as joewilliams
synfin has left #ocaml []
<adrien>
gildor: also, I'm trying to use oasis for yacfe with -quickstart, for libraries, does it expect a folder with all the files to install and only these files? (basically, as it would be created with an ocamlfind install)
<gildor>
adrien: no, it will publish .cma/.a/.cmxa and .cmi/.mli/.ml of Modules:
<gildor>
you can put Modules in sub folder
<gildor>
and you can add extra modules (not published) using InternalModules:
<gildor>
e.g
<gildor>
Library foo
<gildor>
Path: src
<gildor>
Modules: A, sub/B
<gildor>
InternalModules: C
<gildor>
will install foo.cma, A.ml, A.cmi, B.ml, B.cmi + META
<adrien>
okay, I thought it was asking for the path to a .cm* while it's actually a folder that is included when searching for files (like -I with ocaml/cc/cpp/...), right?
<gildor>
yes
<gildor>
most common case would be to have everything in the same directory
<adrien>
ok, all good, thanks :-)
<thelema>
gildor: for batteries, I should list *all* the modules in batteries on the Modules: line?
<gildor>
thelema: yes but on the other hand OASIS will generate the corresponding .mllib file
<thelema>
nice. at least I don't have to duplicate that.
<gildor>
thelema: I think today you write all the module in the .mllib file, aren't you ?
<gildor>
thelema: indeed and you can make a difference between published and unpublished modules
<gildor>
all in the same files ;-)
<gildor>
-s
boscop has joined #ocaml
thomasga has left #ocaml []
spearalot has quit [Quit: -arividerchi]
samoht1 has joined #ocaml
samoht1 has quit [Client Quit]
thomasga has joined #ocaml
<thomasga>
do you know if the -dlamba output is documented somewhere ? (or at least better than in lambda.ml ?)
ikaros has quit [Quit: Leave the magic to Houdini]
<mfp>
thomasga: AFAIK it isn't
ftrvxmtrx has quit [Quit: Leaving]
smimou has quit [Ping timeout: 276 seconds]
smimou has joined #ocaml
pimmhogeling has quit [Ping timeout: 265 seconds]
Gooffy has left #ocaml []
smimou has quit [Ping timeout: 276 seconds]
smimou has joined #ocaml
<adrien>
gildor: I'm not there yet but how well does oasis handle C stubs?
<gildor>
adrien: hopefully quite nice ;-)
<gildor>
(but I cannot say the contrary)
<gildor>
adrien: you define CSources: toto.c and it adds what is needed
<mehdid>
hcarty: let me know if you make it work correctly :-) I think it could make an intesting useful package for newbies (if fixed correctly).
<gildor>
adrien: you can use CCOpt/CCLib/DllLib/DllPath to define what flags you want
<gildor>
adrien: what is missing is detection of the dependency on the C library (a la pkg-config)
<adrien>
gildor: ok, I'll try it for cowboy, with ocaml-gir it was quite a pain (involved sedding a Makefile.config which was then included by OCamlMakefile)
<adrien>
well, I'll call pkg-config myself if needed
<gildor>
yep, use PostConfCommand if you want
<gildor>
(or PreConfCommand)
smimou has quit [Ping timeout: 276 seconds]
<derdon>
are lists mutable?
<gildor>
derdon: no
<derdon>
ok
<derdon>
makes things easier :)
<gildor>
maybe Extlib/Batteries provide mutable lists
fraggle_ has quit [Quit: -ENOBRAIN]
jakedouglas has joined #ocaml
<thelema>
derdon: Batteries' Vect.t is likely what you want, although it depends on what operations you want.
ftrvxmtrx has joined #ocaml
<derdon>
thelema: I don't search for mutable lists. I only wanted to be sure whether they are mutable or not
<derdon>
thelema: do you know a good way of extending List or BatList?
<derdon>
ah, BatList looks good
<derdon>
and BatStack :)
<adrien>
and if you want to extend BatList, I'm sure you can send patches against batteries ;-)
<thelema>
I'm pretty liberal about accepting patches. :)
fraggle_ has joined #ocaml
<adrien>
I hate it when you're missing a .cmi file...
<derdon>
thelema: ok. but I'm only a beginner and have nearly no experience with OCaml
<flux>
thelema, talking about patches, what would you feel about CharParser getting char/string-based convenience functions with the same names as they are in ParserCo?
<thelema>
I'll make sure to look over your contribution, and reject junk.
sepp2k has quit [Remote host closed the connection]
<flux>
or perhaps the list would be better forum for this :)
<thelema>
flux: the list is better, I think. I don't use either CharParser or ParserCo, so don't know them that well.
<flux>
they are pretty neat, but need fiddling
smimou has joined #ocaml
smimou has quit [Changing host]
smimou has joined #ocaml
<thelema>
Have your fiddling done before 2.0 comes out, if you need to change anything.
avsm has quit [Ping timeout: 245 seconds]
<adrien>
okay, I guess I suck at writing _oasis files ^^
<adrien>
will try again tomorrow
ttamttam has quit [Quit: Leaving.]
<adrien>
gildor: btw, do you have examples of _oasis files? maybe the ones written during the hacking day?
barismetin has quit [Quit: Leaving...]
th5 has quit [Quit: th5]
sepp2k has joined #ocaml
msteele has quit [Ping timeout: 246 seconds]
msteele has joined #ocaml
komar_ has quit [Quit: WeeChat 0.2.6]
lvillani has joined #ocaml
maskd has joined #ocaml
oc13 has joined #ocaml
lvillani has quit [Remote host closed the connection]
<flux>
thelema, is there any kind of approximation when that might be?
lvillani has joined #ocaml
ttamttam has joined #ocaml
Yoric has quit [Quit: Yoric]
smimou has quit [Read error: Operation timed out]
<thelema>
flux: at the current rate, 1.2 will be out in a week or so, August seems like a good time for 2.0 and the few backwards-compatibility-breaking changes we have in the pipeline to arrive
smimou has joined #ocaml
<hcarty>
thelema: Any chance that the estring magic could be completed by 1.2 or 2.0? I don't know camlp4 well enough to do it myself, but it would be nice to have (Print.printf p"%05.2f" 1.234567) work correctly.
<hcarty>
Though, writing that, I wonder if it is in the bugtracker... It was discussed on the list at some point, but that was pre-AAA.
<thelema>
You can do [Printf.printf "%05.2f" 1.234567] already
<thelema>
I'll have to look into the magic needed for the Print-module format strings
<hcarty>
thelema: I'd like the consistent magic of Print.* :-) But it's beyond my current knowledge / time to take on at the moment.
<hcarty>
Should bugs be reported on github or the forge?
<thelema>
github please.
<mfp>
hcarty: p"..." is already supported
jimmyb2187 has joined #ocaml
<mfp>
# Print.printf p"%s";;
<mfp>
- : string -> unit = <fun>
<thelema>
mfp: we should document that - I thought that the estring only did r"" and u""
peddie_ has quit [Read error: Connection reset by peer]
krankkatze has joined #ocaml
<hcarty>
mfp: It does work, but not with "% 5.2f" and similar directives
peddie has joined #ocaml
<hcarty>
The documentation said (says?) that it should work though, and it would need to in order to replace Printf.*
<thelema>
hcarty: now I understand the request - you need parameterized float printing using Print.*
oc13 has quit [Quit: oc13]
<hcarty>
thelema: Yes - it is documented in the BatPrint documentation
<hcarty>
It is a long-standing issue with the estring syntax extension
<gildor>
adrien: take a look at subdir, they contain _oasis file
itewsh has joined #ocaml
smimou has quit [Ping timeout: 276 seconds]
jao has joined #ocaml
pimmhogeling has joined #ocaml
MrEvil has joined #ocaml
smimou has joined #ocaml
_andre has quit [Quit: *puff*]
derdon has quit [Ping timeout: 260 seconds]
smimou has quit [Ping timeout: 276 seconds]
smimou has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
ttamttam has quit [Quit: Leaving.]
ikaros_ has quit [Quit: Leave the magic to Houdini]
Asmadeus has quit [Read error: Operation timed out]
Asmadeus has joined #ocaml
fraggle_ has quit [Ping timeout: 248 seconds]
ygrek has quit [Ping timeout: 245 seconds]
lvillani has quit [Quit: Leaving]
fraggle_ has joined #ocaml
itewsh has quit [Quit: There are only 10 kinds of people: those who understand binary and those who don't]
brendan has quit [Quit: leaving]
jeddhaberstro has joined #ocaml
seg_ has joined #ocaml
seg_ has left #ocaml []
segmond has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
jakedouglas has joined #ocaml
<adrien>
gildor: ok, thanks, will take a look when I can (most probably not before this week-end unfortunately)
brendan has joined #ocaml
krankkatze has quit [Remote host closed the connection]
sepp2k has quit [Quit: Leaving.]
<gildor>
adrien: maybe you can write me an email explaining what problem you have, it will help me to clarify certain points
<gildor>
adrien: this is only v 0.1.0 for the program and the website, maybe it need some more polish
<adrien>
gildor: yeah, will do
<adrien>
but half the problem (or more) is that the lib is not really mine so I don't know for sure how it should be packaged and actually it wasn't meant to be used as a lib
<adrien>
well, it was but wasn't at the same time...
pimmhogeling has quit [Ping timeout: 245 seconds]
komar_ has quit [Quit: WeeChat 0.2.6]
myu2 has quit [Quit: Leaving...]
thrasibule has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]