flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
ontologiae has quit [Ping timeout: 264 seconds]
dsheets has quit [Ping timeout: 245 seconds]
ulfdoz_ has joined #ocaml
alang_ has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
ulfdoz_ is now known as ulfdoz
scribble has joined #ocaml
breakds has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
eikke has quit [Ping timeout: 264 seconds]
darkf has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
typoclass has left #ocaml []
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
mlh has quit [Remote host closed the connection]
ollehar has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
ollehar has quit [Ping timeout: 240 seconds]
q66 has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
pkrnj has joined #ocaml
gnuvince has quit [Ping timeout: 245 seconds]
ollehar has joined #ocaml
astertronistic has quit [Quit: Leaving]
smerz_ has quit [Ping timeout: 248 seconds]
scribble has quit [Remote host closed the connection]
pkrnj has quit [Quit: Computer has gone to sleep.]
ttamttam has joined #ocaml
ttamttam has quit [Ping timeout: 256 seconds]
pango_ has joined #ocaml
ttamttam has joined #ocaml
pango has quit [Ping timeout: 260 seconds]
pkrnj has joined #ocaml
M0__ has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
<M0__> test
<M0__> icle
M0__ has quit [Quit: Page closed]
ttamttam has quit [Quit: ttamttam]
ollehar has joined #ocaml
breakds has quit [Read error: Connection reset by peer]
breakds has joined #ocaml
ousia has quit [Remote host closed the connection]
cdidd has quit [Ping timeout: 276 seconds]
vpit3833 has quit [Read error: Connection reset by peer]
vpit3833 has joined #ocaml
Snark has joined #ocaml
weie has quit [Quit: Leaving...]
weie has joined #ocaml
Kakadu has joined #ocaml
weie has quit [Quit: Leaving...]
ttamttam has joined #ocaml
answer_42 has joined #ocaml
dezzy has quit [Remote host closed the connection]
ttamttam has quit [Quit: ttamttam]
dezzy has joined #ocaml
xpika has joined #ocaml
xpika has quit [Quit: leaving]
<adrien> ollehar: I don't think that's currently easily possible; it might be technically feasible but I know of nothing that does this work
breakds has quit [Quit: Konversation terminated!]
pango_ is now known as pango
<ollehar> adrien: ok, thanks for your answer :)
ollehar has quit [Quit: ollehar]
ollehar has joined #ocaml
mort___ has joined #ocaml
<ollehar> when compiling the ocaml-implicits branch, I get
<ollehar> Fatal error: exception Failure("input_value: integer too large")
<ollehar> anyone knows what that means?
<adrien> do you get the same issue with 4.00.1 or trunk?
ttamttam has joined #ocaml
<ollehar> will try
<ollehar> ok, the trunk of ocaml-ty-ocaml-implicit gives this error:
<ollehar> File "camlp4/boot/Camlp4.ml", line 14639, characters 64-76:
<ollehar> Error: The constructor Ppat_var expects 2 argument(s),
<ollehar> but is applied here to 1 argument(s)
<ollehar> with `make world`
<ollehar> `make opt` compiles without errors, though
<ollehar> hm
<adrien> make opt cannot run without make world
<adrien> hmm
<adrien> actually that's an error when building camlp4 so make opt can succeed
<ollehar> after `make install`, version is: The OCaml toplevel, version 4.01.0+dev1_2012-03-31
<ollehar> but ocamlopt and camlp4 still 4.00.1
<adrien> camlp4 definitely didn't build fine
<ollehar> yeah
<ollehar> perhaps will work with 4.00.1 anyway?
<adrien> you can skip compiling it but you should use packages
<adrien> it seems you've installed through "make install", meaning nothing has tracked what was being installed
<adrien> now, if you install a new build of ocaml, you'll probably have leftover files from the previous build; especially if you disable camlp4
<ollehar> will implicits be included in 4.01?
<ollehar> ocaml/trunk 4.01 installed without problem :)
ousia has joined #ocaml
ocp has joined #ocaml
ttamttam has quit [Quit: ttamttam]
ulfdoz has joined #ocaml
ousia has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
wsebastian has joined #ocaml
ousia has joined #ocaml
Nahra has quit [Remote host closed the connection]
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ocp1 has joined #ocaml
ivan\ has joined #ocaml
mal`` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ocp has quit [Ping timeout: 264 seconds]
ttamttam has joined #ocaml
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
weie has joined #ocaml
vpit3833` has joined #ocaml
vpit3833 has quit [Ping timeout: 258 seconds]
<flux> ollehar, they are going to be in some ocaml version?-o
<ollehar> flux: ok
<flux> that was a question :)
mal`` has joined #ocaml
hto has joined #ocaml
Cyanure has joined #ocaml
<flux> I can confirm that I see no trace of implicit types in ocaml source repository (git mirror)
mcclurmc has quit [Ping timeout: 252 seconds]
ttamttam has quit [Quit: ttamttam]
UncleVasya has joined #ocaml
ttamttam has joined #ocaml
eikke has joined #ocaml
ttamttam has quit [Client Quit]
ontologiae has joined #ocaml
mort___ has quit [Quit: Leaving.]
leoncamel has quit [Ping timeout: 264 seconds]
jbrown has joined #ocaml
UncleVasya has quit [Read error: Connection reset by peer]
leoncamel has joined #ocaml
Nahra has joined #ocaml
LeNsTR is now known as lenstr
ulfdoz has quit [Ping timeout: 252 seconds]
q66 has joined #ocaml
UncleVasya has joined #ocaml
eikke has quit [Ping timeout: 256 seconds]
tane has joined #ocaml
<ollehar> flux: ah
gustav has quit [Ping timeout: 260 seconds]
yacks has quit [Quit: Leaving]
gustav has joined #ocaml
jave has quit [Ping timeout: 252 seconds]
jave has joined #ocaml
leoncamel has quit [Ping timeout: 246 seconds]
leoncamel has joined #ocaml
RagingDave has joined #ocaml
weie has quit [Ping timeout: 276 seconds]
smerz_ has joined #ocaml
weie has joined #ocaml
ttamttam has joined #ocaml
vpit3833` has quit [Ping timeout: 248 seconds]
frogfoodeater has joined #ocaml
ttamttam has left #ocaml []
ttamttam has joined #ocaml
ttamttam has quit [Quit: ttamttam]
cdidd has joined #ocaml
thomasga has joined #ocaml
ocp1 has quit [Ping timeout: 276 seconds]
Yoric has joined #ocaml
thomasga has quit [Quit: Leaving.]
anderse has joined #ocaml
ontologiae has quit [Ping timeout: 264 seconds]
yacks has joined #ocaml
ttamttam has joined #ocaml
frogfoodeater has quit [Ping timeout: 258 seconds]
ocp has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
anderse has quit [Quit: anderse]
ttamttam has quit [Quit: ttamttam]
venk has joined #ocaml
mort___ has joined #ocaml
anderse has joined #ocaml
vpit3833 has joined #ocaml
venk has quit [Ping timeout: 255 seconds]
vpit3833 has quit [Ping timeout: 276 seconds]
anderse has quit [Quit: anderse]
dsheets has joined #ocaml
vpit3833 has joined #ocaml
ousia has quit [Ping timeout: 276 seconds]
sgnb has quit [Remote host closed the connection]
sgnb has joined #ocaml
mcclurmc has joined #ocaml
frogfoodeater has joined #ocaml
darkf has quit [Quit: Leaving]
mcclurmc has quit [Ping timeout: 258 seconds]
dsheets has quit [Ping timeout: 264 seconds]
yacks has quit [Ping timeout: 264 seconds]
paddymahoney has joined #ocaml
frogfoodeater has quit [Ping timeout: 245 seconds]
wmeyer` has joined #ocaml
<wmeyer`> hi
yacks has joined #ocaml
mort___ has quit [Quit: Leaving.]
ttamttam has joined #ocaml
mye has joined #ocaml
Remjey has left #ocaml []
<pippijn> hi
wmeyer` has left #ocaml []
wmeyer` has joined #ocaml
avan_ has joined #ocaml
<avan_> hell
<avan_> hello
<wmeyer`> avan_: hello
<avan_> is there any lbrary that i can use for getting the system time and date in caml 0.74 for windows?
<wmeyer`> I know only OCaml, Sys.time equivalent or Unix.time might work for you in Caml-light
ulfdoz has joined #ocaml
<avan_> i have checked the libraries of caml light and it has time in the sys library
<avan_> but it comes unbound everytime i call it
<wmeyer`> do you use toplevel?
<wmeyer`> you need to just link probably to some library containing the definition of Sys
anderse has joined #ocaml
<avan_> i didnt get it
<avan_> whats toplevel?
<avan_> and how do i link
<wmeyer`> Have no much experience in caml-light
<wmeyer`> but usually you'd specify the number of objects in the command line option you use to compile and link your program
<wmeyer`> in OCaml we would say (for Unix module): "ocamlc unix.cma foo.ml"
<wmeyer`> so it's all good and working for OCaml, but not sure about caml-light
mye has quit [Quit: mye]
<avan_> unix.cma what does that actually do?
<avan_> or refers to?
<wmeyer`> so unix.cma is a library, a library is a bundle of smaller objects called compilation units, these objects would have single extension cmo and will be produced by compiling single source code file
<wmeyer`> when you specify unix.cma in the command line, you are telling the system that you will be using the code inside the cma
<wmeyer`> the system then can properly find definitions at the link time
<wmeyer`> and include them in your final executable
<wmeyer`> does that makes sense?
<avan_> cant compile it yet..
<wmeyer`> I'd advise to just write a simple program that you know will work, like "open Sys;;" and then compile it and see if it works
<avan_> in the library i have SYS.MLI
<avan_> and have sys.zi
<avan_> i can compile the sys.mli
<wmeyer`> so mli files are definitions of interfaces, and sys.zi I think are the compiled interfaces
<wmeyer`> you should not compile it
<wmeyer`> it's a standard library
<avan_> but i cant execute it
<wmeyer`> can you copy past the command line you are using?
<avan_> value time : unit -> float = 1 "sys_time" (* Return the processor time, in seconds, used by the program since the beginning of execution. *) ;;
<avan_> and i just do t
<avan_> time;;
<avan_> to see if appears unit->float
<wmeyer`> Ok, so you use "camllight.exe" right?
<wmeyer`> btw: here is a manual, that might give you clarifications http://caml.inria.fr/pub/docs/manual-caml-light/
<avan_> yes
SanderM has joined #ocaml
<avan_> yes i have checked it.. but had no result..
<wmeyer`> so you don't have to say declare your extern, you just have to do "open Sys;; time;;"
<avan_> The value identifier time is unbound. i always get this message when i run it
<wmeyer`> try to say: "camllight sys.za"
<wmeyer`> actually: "camllight sys.zo" is correct
<avan_> still unbound
<wmeyer`> then I can't be of any help as I don't have experience with caml-light
<wmeyer`> and I don't have installation here
<avan_> u can get it from here
<wmeyer`> sure, but I have my OCaml installation already and I am happy with it. avan_ any reason to use caml-light rather than ocaml?
<avan_> i dont know
<avan_> caml is difficult
<wmeyer`> well, but there are more people using it here :-)
<wmeyer`> so the chances you will get an answer are better
<wmeyer`> and btw, OCaml is not more complicated for your use case than caml-light
ttamttam has quit [Ping timeout: 276 seconds]
<avan_> yes know... unix have a library for time in ocaml
<avan_> unfortunately i have to program in cam light
<thizanne> avan_: I did use caml light back in my old days, and I remember having no problem with getting system time
<avan_> how did u called it?
<thizanne> so I you have ones, either your installation is not complete, either you're trying it the wrong way (but I don't remember the right one...)
<avan_> installation i guess its complete because i downloaded it from caml website... now calling it i am not sure
<wmeyer`> avan_: I'd just install ocaml
<wmeyer`> then everybody will help you here
<avan_> i have to do it on Camlight this time....
Tobu has joined #ocaml
anderse has quit [Ping timeout: 240 seconds]
dsheets has joined #ocaml
ocp1 has joined #ocaml
ocp has quit [Ping timeout: 252 seconds]
ttamttam has joined #ocaml
eikke has joined #ocaml
gnuvince has joined #ocaml
Snark has quit [Quit: leaving]
Cyanure has quit [Remote host closed the connection]
avan_ has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 258 seconds]
trep has joined #ocaml
sysopfb has quit [Ping timeout: 264 seconds]
sysopfb has joined #ocaml
trep has quit [Ping timeout: 255 seconds]
ttamttam has left #ocaml []
ocp1 has quit [Ping timeout: 252 seconds]
gnuvince has quit [Ping timeout: 258 seconds]
UncleVasya has quit [Quit: UncleVasya]
walter has quit [Read error: Connection reset by peer]
walter has joined #ocaml
Yoric has joined #ocaml
anderse has joined #ocaml
Yoric has quit [Ping timeout: 256 seconds]
wsebastian has quit [Quit: Bye]
Basti has joined #ocaml
Basti has quit [Remote host closed the connection]
wsebastian has joined #ocaml
wsebastian has quit [Remote host closed the connection]
pkrnj has joined #ocaml
wsebastian has joined #ocaml
ontologiae has joined #ocaml
wsebastian has quit [Remote host closed the connection]
wsebastian has joined #ocaml
wsebastian has quit [Remote host closed the connection]
dsheets has joined #ocaml
anderse has quit [Quit: anderse]
answer_42 has quit [Quit: WeeChat 0.4.0]
wsebastian has joined #ocaml
emmanuelux has joined #ocaml
emmanuelux has quit [Max SendQ exceeded]
ollehar has quit [Ping timeout: 256 seconds]
walter has quit [Read error: Connection reset by peer]
ollehar has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
ontologiae has joined #ocaml
Tobu has quit [Remote host closed the connection]
milosn_ is now known as milosn
malo has joined #ocaml
RagingDave has quit [Quit: Ex-Chat]
ulfdoz has quit [Ping timeout: 258 seconds]
malo has quit [Quit: Leaving]
Kakadu has quit []
vpit3833` has joined #ocaml
SanderM has quit [Remote host closed the connection]
vpit3833 has quit [Ping timeout: 256 seconds]
ontologiae has quit [Ping timeout: 258 seconds]
jbrown has quit [Ping timeout: 245 seconds]
derek_c has joined #ocaml
dwmw2 is now known as dwmw2``
tane has quit [Quit: Verlassend]
walter has joined #ocaml
adahlberg has joined #ocaml
frogfoodeater has joined #ocaml
derek_c has quit [Ping timeout: 252 seconds]
pkrnj has quit [Quit: Computer has gone to sleep.]
avsm has left #ocaml []
Neros has joined #ocaml
hto has quit [Ping timeout: 246 seconds]
smerz_ has quit [Ping timeout: 258 seconds]
ollehar has quit [Ping timeout: 245 seconds]
frogfoodeater has quit [Ping timeout: 259 seconds]
derek_c has joined #ocaml
hto has joined #ocaml
emmanuelux has joined #ocaml
q66 has quit [Remote host closed the connection]
pkrnj has joined #ocaml
frogfoodeater has joined #ocaml
giaour has joined #ocaml
<giaour> ping
vpit3833` is now known as venk
walter|r has joined #ocaml
walter has quit [Ping timeout: 245 seconds]