gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml Meeting 2011 http://bit.ly/eaZi1C | OCaml 3.12.0 http://bit.ly/aNZBUp
ulfdoz has quit [Ping timeout: 276 seconds]
ulfdoz_ is now known as ulfdoz
lopex has quit []
andreas1 has joined #ocaml
andreas2 has quit [Ping timeout: 240 seconds]
mnabil has quit [Read error: Operation timed out]
avsm has quit [Quit: Leaving.]
mnabil has joined #ocaml
sepp2k has quit [Quit: Leaving.]
mnabil has quit [Ping timeout: 258 seconds]
philtor has joined #ocaml
mnabil has joined #ocaml
mnabil has quit [Remote host closed the connection]
dnolen has quit [Quit: dnolen]
wuj has joined #ocaml
happy4crazy has left #ocaml []
tautologico has joined #ocaml
tautologico has quit [Client Quit]
vivanov has quit [Ping timeout: 276 seconds]
vivanov has joined #ocaml
philtor has quit [Read error: Operation timed out]
wuj has quit [Ping timeout: 260 seconds]
wormphlegm has joined #ocaml
ymasory has quit [Quit: Leaving]
boscop has quit [Ping timeout: 250 seconds]
boscop has joined #ocaml
Associat0r has quit [Quit: Associat0r]
DimitryKakadu has joined #ocaml
arubin has quit [Quit: arubin]
wormphlegm has quit [Ping timeout: 276 seconds]
impy has quit [Quit: impy]
boscop has quit [Read error: Connection reset by peer]
boscop has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
boscop has joined #ocaml
boscop_ has quit [Read error: Connection reset by peer]
edwin has joined #ocaml
ygrek has joined #ocaml
Yoric has joined #ocaml
jld has quit [Ping timeout: 248 seconds]
Tianon has quit [Ping timeout: 260 seconds]
douknoukem has joined #ocaml
sku has joined #ocaml
douknoukem has quit [Ping timeout: 264 seconds]
douknoukem has joined #ocaml
eikke has joined #ocaml
f[x] has quit [Ping timeout: 252 seconds]
avsm has joined #ocaml
douknoukem has quit [Ping timeout: 240 seconds]
douknoukem has joined #ocaml
sku has quit [Quit: ]
jamii has joined #ocaml
Associat0r has joined #ocaml
douknoukem has quit [Ping timeout: 240 seconds]
douknoukem has joined #ocaml
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
jld has joined #ocaml
DimitryKakadu has quit [Quit: Konversation terminated!]
DimitryKakadu has joined #ocaml
sepp2k has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 248 seconds]
andreas1 is now known as andreas
ftrvxmtrx has joined #ocaml
edwin has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
jderque has joined #ocaml
Julien_T has quit [Ping timeout: 276 seconds]
Amorphous has quit [Read error: Operation timed out]
patronus_ has joined #ocaml
Amorphous has joined #ocaml
patronus has quit [Ping timeout: 252 seconds]
Associat0r has quit [Quit: Associat0r]
<douknoukem> hello
<douknoukem> what am i supposed to put in the .mli files?
<douknoukem> do i have to add the type of the functions inside the .ml.
<thelema> douknoukem: you can omit them entirely and things will still work
<douknoukem> well i have to make the mli file then compile it
<thelema> if you're writing a library and want to have some of the functions in that library hidden (inaccessible) to users of the library, you can specify just the interfaces you want available in the .mli file
<thelema> The easiest way to create a .mli file from a .ml file is [ocamlc -i foo.ml > foo.mli]
<douknoukem> isee
<douknoukem> then i can just delete what i want to hide right
<adrien> yes
<adrien> you can also add comments
<douknoukem> ok
<adrien> ocamldoc will generate documentation from specific comments
<douknoukem> thanks for the help
DimitryKakadu has quit [Remote host closed the connection]
DimitryKakadu has joined #ocaml
i__ has joined #ocaml
Tianon has quit [Ping timeout: 248 seconds]
jld has quit [Ping timeout: 260 seconds]
jld has joined #ocaml
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
Znudzon has joined #ocaml
smerz has joined #ocaml
ymasory has joined #ocaml
douknoukem has quit [Ping timeout: 276 seconds]
dnolen has joined #ocaml
jderque has quit [Quit: leaving]
ymasory has quit [Quit: Leaving]
Znudzon has left #ocaml []
douknoukem has joined #ocaml
edwin has joined #ocaml
happy4crazy has joined #ocaml
happy4crazy has left #ocaml []
Smerdyakov has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
boscop has joined #ocaml
td123 has joined #ocaml
<td123> hi, I'm getting the following error when compiling coq: http://pastebin.com/c8dB6z4p relevant file producing error: http://sprunge.us/HUUN
<td123> It seems like a bug in ocaml or gcc
<Smerdyakov> td123, perhaps switch to an OS distro that has binary Coq packages? :)
<ygrek> sigh
<ygrek> downgrade binutils or use ocaml from svn
<td123> Smerdyakov: I'm the binary packager for archlinux
<td123> :P
<Smerdyakov> td123, oh! Ha! I commend you, then! :)
<zorun> td123: it's a bug in ocaml 3.12 with newer versions of binutils on x86_64 architecture
avsm has joined #ocaml
<td123> ah
<zorun> should be fixed in 3.12.1, but it's not released yet...
<td123> I can try to backport the patch, or just get it applied against 3.12.0
<td123> is there a release date for 3.12.1?
<zorun> no idea
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 252 seconds]
boscop has quit [Ping timeout: 250 seconds]
<zorun> maybe somebody could ask a TU to include the patch in the 3.12 release on arch
<td123> k, no problem. Thanks a lot for showing me that BR
<td123> zorun: ya, I'll try to get it to apply against 3.12.0 and I'll submit a request myself if it works out
<zorun> nice, good luck, it's pretty boring to build ocaml from source ;)
philtor has joined #ocaml
happy4crazy has joined #ocaml
boscop has joined #ocaml
<td123> zorun: btw, ocaml is in [extra]. TUs don't have access there
<zorun> arg, you're right
boscop has quit [Ping timeout: 248 seconds]
happy4crazy has left #ocaml []
jamii has quit [Ping timeout: 252 seconds]
everyonemines has joined #ocaml
<everyonemines> I'm using 3.12 on OS X, and trying to use str functions. I get " Error: Reference to undefined global `Str' "
<everyonemines> google says to do load "str.cma";; but then I get Error: Unbound value load
<adrien> #load "str.cma";;
<adrien> you were missing the '#'
<adrien> also, you can start ocaml with "ocaml str.cma"
<adrien> and you can also use findlib which gets really handy when you start using ocaml more
<everyonemines> I installed findlib.
<everyonemines> I tried ocaml str.cma
<everyonemines> same thing
<everyonemines> I assumed that # was the ocaml prompt, but that works.
<everyonemines> stupid mistake in retrospect
<adrien> I agree it's usually not very clear
<adrien> well, for findlib: '#use "topfind";;' and then '#require "str";;'
<adrien> the nice thing with findlin/topfind is that it handles libraries that are put in subdirectories and dependancies
<adrien> and you can put the #use topfind in ~/.ocamlinit
<everyonemines> it seems like open str would be easier
<thelema> everyonemines: it would, but the issue in ocaml is that str.cma is a library, which works more like an include path
<thelema> not just a module, which can just be opened.
oriba has joined #ocaml
<td123> zorun: https://bugs.archlinux.org/task/23917 dunno if you follow arch at all though
<zorun> yeah, I'm actually on arch too
<zorun> thank you, this is a pretty annoying bug
<td123> zorun: thank you for pointing me to the right bug report. you made this bug very painless for me :P
<zorun> :)
Smerdyakov has quit [Quit: Leaving]
philtor has quit [Ping timeout: 276 seconds]
Vinnipeg has joined #ocaml
<td123> zorun: ty & cya around!
td123 has left #ocaml []
jamii has joined #ocaml
oriba has left #ocaml []
jamii has quit [Ping timeout: 276 seconds]
Vinnipeg has quit [Quit: Konversation terminated!]
jderque has joined #ocaml
jamii has joined #ocaml
Modius_ has joined #ocaml
Modius has quit [Ping timeout: 276 seconds]
douknoukem has quit [Ping timeout: 240 seconds]
Associat0r has joined #ocaml
douknoukem has joined #ocaml
arubin has joined #ocaml
ikaros has joined #ocaml
edwin has quit [Remote host closed the connection]
zerny has joined #ocaml
jamii has quit [Ping timeout: 240 seconds]
ymasory has joined #ocaml
douknoukem has quit [Ping timeout: 246 seconds]
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
boscop has joined #ocaml
eikke has quit [Ping timeout: 250 seconds]
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
boscop_ has quit [Read error: Connection reset by peer]
boscop has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
jderque has quit [Quit: leaving]
arubin has quit [Read error: Operation timed out]
boscop has joined #ocaml
arubin has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
boscop_ has quit [Excess Flood]
boscop has joined #ocaml
boscop has quit [Ping timeout: 258 seconds]
boscop has joined #ocaml
EM03 has joined #ocaml
<EM03> back to my project.....web dev in ocaml ....anyone here try?
boscop has quit [Ping timeout: 252 seconds]
boscop has joined #ocaml
boscop has quit [Ping timeout: 250 seconds]
gildor has joined #ocaml
DimitryKakadu has quit [Remote host closed the connection]
<sgnb> EM03: ocsigen?
wormphlegm has joined #ocaml
wormphlegm has quit [Quit: leaving]
wormphlegm has joined #ocaml
Modius_ has quit [Quit: "Object-oriented design" is an oxymoron]
Modius has joined #ocaml
zerny has quit [Ping timeout: 240 seconds]
<EM03> not sure if thats going to do it sgnb
impy has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
philtor has joined #ocaml
boscop has joined #ocaml
i__ has quit [Remote host closed the connection]
wormphlegm has quit [Quit: leaving]
wormphlegm has joined #ocaml
funktronic has joined #ocaml
funktronic has left #ocaml []
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
Yoric has quit [Quit: Yoric]
douknoukem has joined #ocaml
wormphlegm has quit [Quit: leaving]
sepp2k has joined #ocaml
sepp2k1 has quit [Read error: Connection reset by peer]
happy4crazy has joined #ocaml
douknoukem has quit [Ping timeout: 252 seconds]
Amorphous has quit [Ping timeout: 240 seconds]
dnolen has quit [Quit: dnolen]
douknoukem has joined #ocaml
mnabil has joined #ocaml
Amorphous has joined #ocaml
ymasory has quit [Ping timeout: 250 seconds]
Znudzon has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
wormphlegm has joined #ocaml
Znudzon has quit [Ping timeout: 252 seconds]
<philtor> trying to get ocaml-json-tc working: https://github.com/avsm/ocaml-json-tc
<philtor> so I did: make and make install, but it doesn't seem to install it in the pkg-lib directory of my godi-distribution.
<philtor> so when I try to do:
<philtor> ocamlfind ocamlopt -o example1 -linkpkg -package json-tc -syntax camlp4o example1.ml
<philtor> I get:
<philtor> ocamlfind: Package `json-tc' not found
<philtor> It looks like when you do the make install for this it "installs" it under the lib/json-tc directory of where you built it.
<philtor> so how do I tell ocamlfind to look in there instead of in the regular places?
ymasory has joined #ocaml
<iris1> Dear experts, I am running into a simple problem. I would be grateful if someone could point me in the right direction. I am trying to use an option type. However, I can't seem to be able to get my hold on Option.is_none. When I try to use it, I get "Error: Unbound value Option.is_none". I am using topfind, but #require "option" tells me there is no such package. Is Option not part of standard ocaml? I am using 3.11.2 on OS X (Snow Leop
<iris1> installed through homebrew.
ulfdoz_ has joined #ocaml
<happy4crazy> iris1: i'm not an expert by any means, but what are you trying to do?
<happy4crazy> for me at least, the option (lowercase) type is already there
<iris1> I am trying to make use of the is_none and get functions described in http://ocaml-lib.sourceforge.net/doc/Option.html
douknoukem has quit [Ping timeout: 246 seconds]
<happy4crazy> why wouldn't you just pattern match on an option value?
<happy4crazy> again, ocaml beginner myself
<iris1> I agree the type is present for me too. E.g. I can say Some "foobar" and the type comes out string option as it should