gnuvince_ has quit [Quit: Remember when men were men and regular expressions recognized regular languages?]
lggr has quit [Ping timeout: 240 seconds]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
cdidd has joined #ocaml
lggr has joined #ocaml
<goat25>
why does Array not have map2 ?
lggr has quit [Ping timeout: 256 seconds]
gnuvince has joined #ocaml
lggr has joined #ocaml
pr has joined #ocaml
pr has quit [Changing host]
pr has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
lggr has joined #ocaml
ulfdoz has quit [Ping timeout: 246 seconds]
Yoric has quit [Ping timeout: 246 seconds]
ulfdoz has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lusory has quit [Ping timeout: 246 seconds]
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
madroach has quit [Ping timeout: 265 seconds]
madroach has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
parcs` has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
parcs` has left #ocaml []
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
<Ptival>
goat25: because it's never needed in the compiler's code?
lggr has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
lggr has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
lggr has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
lggr has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
ankit9 has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
Snark has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
Yoric has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
djcoin has joined #ocaml
err404 has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
<flux>
goat25, you'll probably find that some alternative (/additional) standard library such as Batteries or Jane Street Core has all those things :)
lggr has quit [Ping timeout: 260 seconds]
pango is now known as pangoafk
lggr has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
<fasta>
Is there any diff library which works?
lggr has quit [Ping timeout: 245 seconds]
<fasta>
mldiff is broken.
<adrien>
how so?
<fasta>
Alternatively, is there an easy way to use the unix diff from OCaml? I am thinking of a similar interface as runInteractiveProcess which Haskell has.
<fasta>
adrien: it doesn't compile with Ocaml4.
<fasta>
I don't quite understand the reasoning behind breaking backwards compatibility.
<adrien>
it happens, and it's a major version change
<adrien>
and there's 50% chance it's mldiff using warn-error
<adrien>
and diff isn't an interactive process
lggr has joined #ocaml
<fasta>
adrien: diff <(echo hello) <(echo hello)
<fasta>
adrien: that works in bash
<fasta>
adrien: what would the equivalent Ocaml be?
<adrien>
that's a bashism
<adrien>
not even posix
<fasta>
adrien: so?
<adrien>
what's your input? from programs or from files?
<fasta>
adrien: if you would write something in OCaml, I am not going to say 'that's an Ocamlism'.
<fasta>
adrien: one is a file, one is a string variable.
<adrien>
my point is that a bashism doesn't change the nature of a program which is merely invoke
<adrien>
d
<adrien>
one way or another, the unix command works on files, not on pipes
<fasta>
adrien: sure, but the illusion is created that it does.
<adrien>
so you'd do the same as bash and write to a file, then call diff
<fasta>
adrien: so, bash writes to a TMPDIR file?
<adrien>
or fix the mldiff build failures
<adrien>
it does most probably
<fasta>
adrien: isn't there already some process library which does these basic things?
<fasta>
I.e., Ocaml supposedly comes with 'batteries'...
lggr has quit [Ping timeout: 244 seconds]
<adrien>
OCaml has a big standard library but the bigger ones Batteries and Core are separate libraries
lggr has joined #ocaml
ftrvxmtrx has joined #ocaml
<pippijn>
which one is better?
cago has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
beginner42 has joined #ocaml
<adrien>
tomatoes
<adrien>
I don't like apples that much
<pippijn>
ok
lggr has joined #ocaml
ankit9 has quit [Remote host closed the connection]
tufisi has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
<fasta>
What's the 'proper' way to create a library and subsequently use it in some completely unrelated place in the file system? E.g. a hello world library which merely does print_string "hello world" which is then used in some other program?
<fasta>
(Same question for dynamically linked libraries too)
<adrien>
so a system-wide library?
lggr has joined #ocaml
<fasta>
adrien: I would prefer to 'install' it below $HOME somewhere.
<adrien>
make it known to ocamlfind: you can add several locations for libraries in the ocamlfind.conf file
<adrien>
I think you can do it with environment variables too but I'm not sure
<fasta>
adrien: I think I know that part.
<adrien>
besides creating the .ml file and compiling it into a .cmo/cmx or .cma/cmxa, that's the only thing to do
<fasta>
adrien: is there some logic to the 'x' in the cmx name?
<fasta>
cm= caml
<fasta>
So far so good. o= object file.
<fasta>
a=archive
<adrien>
I'm not aware of one
<fasta>
extra
<fasta>
It stands for extra.
<adrien>
except 'x' is 'Xtra' and "faster" or "super" or ...
<fasta>
adrien: and when using the library, I should use #load "foobar.cma"?
<adrien>
only in the toplevel; but as soon as you make it known to ocamlfind, you can use it like any other library that is installed through ocamlfind
lggr has quit [Ping timeout: 246 seconds]
<adrien>
so in the toplevel, #use "topfind";; #require "foobar";;
<adrien>
(except you have to split that on two lines)
<adrien>
and for compilations, it depends on your build system
<fasta>
adrien: no, I want to compile applications.
lggr has joined #ocaml
<fasta>
It seems really odd to have the interpreter and compiler not understand the same language.
<adrien>
what is your build system? does it alreay rely on ocamlfind for some libraries?
<fasta>
By interpreter, I mean #!/usr/bin/ocaml
<fasta>
adrien: I don't have one yet for OCaml.
<fasta>
Initially it would be simplest if I could use pass files on the command line to the compiler.
BiDOrD_ has joined #ocaml
<fasta>
After I see that working, I will select a build system.
<adrien>
well, #load is positional: it only applies to lines that appear later in the input; that's a bit weird for compiling files
<fasta>
adrien: but isn't it static information?
<fasta>
adrien: or is it also possible to do #load myvariablelocation?
<adrien>
nope, it's very specific to both the toplevel and whole .cma modules (or .cmo)
<adrien>
depending on the size of your build system, you can call the compiler directly (or through ocamlfind) too, but that's really an option only for projects with a few files
BiDOrD has quit [Ping timeout: 246 seconds]
<fasta>
How can you get an interactive development experience then? Using #!/usr/bin/ocaml <ocaml code> here, has fast iteration times.
lggr has quit [Ping timeout: 255 seconds]
<fasta>
But since you cannot use the same instructions for the compiler as the interpreter, you are forced to make a choice then.
<adrien>
I copy-paste to the toplevel; in my case, I'm often not able to do interactive development since I act on precious files or I'm using GTK+
lggr has joined #ocaml
<adrien>
I load the toplevel, tell it to load ocamlfind support, then my libraries
sivoais has quit [Ping timeout: 260 seconds]
astertronistic has quit [Ping timeout: 244 seconds]
<fasta>
Precious files?
<fasta>
Or previous?
<adrien>
precious files: one which I don't want to be removed by mistake; and I work in chroots too
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
sivoais has joined #ocaml
ankit9 has joined #ocaml
<fasta>
adrien: don't you have 'cp' for that?
lggr has quit [Ping timeout: 255 seconds]
<adrien>
oh, I started that way but now the system is too complex for it to be easy to make a fake environment
<adrien>
(but I don't have much left to debug nowadays too :-) )
sepp2k has joined #ocaml
lggr has joined #ocaml
yroeht has quit [Ping timeout: 276 seconds]
<fasta>
adrien: what are you working on then?
<adrien>
yypkg, (almost) braindead package manager that works on windows too (which is one reason it's braindead)
<adrien>
and the build scripts
thomasga has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
mnabil has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
astertronistic has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
jpdeplaix has quit [Quit: WeeChat 0.3.7]
jpdeplaix has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
ocp has joined #ocaml
lggr has joined #ocaml
Yoric has quit [Ping timeout: 248 seconds]
chambart has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
beckerb has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
astertronistic has quit [Ping timeout: 245 seconds]
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
Yoric has joined #ocaml
mcclurmc has quit [Quit: Leaving.]
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
Kakadu has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
beginner42 has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
mcclurmc_away is now known as mcclurmc
mcclurmc1 has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
_andre has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
yroeht has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
ankit9 has quit [Ping timeout: 245 seconds]
lggr has quit [Ping timeout: 246 seconds]
<Kakadu>
What people want to say when leaving C name of external function empty?
<Kakadu>
i.e. external get_host_reserved_memory: debug_info -> int64 = ""
lggr has joined #ocaml
<thomasga>
Kakadu: this is used by citrix pre'processor to generare client/server functions
<thomasga>
(ie. that's part of ocaml-rpc syntax extension)
<Kakadu>
thomasga: so it is not general technique, it is xen's ad-hoc syntx
<Kakadu>
?
mcclurmc1 has left #ocaml []
<Kakadu>
aaaa, extension
<Kakadu>
okay
<thomasga>
yup
lggr has quit [Ping timeout: 260 seconds]
* Kakadu
, btw, maybe will write some outsource about rewriting squeezed and Kakadu is collecting information about xapi
ontologiae has joined #ocaml
lggr has joined #ocaml
paolooo has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
cdidd has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
hnrgrgr has quit [Quit: leaving]
hnrgrgr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
ImAlsoGreg has quit [Ping timeout: 246 seconds]
break has joined #ocaml
ImAlsoGreg has joined #ocaml
<break>
hi, how can i compile ocaml file without quitting vim editor ? is there any tool as touareg mode in emacs ?
<companion_cube>
:make
<companion_cube>
but no, there is not an equivalent of tuareg for vim :/
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
Catnaroek has joined #ocaml
ImAlsoGreg has quit [Ping timeout: 245 seconds]
lggr has quit [Ping timeout: 255 seconds]
<djcoin>
break: :!<whatever>
<djcoin>
(:! will make a system call)
<djcoin>
i mean, will execute the following command in the shell
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
<break>
djcoin: i found the omlet plugin for vim , but it helps just for ident and not for compilation
<break>
djcoin: so , i must do the :!compile :/
<djcoin>
break: I don't program in ocaml much, but I know a bit of vim. You can try, ":!ocamlc % " for example. Or make a makefile, or assign a special shortcut and so on.
<djcoin>
Using a makefile and calling :!make or :make, I guess will get you done
lggr has joined #ocaml
break has quit [Ping timeout: 245 seconds]
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
Catnaroek has quit [Quit: leaving]
lggr has quit [Ping timeout: 248 seconds]
smondet has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
ImAlsoGreg has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
ankit9 has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
Kakadu has quit [Quit: Page closed]
lggr has quit [Ping timeout: 246 seconds]
cago has quit [Quit: Leaving.]
lggr has joined #ocaml
fraggle_laptop has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
UncleVasya has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
rixed has joined #ocaml
lggr has joined #ocaml
sivoais has quit [Ping timeout: 245 seconds]
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
sivoais has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
Kakadu has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
rixed has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 256 seconds]
ocp has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
jpdeplaix has quit [Quit: WeeChat 0.3.7]
jpdeplaix has joined #ocaml
milosn has quit [Ping timeout: 268 seconds]
milosn has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
osa1 has joined #ocaml
lggr has joined #ocaml
iZsh has quit [Ping timeout: 240 seconds]
iZsh has joined #ocaml
UncleVasya has quit [Ping timeout: 260 seconds]
UncleVasya has joined #ocaml
ankit9 has quit [Quit: Leaving]
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
milosn has quit [Ping timeout: 245 seconds]
cdidd has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
milosn has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
Yoric has quit [Ping timeout: 255 seconds]
milosn has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
ftrvxmtrx has joined #ocaml
milosn has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
milosn has quit [Ping timeout: 255 seconds]
milosn has joined #ocaml
Sablier has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.7]
avsm1 has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
mcclurmc is now known as mcclurmc_away
lggr has quit [Ping timeout: 260 seconds]
pangoafk is now known as pango
jamii has joined #ocaml
jamii has quit [Client Quit]
jamii_ has joined #ocaml
jamii_ is now known as jamii
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
oriba has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
sepp2k has quit [Ping timeout: 245 seconds]
sepp2k has joined #ocaml
matthiasgorgens has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
matthiasgorgens has joined #ocaml
paolooo has quit [Quit: Page closed]
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
chambart has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
pngl has joined #ocaml
sivoais has quit [Ping timeout: 255 seconds]
lggr has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
lggr has joined #ocaml
UncleVasya has quit [Read error: Connection reset by peer]
tufisi has quit [Read error: Operation timed out]
lggr has quit [Ping timeout: 256 seconds]
tufisi has joined #ocaml
Cyanure has joined #ocaml
lggr has joined #ocaml
jave has quit [Ping timeout: 248 seconds]
ontologiae has quit [Ping timeout: 246 seconds]
lggr has quit [Ping timeout: 240 seconds]
trotro has joined #ocaml
jave_ has joined #ocaml
lggr has joined #ocaml
Xizor has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
trotro has quit [Quit: Leaving]
lggr has joined #ocaml
UncleVasya has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
TDJACR has joined #ocaml
trotro has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
wmeyer``` has quit [Remote host closed the connection]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
<pippijn>
wmeyer: I found that the ocaml lexer is a lot slower than the C++ one
lggr has joined #ocaml
matthiasgorgens has quit [Read error: No route to host]
<pippijn>
wmeyer: it takes 1 second to tokenise a 3.8M file
<pippijn>
wmeyer: I tried ulex, it's much faster (0.6 seconds)
watermind has joined #ocaml
<watermind>
hi
<watermind>
I'm trying to compile lablgtk from source
UncleVasya has quit [Quit: UncleVasya]
<watermind>
compilation works but I get cma files only and not the corresponding cmxa files
<watermind>
lablgtk.cma lablgtksourceview2.cma
<watermind>
any idea how to fix this?
trotro has quit [Quit: Leaving]
trotro has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
<pippijn>
wmeyer: make that 0.3
lggr has joined #ocaml
err404 has quit [Read error: Connection reset by peer]
Snark has quit [Quit: Quitte]
<watermind>
nevermind done
lggr has quit [Ping timeout: 246 seconds]
watermind has quit [Quit: Konversation terminated!]
<fasta>
OCaml's exhaustiveness checking doesn't work for values of type int involving >= and <= in its default settings. Is there some way to make it work harder or is it just a fundamentally broken feature?
lggr has joined #ocaml
<trotro>
fasta, today ocaml is not coq :)
<flux>
I imagine it's a choice of choosing to support the most common case instead of also 'some' cases involving the guard
<flux>
although it would be pretty nice if guards were also exhaust-checked and if they cannot be, then the current warning would be emitted
<fasta>
Reasoning over (int,<,=) is not exactly rocket science.
<fasta>
But I suppose it does keep the compiler fast.
<flux>
no, but it's entering into the domain of doing exhaustiveness checking for guards
<fasta>
I think such a feature would be useful for a 'release build'.
lggr has quit [Ping timeout: 245 seconds]
<trotro>
a proof language integrated in ocaml could be useful
<fasta>
Can you even write | x <= 1 = 1; | x>=1 =2; in Coq?
<fasta>
If 1 and 2 would be Reals, you would have to prove that doing a comparison terminates, which should be easy, but still some work.
lggr has joined #ocaml
<trotro>
comparison comes from the CPU
<trotro>
terminating is an axiom
<trotro>
no ?
ontologiae has quit [Ping timeout: 260 seconds]
lggr has quit [Ping timeout: 245 seconds]
<fasta>
trotro: f x = x == pi would not terminate for example.
lggr has joined #ocaml
jpdeplaix has quit [Ping timeout: 245 seconds]
chambart has joined #ocaml
<fasta>
Interestingly, you could make it to terminate in this case.
<trotro>
fasta, two points 2) if it don't terminate it's because it's not true (true = provable sinc Hilbert) 2) i was thinking of double, not real, because real are almost useless in 99% of programs
jpdeplaix has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
<fasta>
trotro: I suppose you cannot actually denote pi in the first place.
<trotro>
acos(-1) :D
<trotro>
(it's how it's defined in ocaml source)
_andre has quit [Quit: leaving]
<fasta>
If you wanted to say anything about pi, you'd probably have to say something about pi_algorithm1 1 n vs pi_algorithm2 1 n
lggr has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
trotro has quit [Quit: Leaving]
lggr has quit [Ping timeout: 248 seconds]
emmanuelux has joined #ocaml
lggr has joined #ocaml
trotro has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
Xizor has quit [Quit: So yes it's mIRC under wine under debian double peche capital. ;) I'll soon see in kfreeBSD.]
hongboz has joined #ocaml
<hongboz>
thelema: is there equivalent 'set_binary_mode_out' in batterries?
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
avsm1 has quit [Quit: Leaving.]
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
oriba has quit [Quit: oriba]
lggr has quit [Ping timeout: 240 seconds]
Cyanure has quit [Remote host closed the connection]
lggr has joined #ocaml
<jonafan>
can someone check out ohm and tell me if it is good
avsm has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
<orbitz>
jonafan: Why can't you?
lggr has joined #ocaml
<jonafan>
i have no reason to use it
<jonafan>
i think it looks more useful than ocsigen
<jonafan>
the template system looks less frustrating than ocsigen's solution
sepp2k has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
<orbitz>
jonafan: So you want someone here to evaluate a product for you and give you a report on it despite the fact that you have no interest in using it?
chambart has quit [Ping timeout: 260 seconds]
lggr has quit [Ping timeout: 252 seconds]
<jonafan>
orbitz: chill out
<jonafan>
i was not literally asking you to do work for me
lggr has joined #ocaml
<jonafan>
it was more like "hey, ohm was just announced. anybody else think it looks interesting?"
<orbitz>
That is literally what you asked.
<jonafan>
Well, you're being overly literal because it wasn't a serious request.
smondet has quit [Quit: See ya]
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
zorun has quit [Ping timeout: 260 seconds]
zorun has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
chambart has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
Sablier has quit []
lggr has joined #ocaml
ontologiae has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
hongboz has quit [Ping timeout: 260 seconds]
pngl has quit [Ping timeout: 246 seconds]
thomasga has quit [Quit: Leaving.]
lggr has quit [Ping timeout: 240 seconds]
jamii has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
wmeyer` has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
chambart has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
Submarine has quit [Remote host closed the connection]
<Ptival>
hmm
<Ptival>
how do I #use a file that needs another file?
lggr has joined #ocaml
<Ptival>
in the toplevel?
<wmeyer`>
i believe i flooded the channel on saturday (buggy emacs) sorry!
<jonafan>
Ptival: i think the best thing is to compile .cmo files and #load them or pass them as arguments to ocaml
testcocoon has quit [Ping timeout: 240 seconds]
<Ptival>
jonafan: thanks
lggr has quit [Ping timeout: 260 seconds]
<Ptival>
hmm
<Ptival>
huh
<Ptival>
the "easy access to a toplevel" is a lie :(
lggr has joined #ocaml
<wmeyer`>
it would be cool to interpret the ml files as modules and load all the dependent ones
<wmeyer`>
i agree, but ml is different; loading module has side effects
<wmeyer`>
might have*
<trotro>
Ptival, the top level is just to play with small function
<trotro>
or do manual unit test
<Ptival>
yes
<Ptival>
well that's annoying
<Ptival>
I have a small function that I want to try, but the file imports a "common" file :(
<trotro>
but you can compile and give the .cmo or the .cmx (don't remember) to ocaml top level
ontologiae has quit [Ping timeout: 246 seconds]
lggr has quit [Ping timeout: 240 seconds]
<Ptival>
well I can "rlwrap ocaml foo.cmo bar.cmo"
<Ptival>
but I still can't manage to access Foo.baz
lggr has joined #ocaml
sgnb has quit [Ping timeout: 260 seconds]
<trotro>
what is foo.baz ?
<Ptival>
some baz function in foo.ml
<trotro>
i just did the test and i can use my function
<trotro>
do you got a .mli ?
<Ptival>
oh, no
<trotro>
strange
<trotro>
can we see the two files ?
lggr has quit [Ping timeout: 256 seconds]
<wmeyer`>
maybe you have directory set up
<wmeyer`>
or some junk in .ocamlinit
<wmeyer`>
and it picks different modules
<wmeyer`>
otherwise empty cmi or mli would cause similar problems
lggr has joined #ocaml
<Ptival>
I have my .ml files in src/, and the .cm* in src/_build
<Ptival>
might be my problem
<trotro>
.cmo are all ocaml need
<trotro>
it's really strange
<trotro>
if you type "ocaml _build/foo.cmo _build/bar.cmo" does it work ?
lggr has quit [Ping timeout: 255 seconds]
sgnb has joined #ocaml
lggr has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
sgnb has quit [Ping timeout: 246 seconds]
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
Yoric has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
testcocoon has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
wmeyer` has quit [Remote host closed the connection]