00:00
tac has joined #ocaml
00:00
cdidd has joined #ocaml
00:21
emmanuelux has quit [Remote host closed the connection]
00:30
ulfdoz_ has joined #ocaml
00:33
Playground has joined #ocaml
00:34
ulfdoz has quit [Ping timeout: 252 seconds]
00:34
ulfdoz_ is now known as ulfdoz
00:48
jamii has quit [Ping timeout: 256 seconds]
00:59
eikke has quit [Ping timeout: 256 seconds]
01:18
madroach has quit [Ping timeout: 248 seconds]
01:20
madroach has joined #ocaml
01:36
dwmw2 is now known as dwmw2_gone
01:52
paolooo has quit [Ping timeout: 245 seconds]
01:54
adotbrown has quit [Ping timeout: 276 seconds]
01:56
Playground has quit [Read error: Connection reset by peer]
02:16
adotbrown has joined #ocaml
02:51
paolooo has joined #ocaml
03:42
mcsquiggedy has quit [Quit: Leaving]
03:53
weie has joined #ocaml
04:03
tac has quit [Quit: Page closed]
04:51
paolooo has quit [Quit: Page closed]
05:26
adotbrown has quit [Ping timeout: 252 seconds]
05:30
weie has quit [Quit: Leaving...]
05:42
Yoric has joined #ocaml
06:08
weie has joined #ocaml
06:20
ttamttam has joined #ocaml
06:36
cyball has joined #ocaml
06:37
<
cyball >
hi ... I have a problem with ocaml modules .. I've created one but i can not call any of the module functions how can I do that?
06:49
adrien_oww has joined #ocaml
06:55
adotbrown has joined #ocaml
06:57
<
flux >
cyball, most likely you are missing the fact that foo.ml introduces module Foo
06:57
<
flux >
cyball, that is, if you have module Foo = struct let bar () = () end inside foo.ml, from another module you would call it Foo.Foo.bar ()
06:57
<
flux >
if not, perhaps you are miscompiling it
07:00
Kakadu has joined #ocaml
07:01
<
cyball >
flux, which parameter does ocamlc need to load the module file ?
07:02
<
cyball >
flux, is it enough to give it as file ?
07:02
<
cyball >
flux, like ocamlc -o bar foo.ml mudule.ml ..
07:03
<
cyball >
flux, if i have understood you right ... if i create a file foo.ml and put simply a function inside then i can use Foo.Bar
07:05
<
Kakadu >
cyball: if you have function f in file foo.ml than you should call it like `Foo.f`
07:07
Snark has joined #ocaml
07:08
djcoin has joined #ocaml
07:10
gour has joined #ocaml
07:13
hkBst has joined #ocaml
07:13
hkBst has quit [Changing host]
07:13
hkBst has joined #ocaml
07:14
peoppenheimer has joined #ocaml
07:18
ftrvxmtrx_ has joined #ocaml
07:19
hkBst has quit [Ping timeout: 246 seconds]
07:20
hkBst has joined #ocaml
07:23
mika1 has joined #ocaml
07:27
hkBst has quit [Ping timeout: 244 seconds]
07:29
peoppenheimer_ has joined #ocaml
07:30
hkBst has joined #ocaml
07:32
peoppenheimer has quit [Ping timeout: 252 seconds]
07:32
peoppenheimer_ is now known as peoppenheimer
07:33
adotbrown has quit [Ping timeout: 252 seconds]
07:33
fusillia has joined #ocaml
07:35
myx has joined #ocaml
07:37
ontologiae has joined #ocaml
07:41
Hydraze has quit [Ping timeout: 252 seconds]
07:43
adotbrown has joined #ocaml
07:44
sgnb has quit [Ping timeout: 248 seconds]
07:50
Yoric has quit [Remote host closed the connection]
07:50
Yoric has joined #ocaml
07:52
Kakadu has quit [Read error: Connection reset by peer]
07:53
Kakadu has joined #ocaml
07:54
Hydraze has joined #ocaml
07:58
<
flux >
cyball, you need to list the modules you depend on before your main function, but maybe you're doing that
07:59
<
flux >
cyball, this works: foo.ml has: let a () = () bar.ml has: let main () = Foo.a () let _ = main () ocamlc -o baz foo.ml bar.ml
08:00
adotbrown has quit [Ping timeout: 255 seconds]
08:02
<
cyball >
flux, thx it works now
08:03
<
flux >
cyball, great :)
08:03
adotbrown has joined #ocaml
08:09
adotbrown has quit [Ping timeout: 240 seconds]
08:10
<
pippijn >
I prefer let () = main ()
08:14
RagingDave has joined #ocaml
08:18
eikke has joined #ocaml
08:19
ocp has joined #ocaml
08:22
Yoric has quit [Ping timeout: 246 seconds]
08:23
chambart has joined #ocaml
08:35
sgnb has joined #ocaml
08:40
adotbrown has joined #ocaml
08:49
wmeyer` has joined #ocaml
08:51
wmeyer has quit [Ping timeout: 248 seconds]
08:55
_andre has joined #ocaml
08:55
wmeyer` has quit [Read error: Connection reset by peer]
08:56
wmeyer` has joined #ocaml
09:01
thomasga has joined #ocaml
09:13
Yoric has joined #ocaml
09:18
beginner42245 has joined #ocaml
09:19
adotbrown has quit [Ping timeout: 244 seconds]
09:20
<
beginner42245 >
is it possible to compile files which use each other recursivly?
09:20
<
adrien_oww >
break the recursion; typically by introducing a separate file which contain the recursive knot ("types.ml" for instance)
09:22
RagingDave has quit [Quit: Ex-Chat]
09:25
mcclurmc has joined #ocaml
09:26
hkBst has quit [Remote host closed the connection]
09:27
hkBst has joined #ocaml
09:27
hkBst has quit [Changing host]
09:27
hkBst has joined #ocaml
09:29
<
beginner42245 >
adrien: how is your webkit project?
09:31
<
beginner42245 >
adrien: to be more precisely, did you include dom?
09:47
gour has quit [Disconnected by services]
09:47
gour_ has joined #ocaml
09:55
<
beginner42245 >
adrien oww: thanks
10:04
<
adrien_oww >
beginner42245: I've been a bit busy and getting ocaml to cross-compile has taken my free time so I haven't changed much on lablwebkit
10:04
<
adrien_oww >
I've taken a look and
10:05
<
adrien_oww >
I had an issue because of an issue in the webkit-gtk headers
10:05
<
pippijn >
what's this "labl" about?
10:05
<
adrien_oww >
it's fixed in the latest version of webkit-gtk but of course it requires a newer version of glib which I don't have
10:05
<
adrien_oww >
I'll probably do another try after fixing the headers by hand
10:05
<
adrien_oww >
pippijn: it goes along lablgtk
10:05
<
pippijn >
what does labl mean?
10:06
<
pippijn >
someone started a lablqt, too
10:06
<
pippijn >
why label?
10:06
<
adrien_oww >
because
10:06
gour_ is now known as gour
10:06
<
adrien_oww >
let w = GWindow.window ~show:false ~width:240 ~height:70 ~title:"foo" ()
10:06
<
pippijn >
in my head, I pronounce it labbel
10:06
<
adrien_oww >
it makes extensive use of labelled arguments
10:06
<
pippijn >
makes sense
10:10
hkBst has quit [Ping timeout: 272 seconds]
10:11
eikke has quit [Ping timeout: 248 seconds]
10:46
mk270_ is now known as mk270
10:53
sad0ur_ has quit [Read error: Connection reset by peer]
10:53
sad0ur has joined #ocaml
10:54
adbrown has quit [Quit: leaving]
10:55
sad0ur has quit [Read error: No route to host]
10:55
wmeyer`` has joined #ocaml
10:56
wmeyer` has quit [Ping timeout: 246 seconds]
10:58
sad0ur has joined #ocaml
11:01
cdidd has quit [Quit: Leaving]
11:05
ttamttam has quit [Quit: ttamttam]
11:06
cdidd has joined #ocaml
11:17
leoncamel has joined #ocaml
11:18
cdidd has quit [Remote host closed the connection]
11:22
<
beginner42245 >
adrien_oww: thanks for your efforts
11:26
eikke has joined #ocaml
11:29
hkBst has joined #ocaml
11:40
Yoric has quit [Ping timeout: 252 seconds]
11:50
cdidd has joined #ocaml
11:57
djcoin_ has joined #ocaml
11:59
djcoin has quit [Ping timeout: 272 seconds]
12:05
djcoin_ has quit [Ping timeout: 246 seconds]
12:05
xavierm02 has joined #ocaml
12:07
tane has joined #ocaml
12:19
djcoin_ has joined #ocaml
12:23
kevin_ has joined #ocaml
12:28
xavierm02 has quit [Ping timeout: 252 seconds]
12:31
jamii has joined #ocaml
12:33
Yoric has joined #ocaml
12:39
RagingDave has joined #ocaml
12:41
hkBst_ has joined #ocaml
12:41
hkBst has quit [Read error: Connection reset by peer]
12:42
xavierm02 has joined #ocaml
12:46
beginner42245 has quit [Quit: irc2go]
12:50
q66 has joined #ocaml
12:52
kevin_ has quit [Quit: Page closed]
13:04
Hydraze has quit [Ping timeout: 248 seconds]
13:09
dwmw2_gone is now known as dwmw2
13:17
beginner42 has joined #ocaml
13:28
dwmw2 is now known as dwmw2_gone
13:34
<
beginner42 >
can the exception Not_found be assigned to the optparse module?
13:35
<
beginner42 >
i am doing some error finding, and am kinda lost
13:35
<
Kakadu >
have u backtraces enabled?
13:36
<
beginner42 >
Kakadu: no, actually never heard of that
13:36
<
Kakadu >
Printexc.record_backtrace true
13:37
<
Kakadu >
but program will be slow
13:37
<
Kakadu >
also it seems that there is environment variable about it
13:37
<
beginner42 >
speed is actually no problem, because right now the program does not work at all
13:37
<
Kakadu >
beginner42: I have seen it in Lexify blog about static exceptions
13:38
<
beginner42 >
but where do i put this command
13:38
<
Kakadu >
in .ml file
13:38
<
beginner42 >
i have quite a lot of ml files
13:38
<
Kakadu >
try in main
13:40
tane has quit [Ping timeout: 260 seconds]
13:43
<
beginner42 >
Kakadu: i added Printexc.record_backtrace true; in the first line after let _ = in the main.ml
13:44
<
beginner42 >
Kakadu: but when i invoke the program with ./program --version i get a Not_found exception
13:47
<
Kakadu >
heh, I have not said all information
13:47
<
Kakadu >
Printexc.to_string
13:48
<
beginner42 >
Kakadu: but i do not know where this exception is thrown, so what parameter do i give the to_string function?
13:49
<
Kakadu >
try main () with exc -> Printexc.to_string exc
13:54
<
beginner42 >
Kakadu: now i get an error that the line exc -> ... has type string but int was expected
13:54
fusillia has quit [Ping timeout: 260 seconds]
13:55
<
Kakadu >
look at to_string function type
13:55
<
beginner42 >
that bad...
13:55
<
Kakadu >
You can guess tourself what to do next
13:59
mehdid has quit [*.net *.split]
13:59
mehdid has joined #ocaml
14:00
<
beginner42 >
Kakadu: fixed my mistake. But calling my program still does not give me additional information?
14:01
<
Kakadu >
print what to_string has returned
14:03
<
beginner42 >
Kakadu: still the only output: Fatal error: exception Not_found
14:04
<
Kakadu >
it should be
14:04
<
beginner42 >
Kakadu: i hoped the backtrace would be more
14:05
<
Kakadu >
do You compile with -g?
14:05
<
flux >
also, export OCAMLRUNPARAM=b
14:07
<
beginner42 >
Kakadu: one second, i have to check to OCamlMakefile
14:08
<
Kakadu >
Printexc.print_backtrace stdout;
14:09
<
beginner42 >
this line comes into the with line?
14:11
<
flux >
beginner42, with OCAmlMakefile you have separate targets for compiling with -g
14:11
<
flux >
maybe someting like make dbc
14:11
<
flux >
but maybe not :)
14:11
<
flux >
(debug-byte-code)
14:25
<
beginner42 >
flux: thanks you and Kakadu. have to go more through the code
14:58
hto has quit [Read error: Connection reset by peer]
14:58
beginner42 has quit [Quit: irc2go]
14:59
hto has joined #ocaml
15:00
justdit has joined #ocaml
15:15
Yoric has quit [Remote host closed the connection]
15:15
Yoric has joined #ocaml
15:29
ftrvxmtrx_ has quit [Quit: Leaving]
15:29
hkBst_ has quit [Quit: Konversation terminated!]
15:53
rossberg has quit [Remote host closed the connection]
15:58
Yoric has quit [Ping timeout: 272 seconds]
15:58
tac-tics has joined #ocaml
16:07
fasta has quit [Remote host closed the connection]
16:08
fasta has joined #ocaml
16:13
xavierm02 has quit [Ping timeout: 272 seconds]
16:29
xavierm02 has joined #ocaml
16:32
pango_ has joined #ocaml
16:35
pango has quit [Ping timeout: 245 seconds]
16:36
adrien_oww has quit [Ping timeout: 276 seconds]
16:36
adrien_oww has joined #ocaml
16:41
notk0 has joined #ocaml
16:42
<
notk0 >
I remember reading about an ocaml emacs mode that is somewhat of a successor of tuareg, but I can't seem to find its name, any help?
16:46
notk0 has quit [Remote host closed the connection]
16:47
<
thizanne >
noj: probably typerex
16:54
justdit has quit [Ping timeout: 255 seconds]
17:05
jbrown has quit [Remote host closed the connection]
17:08
Playground has joined #ocaml
17:19
Playground has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
17:25
justdit has joined #ocaml
17:27
ontologiae has quit [Ping timeout: 276 seconds]
17:27
thomm4 has left #ocaml []
17:32
tac-tics has quit [Ping timeout: 245 seconds]
17:32
thomasga has quit [Quit: Leaving.]
17:36
ftrvxmtrx has quit [Ping timeout: 272 seconds]
17:38
Reventlov has joined #ocaml
17:38
Kakadu has joined #ocaml
17:39
djcoin_ has quit [Quit: WeeChat 0.3.9.2]
17:45
justdit has quit [Ping timeout: 245 seconds]
17:48
ftrvxmtrx has joined #ocaml
17:57
Playground has joined #ocaml
18:01
mcclurmc has quit [Ping timeout: 260 seconds]
18:04
cdidd has quit [Read error: Connection reset by peer]
18:06
mcsquiggedy has joined #ocaml
18:07
Anarchos has joined #ocaml
18:08
tac-tics has joined #ocaml
18:08
tane has joined #ocaml
18:18
Playground has quit [Ping timeout: 246 seconds]
18:22
ericfr has joined #ocaml
18:23
_andre has quit [Quit: leaving]
18:28
ericfr has quit [Remote host closed the connection]
18:28
mika1 has quit [Quit: Leaving.]
18:41
Yoric has joined #ocaml
18:44
emmanuelux has joined #ocaml
18:47
<
xavierm02 >
If have a question about sets
18:47
<
xavierm02 >
why is it when you add an element you get a "copy" of the set returned?
18:47
<
xavierm02 >
I mean, the original doesn't seem to be modified
18:47
<
Kakadu >
purely functional set
18:47
<
xavierm02 >
so do they actually copy everything?
18:47
<
adrien >
indeed: it's doesn't
18:48
<
adrien >
most of the data structure is untouched so most of it is shared
18:48
<
xavierm02 >
then what ninja technique do they use >_<
18:49
<
xavierm02 >
I just don't understand how they do it >_<
18:49
<
Kakadu >
I think they copy themselves partly
18:49
<
Kakadu >
i.e. If you add element to the left subtree you can reused right subtree
18:50
<
xavierm02 >
but isn't that much less efficient than "normal" sets?
18:51
<
xavierm02 >
they probably aren't because I haven't seen a "normal" set implementation
18:51
<
xavierm02 >
so it must be fast enough
18:51
<
adrien >
sharing is done by the runtime; nothing to do and it's very efficient
18:51
<
tac-tics >
xavierm02: If your goals are speed, an in-place, destructive version is better.
18:51
<
adrien >
not necessarily
18:51
<
tac-tics >
This implementation, though, is referentially transparent, which is good for reasoning about and parallelism.
18:52
<
adrien >
you get better benchmarks with destructive updates mostly
18:52
<
xavierm02 >
are there destructive implementation somewhere?
18:52
<
adrien >
use an hashtable
18:53
<
adrien >
but you definitely don't get the same properties
18:54
Cyanure has joined #ocaml
18:54
<
xavierm02 >
I'll just stick with them for some time and change it if they become a bottleneck
18:54
<
xavierm02 >
strange though that batteries has no destructive set implementation
18:54
<
xavierm02 >
ty anyway :)
18:56
<
adrien >
destructive updates have a cost in ocaml
18:56
<
xavierm02 >
because of the garbage collector?
18:58
<
adrien >
not sure about the details
18:58
<
adrien >
I'd say "no-ish"
18:58
eikke has quit [Ping timeout: 252 seconds]
19:07
cyball has quit [Excess Flood]
19:08
cyball has joined #ocaml
19:17
<
orbitz >
it hasalways been told to me taht the lanuguage impl is optimizedfor lots of allocations
19:18
<
orbitz >
always that famous story about Don Syme running down to .net Vm guys telling him allocations were too slow and them baffled how a language could allocate so much
19:18
<
adrien >
not really "lots of allocations"
19:18
<
adrien >
rather: "lots of short and short-lived allocations"
19:30
mcsquiggedy has quit [Ping timeout: 252 seconds]
19:36
eikke has joined #ocaml
19:39
Playground has joined #ocaml
19:40
osa1 has joined #ocaml
19:40
<
osa1 >
do we have a type like Haskell's either in standard lib ?
19:42
<
Anarchos >
orbitz i can't understand what you said about don syme, have you a link to an article ?
19:42
<
orbitz >
Core has Result.t
19:42
<
orbitz >
Anarchos: no, it's an apocryphal story
19:42
<
orbitz >
Anarchos: like the guy who added O to ocaml not ever using it
19:43
<
orbitz >
Anarchos: basically when they first tried to get F# going the VM was n't designed for allocation patterns of F# and the .net VM engieers didn't get why a language would have such wonky allocation
19:45
Submarine__ has joined #ocaml
19:47
Snark has quit [Quit: Quitte]
19:50
eikke has quit [Ping timeout: 248 seconds]
20:09
gour has quit [Quit: WeeChat 0.3.8]
20:18
weie has quit [Quit: Leaving...]
20:26
Yoric has quit [Remote host closed the connection]
20:26
Yoric has joined #ocaml
20:27
osa1 has quit [Quit: Konversation terminated!]
20:29
Anarchos has quit [Read error: Connection reset by peer]
20:29
eikke has joined #ocaml
20:33
Anarchos has joined #ocaml
20:37
RagingDave has quit [Quit: Ex-Chat]
20:37
preyalone has joined #ocaml
20:38
RagingDave has joined #ocaml
20:38
<
preyalone >
I'm looking for an ML I can use to write all my mobile apps in. How well does OCaml support Android, iOS, and/or Windows RT?
20:39
<
Anarchos >
preyalone ??
20:39
<
Anarchos >
preyalone do you ask a C compiler to support android, or android to have a good C runtime ??
20:40
<
preyalone >
Anarchos: I'm asking how well OCaml supports writing Android apps, iOS apps, and Windows RT apps.
20:40
<
Anarchos >
i just answer you : you take the wrong side of the question :)
20:41
<
Qrntz >
there were patches to the OCaml compiler for it to produce code for Apple devices IIRC
20:43
pango_ is now known as pango
20:44
<
preyalone >
Thanks.
20:44
<
preyalone >
What about Android and Windows RT?
20:44
fraggle_ has quit [Read error: Connection reset by peer]
20:45
<
adrien >
I don't think ocaml can run on windows rt
20:45
<
adrien >
basically, no non-microsoft runtime can run on windows rt
20:46
<
adrien >
android, it works; don't know more details
20:47
mcsquiggedy has joined #ocaml
20:53
fraggle_ has joined #ocaml
20:58
Submarine__ has quit [Ping timeout: 260 seconds]
21:09
preyalone has left #ocaml []
21:12
Cyanure has quit [Remote host closed the connection]
21:18
Playground is now known as lolcathost
21:21
mcsquiggedy has quit [Ping timeout: 256 seconds]
21:23
xavierm02 has quit [Quit: Leaving]
21:25
chambart has quit [Ping timeout: 260 seconds]
21:31
matthewt is now known as yuri_voltmee
21:33
Yoric has quit [Ping timeout: 246 seconds]
21:34
Anarchos has quit [Ping timeout: 245 seconds]
21:46
yuri_voltmee is now known as matthewt
22:08
Anarchos has joined #ocaml
22:16
tani has joined #ocaml
22:20
tane has quit [Ping timeout: 260 seconds]
22:22
ocp has quit [Quit: Leaving.]
22:23
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
22:38
jbrown has joined #ocaml
22:45
lolcathost has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
22:46
yroeht has quit [Ping timeout: 272 seconds]
22:49
oriba has joined #ocaml
22:50
wagle has quit [Read error: Connection reset by peer]
23:02
wagle has joined #ocaml
23:03
tac-tics has quit [Ping timeout: 245 seconds]
23:07
RagingDave has quit [Quit: Ex-Chat]
23:14
fusillia has joined #ocaml
23:16
q66 has quit [Quit: Quit]
23:18
fusillia has quit [Remote host closed the connection]
23:51
tac has joined #ocaml