00:00
tane has quit [Quit: Verlassend]
00:04
larhat has joined #ocaml
00:06
Skolem has joined #ocaml
00:10
eikke has quit [Ping timeout: 240 seconds]
00:14
pango has quit [Remote host closed the connection]
00:15
walter|r has quit [Remote host closed the connection]
00:17
walter|r has joined #ocaml
00:18
walter|r has quit [Client Quit]
00:19
walter|r has joined #ocaml
00:19
lolcathost has quit [Quit: leaving]
00:21
pango has joined #ocaml
00:22
ulfdoz_ has joined #ocaml
00:25
avsm has joined #ocaml
00:26
ulfdoz has quit [Ping timeout: 268 seconds]
00:26
ulfdoz_ is now known as ulfdoz
00:26
larhat has quit [Ping timeout: 246 seconds]
00:33
avsm has quit [Ping timeout: 252 seconds]
00:34
lolcathost has joined #ocaml
00:35
walter|r has quit [Quit: Leaving]
00:36
walter|r has joined #ocaml
00:37
walter|r has quit [Client Quit]
00:37
walter|r has joined #ocaml
00:44
<
walter|r >
i'm having trouble building an sdl project using ocamlbuild with ocamlfind
00:44
<
walter|r >
i installed the sdl libs with godi
00:44
<
walter|r >
the same project builds fine on ubuntu
00:44
<
walter|r >
but fails on OS X
00:44
<
walter|r >
i get the error "Error: Unbound module Sdlvideo"
00:44
<
walter|r >
if i run ls `ocamlfind query sdl` | grep sdlvideo
00:44
<
walter|r >
i get sdlvideo.cmi sdlvideo.cmx sdlvideo.mli
00:44
<
walter|r >
ocamlbuild -use-ocamlfind -cflags -I,+sdl,-I,+ocaml -lflags -I,+sdl,-I,+bitstring,-I,+o
00:44
<
walter|r >
caml -libs unix,bigarray,sdl,sdlloader,sdlttf,bitstring "src/main.native"
00:54
fraggle_ has quit [Remote host closed the connection]
00:58
fraggle_ has joined #ocaml
01:00
avsm has joined #ocaml
01:07
avsm has quit [Read error: Operation timed out]
01:10
larhat has joined #ocaml
01:16
wormphlegm has joined #ocaml
01:16
wormphlegm has quit [Client Quit]
01:19
eikke has joined #ocaml
01:19
madroach has quit [Ping timeout: 244 seconds]
01:20
andreypopp has quit [Quit: sleep]
01:21
madroach has joined #ocaml
01:35
avsm has joined #ocaml
01:36
lolcathost has quit [Quit: brb]
01:37
lolcathost has joined #ocaml
01:38
walter|rtn has joined #ocaml
01:40
as has joined #ocaml
01:40
Neros has quit [Ping timeout: 246 seconds]
01:41
walter|r has quit [Ping timeout: 240 seconds]
01:43
avsm has quit [Ping timeout: 252 seconds]
01:48
as has quit [Quit: as]
01:50
eikke has quit [Ping timeout: 276 seconds]
02:00
paolooo has joined #ocaml
02:10
avsm has joined #ocaml
02:11
Yoric has quit [Ping timeout: 252 seconds]
02:14
andreypopp has joined #ocaml
02:18
avsm has quit [Ping timeout: 260 seconds]
02:19
as has joined #ocaml
02:34
as has quit [Quit: as]
02:36
ontologiae has quit [Ping timeout: 260 seconds]
02:46
paolooo has quit [Quit: Page closed]
02:46
avsm has joined #ocaml
02:53
avsm has quit [Read error: Operation timed out]
02:54
as has joined #ocaml
03:03
lolcathost has quit [Quit: leaving]
03:17
andreypopp has quit [Quit: sleep]
03:21
avsm has joined #ocaml
03:23
andreypopp has joined #ocaml
03:30
avsm has quit [Read error: Operation timed out]
03:42
<
thelema >
walter|rtn: you shouldn't need the -cflags or -lflags
03:43
<
thelema >
walter|rtn: what are your _tags? you still need to tell ocamlfind to use bitstring and sdl packages
03:44
andreypopp has quit [Quit: sleep]
03:44
<
thelema >
hmm, maybe -libs does this; I only know about the tags way to do this
03:50
andreypopp has joined #ocaml
03:57
avsm has joined #ocaml
03:58
tautologico has quit [Quit: tautologico]
04:03
andreypopp has quit [Quit: sleep]
04:04
pkrnj has joined #ocaml
04:05
avsm has quit [Ping timeout: 260 seconds]
04:32
<
walter|rtn >
thelema: it just seems strange, because the same project builds fine in ubuntu
04:32
<
walter|rtn >
thelema: and the sdl directory that ocamlfind finds has the same files in it
04:33
avsm has joined #ocaml
04:34
mjonsson has quit [Ping timeout: 252 seconds]
04:42
avsm has quit [Ping timeout: 260 seconds]
04:47
BiDOrD has joined #ocaml
04:49
BiDOrD_ has quit [Ping timeout: 260 seconds]
05:09
avsm has joined #ocaml
05:09
as has quit [Quit: as]
05:18
avsm has quit [Ping timeout: 252 seconds]
05:25
lolcathost has joined #ocaml
05:29
answer_42 has joined #ocaml
05:40
mye has joined #ocaml
05:42
answer_42 has quit [Ping timeout: 252 seconds]
05:44
avsm has joined #ocaml
05:53
avsm has quit [Read error: Operation timed out]
06:03
walter|rtn has quit [Quit: This computer has gone to sleep]
06:08
jamii has quit [Ping timeout: 246 seconds]
06:11
Yoric has joined #ocaml
06:20
lolcathost has quit [Quit: leaving]
06:20
avsm has joined #ocaml
06:31
avsm has quit [Ping timeout: 264 seconds]
06:33
lolcathost has joined #ocaml
06:50
lolcathost has quit [Quit: leaving]
06:52
lolcathost has joined #ocaml
06:57
avsm has joined #ocaml
07:06
avsm has quit [Read error: Operation timed out]
07:34
avsm has joined #ocaml
07:39
sepp2k1 has quit [Read error: Connection reset by peer]
07:43
avsm has quit [Ping timeout: 246 seconds]
07:56
lolcathost has quit [Quit: leaving]
07:57
lolcathost has joined #ocaml
08:05
emmanuelux has quit [Quit: emmanuelux]
08:07
larhat has quit [Quit: Leaving.]
08:18
Yoric has quit [Ping timeout: 252 seconds]
08:22
Yoric has joined #ocaml
08:27
leoncamel has joined #ocaml
08:28
answer_42 has joined #ocaml
08:43
avsm has joined #ocaml
08:53
avsm has quit [Ping timeout: 246 seconds]
09:02
larhat has joined #ocaml
09:21
avsm has joined #ocaml
09:29
avsm has quit [Read error: Operation timed out]
09:32
cdidd has quit [Ping timeout: 252 seconds]
09:48
lolcathost has quit [Quit: brb]
09:50
Playground has joined #ocaml
09:56
Anarchos has joined #ocaml
09:56
avsm has joined #ocaml
10:06
avsm has quit [Read error: Operation timed out]
10:07
mrm has joined #ocaml
10:10
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
10:10
eikke has joined #ocaml
10:11
mye has quit [Ping timeout: 256 seconds]
10:16
ulfdoz has quit [Ping timeout: 245 seconds]
10:17
ulfdoz has joined #ocaml
10:19
Anarchos has joined #ocaml
10:28
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
10:30
Anarchos has joined #ocaml
10:30
A_85 has quit [Ping timeout: 246 seconds]
10:36
<
Anarchos >
pippijn maybe you have to flush explicitly stdout ?
10:37
<
Anarchos >
pippijn i remember that the buffers used by printf are not the same as for standard out, so you have to call flush somewhere
10:45
<
pippijn >
Anarchos: from the ocaml sources: let printf fmt = fprintf stdout fmt;;
10:46
gustav__ has joined #ocaml
10:48
Neros_ has joined #ocaml
10:54
eikke has quit [Read error: Operation timed out]
10:58
<
gustav__ >
Can I break; out of a while loop?
11:00
<
Qrntz >
gustav__, use exceptions
11:00
<
Qrntz >
for one the standard library uses an exception called Exit purely for use in user code
11:03
<
gustav__ >
So I have a camlbox request -> <- camlbox reply system working. :)
11:04
<
gustav__ >
Is there a way to get nanotime in OCaml?
11:05
<
gustav__ >
Or 10^-100 time? :3
11:05
<
pippijn >
gustav__: still about your IDs?
11:05
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
11:05
<
gustav__ >
I just woke up and sat down with this.
11:08
<
gustav__ >
Maybe I should eat first.
11:18
<
adrien >
you can break with exceptions
11:18
<
adrien >
not the best style usually
11:20
<
gustav__ >
Nothing good about my ocaml programs. :)
11:25
eni has joined #ocaml
11:25
<
eni >
does ocaml have lazy evaluation by default?
11:28
<
pippijn >
eager by default
11:28
<
pippijn >
lazy with explicit syntax
11:32
Neros_ has quit [Ping timeout: 246 seconds]
11:34
Neros has joined #ocaml
11:48
tane has joined #ocaml
11:49
andreypopp has joined #ocaml
11:53
<
gustav__ >
500 requests, 250 concurrent through my camlboxes in 5.259 seconds.
11:53
<
gustav__ >
Didn't even crash.
12:02
<
gustav__ >
That's a bit faster than the lady sitting in the desk in the shop checkout at the supermarket.
12:07
<
pippijn >
a little faster
12:07
<
gustav__ >
Too much going on at the check out counter.
12:13
<
gustav__ >
I'm having problems with scopes. How do I make b run outside of the try clause here: try\n something; with |e -> (); b;
12:17
mjonsson has joined #ocaml
12:23
<
gustav__ >
Hmmm. 500 requests concurrent or 250 r c, doesn't matter. It's still 49-51 seconds with 5000 requests. :)
12:25
<
gustav__ >
I bet camlbox_wait has 1 second timer somewhere.
12:26
<
flux >
gustav__, parenthesis..
12:26
<
flux >
(try ..); b;
12:27
andreypopp has quit [Quit: sleep]
12:27
<
flux >
or, if you prefer, begin/end
12:27
<
gustav__ >
Why does these things always work when you tell me how to do it? O_O
12:27
eikke has joined #ocaml
12:27
<
gustav__ >
Right. I see what I did now.
12:31
andreypopp has joined #ocaml
12:36
Xizor has joined #ocaml
12:38
gustav__ has quit [Remote host closed the connection]
12:43
gustav__ has joined #ocaml
12:47
Xizor has quit [Read error: Connection reset by peer]
12:47
Xizor has joined #ocaml
12:53
mrm has quit [Ping timeout: 265 seconds]
12:54
andreypopp has quit [Quit: sleep]
12:56
eikke has quit [Ping timeout: 276 seconds]
12:58
Kakadu has joined #ocaml
13:06
notk0 has joined #ocaml
13:06
SysTheron has joined #ocaml
13:16
Cyanure has joined #ocaml
13:24
andreypopp has joined #ocaml
13:25
walter|r has joined #ocaml
13:27
notk0 has left #ocaml []
13:32
emmanuelux has joined #ocaml
14:07
mcclurmc has left #ocaml []
14:43
ontologiae has joined #ocaml
14:50
travisbrady has joined #ocaml
14:56
justdit has joined #ocaml
14:56
travisbrady has quit [Ping timeout: 260 seconds]
14:56
justdit has quit [Read error: Connection reset by peer]
14:57
<
gustav__ >
Battle of the programming languages. Who will win?!
14:59
mye has joined #ocaml
14:59
eni has quit [Quit: Page closed]
15:00
justdit has joined #ocaml
15:12
mye has quit [Quit: mye]
15:16
Yoric has quit [Ping timeout: 252 seconds]
15:19
fraggle_laptop has joined #ocaml
15:27
eikke has joined #ocaml
15:45
<
pippijn >
is camlp4 broken or is + not a valid unary operator?
15:46
<
pippijn >
it's not valid
15:46
<
pippijn >
but accepted as undocumented extension?
15:46
sepp2k has joined #ocaml
15:47
<
adrien >
val (~+) : int -> int
15:47
<
adrien >
Unary addition. You can also write + e instead of ~+ e .
15:47
<
adrien >
Since 3.12.0
15:47
<
adrien >
dunno why it was added that late
15:47
<
adrien >
maybe check
16:04
avsm has joined #ocaml
16:07
ontologiae has quit [Ping timeout: 245 seconds]
16:08
<
flux >
heh, this is fun:
16:08
<
flux >
# Error: Parse error: illegal begin of top_phrase
16:11
<
adrien >
flux: "another"?
16:11
<
adrien >
first free implementation I see
16:12
<
flux >
I was thinking ocamlpro had their own, but I'm probably thinking their overloading stuff
16:14
walter|r has quit [Ping timeout: 246 seconds]
16:15
<
flux >
oh, and it's not quite complete
16:15
<
flux >
pretty interesting anyway
16:19
<
adrien >
flux: proposal from Alain Frisch of Lexifi
16:19
<
adrien >
but it's not publicly available
16:20
<
adrien >
I intend to build something for lablgtk using runtime types :-)
16:21
<
adrien >
something to handle the configuration of programs half-automatically
16:21
<
adrien >
half because there will probably be a functor to adapt to the various structures
16:21
<
pippijn >
rtt actually types a program
16:21
<
pippijn >
is it based on the ocaml compiler or did they write a typechecker from scratch?
16:21
<
pippijn >
(or does it not type a program?)
16:22
<
adrien >
I'm a bit annoyed it's done through pp but it'll be a good first try and porting probably won't be too difficult once it gets integrated into ocaml (and it could make that integration faster)
16:22
<
adrien >
pippijn: ocamlc -pp "rtt <includes>" -I +rtt <includes> -c <file.ml>
16:22
<
pippijn >
adrien: and?
16:22
<
pippijn >
what does that tell me?
16:23
<
adrien >
that it's working at the same level as camlp4
16:24
<
pippijn >
nothing keeps something like camlp4 to type a program
16:24
<
pippijn >
keeps from*
16:25
<
pippijn >
is there another way than pp?
16:25
xavierm02 has joined #ocaml
16:26
<
pippijn >
I'm going to try this thing
16:27
<
pippijn >
it needs ocaml sources
16:27
walter|r has joined #ocaml
16:28
<
pippijn >
so it does type the program
16:29
<
pippijn >
it needs ocaml 4 sources
16:29
<
pippijn >
here ends my test
16:31
<
adrien >
actually it rebuilds the standard library
16:32
<
pippijn >
optionally
16:32
<
pippijn >
yes, it also does that
16:32
<
pippijn >
and you can optionally use it
16:32
<
pippijn >
adrien: it uses "types" and "untypeast" modules from the ocaml sources
16:37
jamii has joined #ocaml
16:41
larhat has quit [Quit: Leaving.]
16:42
avsm1 has joined #ocaml
16:42
avsm has quit [Read error: Connection reset by peer]
16:48
djcoin has joined #ocaml
16:52
sepp2k has quit [Ping timeout: 264 seconds]
16:53
sepp2k has joined #ocaml
16:54
justdit has quit [Ping timeout: 264 seconds]
17:02
eikke has quit [Ping timeout: 276 seconds]
17:03
tautologico has joined #ocaml
17:05
andreypopp has quit [Quit: sleep]
17:07
andreypopp has joined #ocaml
17:08
cdidd has joined #ocaml
17:26
leoncamel has quit [Ping timeout: 248 seconds]
17:28
tac has joined #ocaml
17:43
mye has joined #ocaml
17:47
Anarchos has joined #ocaml
17:49
tac has quit [Ping timeout: 245 seconds]
17:49
larhat has joined #ocaml
17:50
walter|r has quit [Quit: This computer has gone to sleep]
17:53
Yoric has joined #ocaml
18:00
avsm1 has quit [Quit: Leaving.]
18:02
walter|r has joined #ocaml
18:28
beginner42 has joined #ocaml
18:31
tac has joined #ocaml
18:31
Submarine has joined #ocaml
18:31
Submarine has quit [Changing host]
18:31
Submarine has joined #ocaml
18:34
andreypopp has quit [Quit: sleep]
18:34
eikke has joined #ocaml
18:35
<
beginner42 >
can someone explain to me why the compiler says unbound module X in my example?
18:46
ontologiae has joined #ocaml
18:47
andreypopp has joined #ocaml
18:47
andreypopp has quit [Remote host closed the connection]
18:47
<
Qrntz >
beginner42, what are you trying to accomplish?
18:47
<
Qrntz >
I'm not sure your syntax is right
18:48
Playground has quit [Ping timeout: 252 seconds]
18:48
<
beginner42 >
Qrntz: what line are you referring to?
18:49
<
Qrntz >
beginner42, 9 and 12
18:50
<
beginner42 >
Qrntz: line 12 is the one the compiler complains about, but where is the mistake in line 9?
18:50
zoie has joined #ocaml
18:52
andreypopp has joined #ocaml
18:52
larhat has quit [Quit: Leaving.]
18:52
larhat has joined #ocaml
18:55
<
Qrntz >
beginner42, as far as I know, functors operate in the value space, not type space
18:57
zoie has quit [Ping timeout: 245 seconds]
18:58
<
Qrntz >
beginner42, the red-colored text is the output of the OCaml interpreter
18:58
<
Qrntz >
green is actual user input
18:58
andreypopp has quit [Quit: sleep]
19:00
<
beginner42 >
red could be written into an mli file?
19:00
<
gustav__ >
(* Weebly says I've had a lot of traffic. :) *)
19:01
<
Qrntz >
beginner42, yes, that's the signature
19:01
<
beginner42 >
so where is the mistake in mine?
19:01
andreypopp has joined #ocaml
19:02
jamii has quit [Ping timeout: 246 seconds]
19:03
<
gustav__ >
Sh-t. Sundays are for sleeping. Nothing else.
19:03
<
gustav__ >
|Sunday -> sleep; |_ -> work;
19:04
<
gustav__ >
I tried watching a lecture and fell asleep in 5 minutes.
19:06
andreypopp has quit [Quit: sleep]
19:12
<
gustav__ >
I like how you are always on your own with optimization. There is no automatic procedure.
19:15
<
Qrntz >
beginner42, sorry, premature assumption
19:15
<
Qrntz >
but what's that X.t on line 12 for?
19:16
<
yezariaely >
How can I pass on optional parameters?
19:17
<
yezariaely >
I simply want to do let create ?host ?database = Mysql.quick_connect ~host:host
19:17
tautologico_ has joined #ocaml
19:17
<
yezariaely >
host is an optional org of quick_connect, too.
19:18
<
gustav__ >
Get the args as a list?
19:18
tautologico has quit [Ping timeout: 240 seconds]
19:18
tautologico_ is now known as tautologico
19:19
<
gustav__ >
Read them as a list.
19:19
<
Qrntz >
yezariaely, try «let create ?host ?database = Mysql.quick_connect ?host …»
19:20
Anarchos has quit [Ping timeout: 276 seconds]
19:23
fraggle_laptop has quit [Remote host closed the connection]
19:27
trotro has joined #ocaml
19:32
SysTheron has quit [Quit: Lost terminal]
19:34
ozie has joined #ocaml
19:37
<
ozie >
hello, i have a type A of int | B of string, and a Hashtbl mapping string to int's; i want to write a function that treats similarly the case when we have an A of n and a B of s when "s" is in the Hashtbl; how can i write such a "match"?
19:40
mye has quit [Quit: mye]
19:41
ben_zen has quit [Ping timeout: 256 seconds]
19:42
deu5 has joined #ocaml
19:44
ben_zen has joined #ocaml
19:47
lolcathost has joined #ocaml
19:49
<
beginner42 >
Qrntz: the ST.t X.t is a phantom type
19:51
mjonsson has quit [Read error: Connection reset by peer]
19:58
Anarchos has joined #ocaml
20:03
andreypopp has joined #ocaml
20:03
andreypopp has quit [Client Quit]
20:08
mjonsson has joined #ocaml
20:13
larhat has quit [Quit: Leaving.]
20:19
Kakadu has quit [Quit: Konversation terminated!]
20:20
eikke has quit [Ping timeout: 265 seconds]
20:20
pkrnj has joined #ocaml
20:21
pkrnj has quit [Client Quit]
20:22
pkrnj has joined #ocaml
20:22
answer_42 has quit [Quit: WeeChat 0.3.9]
20:23
<
ozie >
or simpler, i want to make a match on some x of type int option, and i want to use the value 0 when x = None
20:25
andreypopp has joined #ocaml
20:26
andreypopp has quit [Client Quit]
20:29
lolcathost has quit [Ping timeout: 255 seconds]
20:42
lolcathost has joined #ocaml
20:47
walter|r has quit [Quit: Leaving]
20:47
walter|r has joined #ocaml
20:51
djcoin has quit [Quit: WeeChat 0.3.9]
20:54
Anarchos has quit [Ping timeout: 246 seconds]
20:55
Submarine has quit [Remote host closed the connection]
20:57
Anarchos has joined #ocaml
21:01
ozie has quit [Ping timeout: 245 seconds]
21:03
jamii has joined #ocaml
21:03
<
yezariaely >
help: this type is complicated ... string -> mytype option list ref Lazy.t
21:03
<
yezariaely >
but I think I need it. Any suggestions?
21:05
<
adrien >
lazy + ref? you need both?
21:05
<
adrien >
list of options? why not just skip altogether the elements that would be None?
21:05
<
adrien >
(string -> yourtype) list ref
21:05
<
adrien >
(string -> yourtype) list Lazy.t
21:05
<
adrien >
is probably just as good
21:06
<
adrien >
bedtime, good night and good luck
21:06
fraggle_laptop has joined #ocaml
21:08
tane has quit [Quit: Verlassend]
21:11
<
yezariaely >
adrien: thanks! I wanted to fetch stuff from a database lazy, and have a cache for already fetched stuff, thus the option.
21:11
<
yezariaely >
good night to you, too.
21:12
jamii has quit [Ping timeout: 246 seconds]
21:15
Xizor has quit [Quit: So yes it's mIRC under wine under debian double peche capital. ;) I'll soon see in kfreeBSD.]
21:15
xavierm02 has quit [Quit: Leaving]
21:16
fraggle_laptop has quit [Remote host closed the connection]
21:16
Arsenik has joined #ocaml
21:17
Cyanure has quit [Read error: Connection reset by peer]
21:25
pkrnj has quit [Quit: Computer has gone to sleep.]
21:26
lolcathost has quit [Ping timeout: 252 seconds]
21:27
lolcathost has joined #ocaml
21:32
emmanuelux has quit [Quit: emmanuelux]
21:32
lolcathost has quit [Ping timeout: 264 seconds]
21:32
tac has quit [Ping timeout: 245 seconds]
21:33
emmanuelux has joined #ocaml
21:35
emmanuelux has quit [Read error: Connection reset by peer]
21:37
lolcathost has joined #ocaml
21:40
lolcathost has quit [Quit: leaving]
21:47
jamii has joined #ocaml
21:49
beginner42 has quit [Quit: irc2go]
21:51
andreypopp has joined #ocaml
21:55
andreypopp has quit [Ping timeout: 255 seconds]
21:57
andreypopp has joined #ocaml
22:04
andreypopp has quit [Quit: sleep]
22:12
Anarchos has quit [Ping timeout: 246 seconds]
22:15
Anarchos has joined #ocaml
22:17
Arsenik has quit [Remote host closed the connection]
22:52
andreypopp has joined #ocaml
23:00
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
23:00
pkrnj has joined #ocaml
23:02
lolcathost has joined #ocaml
23:04
nooy has joined #ocaml
23:05
jamii has quit [Read error: Connection reset by peer]
23:07
mye has joined #ocaml
23:11
justdit has joined #ocaml
23:35
lolcathost has quit [Ping timeout: 268 seconds]
23:36
pkrnj has quit [Quit: Computer has gone to sleep.]
23:40
ontologiae has quit [Ping timeout: 256 seconds]
23:48
travisbrady has joined #ocaml
23:52
travisbrady has quit [Ping timeout: 240 seconds]