00:07
Mark_ has quit [Quit: Page closed]
00:08
Progster has quit [Ping timeout: 260 seconds]
00:20
gnuvince has quit [Ping timeout: 245 seconds]
00:30
ulfdoz_ has joined #ocaml
00:31
iago has quit [Quit: Leaving]
00:34
ulfdoz has quit [Ping timeout: 272 seconds]
00:34
ulfdoz_ is now known as ulfdoz
00:38
emmanuelux has joined #ocaml
00:58
cacho has quit [Read error: Connection reset by peer]
01:01
ankit9 has joined #ocaml
01:17
cacho has joined #ocaml
01:19
madroach has quit [Ping timeout: 265 seconds]
01:21
madroach has joined #ocaml
02:03
emmanuelux has quit [Ping timeout: 265 seconds]
02:07
Tobu has quit [Quit: No Ping reply in 180 seconds.]
02:07
Tobu has joined #ocaml
03:15
gnuvince has joined #ocaml
03:24
<
cacho >
rgrinberg: yes, it does
03:26
avsm has joined #ocaml
03:27
avsm has quit [Client Quit]
03:34
avsm has joined #ocaml
04:08
avsm has quit [Quit: Leaving.]
04:14
avsm has joined #ocaml
04:14
avsm has quit [Read error: Connection reset by peer]
04:36
jamii has joined #ocaml
04:57
jamii has quit [Ping timeout: 245 seconds]
05:23
bddn has joined #ocaml
05:32
noj_ has quit [Quit: leaving]
05:32
noj has joined #ocaml
05:40
ankit9 has quit [Ping timeout: 244 seconds]
05:53
ankit9 has joined #ocaml
06:03
ftrvxmtrx has quit [Quit: Leaving]
06:18
Yoric has joined #ocaml
06:27
Progster has joined #ocaml
06:28
rgrinberg has quit [Ping timeout: 246 seconds]
06:29
ankit9 has quit [Quit: Leaving]
06:34
pango is now known as pangoafk
06:53
Yoric has quit [Ping timeout: 240 seconds]
07:01
Fnar has quit [Ping timeout: 252 seconds]
07:03
ftrvxmtrx has joined #ocaml
07:07
Progster has quit [Ping timeout: 240 seconds]
07:09
ankit9 has joined #ocaml
07:22
Yoric has joined #ocaml
07:23
djcoin has joined #ocaml
07:31
mika1 has joined #ocaml
07:32
cago has joined #ocaml
07:49
Yoric1 has joined #ocaml
07:51
sgnb has quit [Ping timeout: 246 seconds]
07:51
Yoric has quit [Ping timeout: 246 seconds]
08:07
Yoric1 has quit [Ping timeout: 240 seconds]
08:11
Yoric has joined #ocaml
08:15
sgnb has joined #ocaml
08:18
sgnb has quit [Read error: Connection reset by peer]
08:20
sgnb has joined #ocaml
08:28
Yoric has quit [Ping timeout: 246 seconds]
08:29
Yoric has joined #ocaml
08:51
Cyanure has joined #ocaml
09:24
Yoric has quit [Ping timeout: 244 seconds]
09:26
Yoric has joined #ocaml
09:32
Yoric has quit [Ping timeout: 246 seconds]
09:42
Yoric has joined #ocaml
09:57
Yoric has quit [Ping timeout: 246 seconds]
09:58
Yoric has joined #ocaml
09:59
BiDOrD has joined #ocaml
10:00
BiDOrD_ has quit [Ping timeout: 252 seconds]
10:07
dwmw2_gone has quit [Ping timeout: 244 seconds]
10:14
Yoric has quit [Ping timeout: 246 seconds]
10:25
dwmw2_gone has joined #ocaml
10:27
Yoric has joined #ocaml
10:35
Yoric has quit [Ping timeout: 246 seconds]
10:41
ankit9 has quit [Ping timeout: 244 seconds]
10:46
_andre has joined #ocaml
10:53
ankit9 has joined #ocaml
11:08
dwmw2_gone is now known as dwmw2
11:21
Yoric has joined #ocaml
11:23
sepp2k1 has quit [Quit: Leaving.]
11:45
wtetzner has quit [Remote host closed the connection]
11:54
dwmw2 has quit [Ping timeout: 240 seconds]
11:55
dwmw2_gone has joined #ocaml
12:00
dwmw2_gone has quit [Ping timeout: 260 seconds]
12:01
Yoric has quit [Ping timeout: 240 seconds]
12:02
Yoric has joined #ocaml
12:05
dwmw2_gone has joined #ocaml
12:10
dwmw2_gone has quit [Ping timeout: 252 seconds]
12:20
dwmw2_gone has joined #ocaml
12:21
dwmw2_gone is now known as dwmw2
12:22
Yoric has quit [Ping timeout: 248 seconds]
12:22
gnuvince has quit [Ping timeout: 276 seconds]
12:27
dwmw2 has quit [Ping timeout: 260 seconds]
12:29
samposm has quit [Ping timeout: 240 seconds]
12:31
dwmw2_gone has joined #ocaml
12:35
samposm has joined #ocaml
12:36
emmanuelux has joined #ocaml
13:00
rgrinberg has joined #ocaml
13:01
gnuvince has joined #ocaml
13:13
Progster has joined #ocaml
13:14
rgrinberg has quit [Ping timeout: 245 seconds]
13:23
<
adrien >
configure: WARNING: Your ocaml version is 3.12.1, but the latest version this program is known to work with is 3.08. If you have
13:23
<
adrien >
let's have some fun with saffire :P
13:30
smondet has joined #ocaml
13:35
osa1 has joined #ocaml
13:37
Trixboxer has joined #ocaml
13:37
<
adrien >
great, missing module...
13:38
<
Trixboxer >
Hi, Im writing a function in OCaml and need help in Cli_printer
13:42
<
gnuvince >
If I have a module like: module X = struct type t = int end, how can I create an X.t? I tried let z = (3 : X.t), but to no avail.
13:45
eudicot has left #ocaml []
13:47
<
Ptival >
gnuvince: works here
13:48
<
Ptival >
# module X = struct type t = int end;;
13:48
<
Ptival >
module X : sig type t = int end
13:48
<
Ptival >
# let z = (3 : X.t);;
13:48
<
Ptival >
val z : X.t = 3
13:48
<
Ptival >
what error do you get?
13:51
<
gnuvince >
I didn't make this example correctly then.
13:51
<
gnuvince >
let x = (3 : Integer.t);;
13:51
<
gnuvince >
Characters 9-10:
13:52
<
gnuvince >
let x = (3 : Integer.t);;
13:52
<
gnuvince >
Error: This expression has type int but an expression was expected of type
13:52
<
gnuvince >
Integer.t
13:52
<
gnuvince >
here's the failing example:
13:53
paolooo has joined #ocaml
13:53
<
gnuvince >
module X : sig type t end = struct type t = int end;;
13:58
<
Qrntz >
gnuvince, this is because your Integer.t is abstracted
13:59
<
Qrntz >
if you want to unify it with the built-in «int» type, you should mention it in the signature
13:59
<
Qrntz >
e. g. «module X : sig type t = int end = struct type t = int end»
14:01
eikke has joined #ocaml
14:03
<
gnuvince >
Hmmm, I wouldn't want to do that
14:03
<
gnuvince >
I'll pastebin my example
14:06
<
gnuvince >
As it is, I couldn't create an Integer.t, could I?
14:07
eudicot has joined #ocaml
14:07
<
Ptival >
no, you cannot
14:07
<
Ptival >
only the inside of Integer knows what t is, because the signature Number abstracts it away
14:08
<
Ptival >
you could add "val fromInt : int -> t" in Number
14:08
<
Ptival >
and then you could create an Integer.t via (Integer.fromInt 42)
14:09
<
Ptival >
(maybe from_int is more OCamly)
14:09
<
flux >
of_int actually
14:09
<
Ptival >
(or of_int...)
14:10
<
gnuvince >
Thanks a bunch guys!
14:15
<
Ptival >
it's only "a" solution
14:16
osa1 has quit [Quit: Konversation terminated!]
14:25
thomasga has joined #ocaml
14:26
mk270 has quit [Ping timeout: 244 seconds]
14:26
mk270 has joined #ocaml
14:34
flx_ has joined #ocaml
14:34
flux has quit [Remote host closed the connection]
14:34
flx_ is now known as Guest45077
14:34
Guest45077 is now known as flux
14:44
Cyanure has quit [Remote host closed the connection]
14:57
ftrvxmtrx has quit [Quit: Leaving]
14:57
eni has joined #ocaml
15:04
mika1 has quit [Quit: Leaving.]
15:09
cago has quit [Ping timeout: 272 seconds]
15:14
cdidd has quit [Ping timeout: 260 seconds]
15:24
braibant has joined #ocaml
15:25
BiDOrD_ has joined #ocaml
15:25
BiDOrD has quit [Ping timeout: 246 seconds]
15:27
beckerb has quit [Ping timeout: 245 seconds]
15:27
lusory has quit [Ping timeout: 244 seconds]
15:28
emmanuelux has quit [Ping timeout: 276 seconds]
15:36
eni has quit [Remote host closed the connection]
15:50
Progster has quit [Ping timeout: 246 seconds]
16:01
avsm has joined #ocaml
16:02
avsm1 has joined #ocaml
16:06
avsm has quit [Ping timeout: 244 seconds]
16:09
joewilliams has joined #ocaml
16:22
Progster has joined #ocaml
16:32
avsm1 has quit [Quit: Leaving.]
16:40
djcoin has quit [Quit: WeeChat 0.3.2]
16:46
pangoafk is now known as pango
16:55
avsm has joined #ocaml
16:57
avsm has quit [Client Quit]
17:07
madroach has quit [Quit: leaving]
17:09
madroach has joined #ocaml
17:29
ftrvxmtrx has joined #ocaml
17:34
avsm has joined #ocaml
17:36
avsm has quit [Client Quit]
17:36
eni has joined #ocaml
17:39
hongboz has joined #ocaml
17:53
avsm has joined #ocaml
17:54
avsm1 has joined #ocaml
17:56
fraggle_ has quit [Read error: Connection reset by peer]
17:57
avsm has quit [Ping timeout: 244 seconds]
18:02
emmanuelux has joined #ocaml
18:20
sgnb has quit [Read error: Connection reset by peer]
18:22
ankit9 has quit [Ping timeout: 268 seconds]
18:23
sgnb has joined #ocaml
18:24
avsm has joined #ocaml
18:25
avsm1 has quit [Read error: Connection reset by peer]
18:25
sgnb has quit [Read error: Connection reset by peer]
18:34
ankit9 has joined #ocaml
18:40
paolooo has quit [Ping timeout: 245 seconds]
18:40
jcao219 has joined #ocaml
18:41
hongboz has quit [Remote host closed the connection]
18:45
avsm has quit [Quit: Leaving.]
18:45
emmanuelux has quit [Ping timeout: 276 seconds]
18:51
avsm has joined #ocaml
18:58
Progster has quit [Ping timeout: 272 seconds]
18:58
Cyanure has joined #ocaml
19:02
metadave has joined #ocaml
19:08
eni has quit [Ping timeout: 252 seconds]
19:11
eni has joined #ocaml
19:15
dsheets has quit [Quit: Leaving.]
19:15
dsheets has joined #ocaml
19:16
eni has quit [Ping timeout: 265 seconds]
19:21
null- has joined #ocaml
19:23
paolooo has joined #ocaml
19:24
avsm has quit [Quit: Leaving.]
19:35
Progster has joined #ocaml
19:48
<
thelema >
testcocoon: no forward declaration
19:48
<
jonafan >
i would make an interface and use that in the type t declaration
19:48
<
thelema >
and no way to simultaneously define a type and a class using 'and' (AFAIK)
19:48
thomasga has quit [Quit: Leaving.]
19:49
<
testcocoon >
thelema: I was trying the 'and', but I will have a try with the interface, that sounds good
19:52
sgnb has joined #ocaml
19:53
<
thelema >
with the interface, do be careful; ocaml's typing of objects/classes is quite picky.
19:54
null- has left #ocaml []
20:00
paolooo has quit [Ping timeout: 245 seconds]
20:07
tane has joined #ocaml
20:08
<
flux >
too bad 'and' doesn't work between classes and types
20:09
<
flux >
well, that's been my personal problem sometimes, cannot load the pastebin for some reason so can't tell if it applies, but probably not :)
20:10
<
thelema >
the pastebin is a trivial type and class that are mutually dependent
20:10
<
thelema >
class is parameterized by a value of the type
20:10
<
thelema >
and the type has a variant holding a value of the class
20:12
sepp2k has joined #ocaml
20:13
<
jonafan >
i guess class ['a] c tt = object val ttt = tt end might be nicer than an interface
20:13
<
jonafan >
then you can do type t = V of t c
20:24
avsm has joined #ocaml
20:30
_andre has quit [Quit: leaving]
20:42
<
_habnabit >
let rec n_cartesian_product = function [] -> assert false
20:43
<
thelema >
_habnabit: ?
20:43
<
_habnabit >
'assert false' is terrible
20:43
<
_habnabit >
why isn't it invalid_arg "n_cartesian_product" ?
20:43
<
thelema >
_habnabit: ah. quite true.
20:44
<
thelema >
_habnabit: send pull request
20:44
<
_habnabit >
haha, okay
20:44
<
thelema >
_habnabit: my apologies for your torment tracking that down.
20:44
<
testcocoon >
hnrgrgr: nice trick!
20:45
<
hnrgrgr >
testcocoon: not from me :)
20:50
Reventlov has quit [Quit: leaving]
20:50
Reventlov has joined #ocaml
21:04
eikke has quit [Ping timeout: 245 seconds]
21:30
djcoin has joined #ocaml
21:54
tane has quit [Quit: Verlassend]
22:00
gnuvince has quit [Ping timeout: 240 seconds]
22:06
_key_ has joined #ocaml
22:08
<
_key_ >
hi, i have the following problem: on a linux machine, i am compiling ocaml 3.12.1 and i am installing it locally to ~/local. everything seems fine, but ocamlfind query camlp4 gives me: ocamlfind: Package `camlp4' not found
22:08
<
_key_ >
i can't install batteries because of that
22:09
Progster has quit [Ping timeout: 240 seconds]
22:10
gnuvince has joined #ocaml
22:28
ankit9 has quit [Ping timeout: 276 seconds]
22:31
smondet has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
22:40
wtetzner has joined #ocaml
22:41
ankit9 has joined #ocaml
22:47
Cyanure has quit [Remote host closed the connection]
22:58
cdidd has joined #ocaml
23:02
_key_ has quit [Quit: _key_]
23:04
err404 has joined #ocaml
23:10
Progster has joined #ocaml
23:15
mattrepl has joined #ocaml
23:18
djcoin has quit [Quit: WeeChat 0.3.2]
23:31
emmanuelux has joined #ocaml
23:45
Progster has quit [Ping timeout: 260 seconds]
23:45
Trixboxer has quit [Quit: "Achievement is not the end, its the beginning of new journey !!!"]