00:03
domiel has quit [Quit: Ex-Chat]
00:04
maattd has joined #ocaml
00:07
Alpounet has joined #ocaml
00:14
munga has quit [Ping timeout: 276 seconds]
00:21
tmaedaZ is now known as tmaeda
00:25
fraggle_ has joined #ocaml
00:42
valross has joined #ocaml
00:42
det has joined #ocaml
00:48
alp has joined #ocaml
00:48
Alpounet has quit [Disconnected by services]
00:53
Alpounet has joined #ocaml
00:53
alp has quit [Read error: No route to host]
00:56
quidnunc has joined #ocaml
00:56
<
quidnunc >
Can anyone who does packaging for Debian tell me how to set the OCAML_ABI in rules?
00:57
<
quidnunc >
Or rather, tell me how it is calculated.
00:58
<
mrvn >
I think you don't anymore.
00:59
<
mrvn >
In squeeze ocaml seems to be compiled for /usr/lib/ocaml without version.
00:59
<
quidnunc >
How is OCamlABI set?
01:00
<
quidnunc >
mrvn: I would expect that only packages that have ocaml as a dependency would require ABI version information
01:01
<
quidnunc >
The why package is what I am looking at in particular.
01:01
<
mrvn >
look at dh_ocaml
01:01
tmaeda is now known as tmaedaZ
01:02
tmaedaZ is now known as tmaeda
01:02
<
mrvn >
and check on #debian-ocaml on irc.debian.org
01:02
<
quidnunc >
mrvn: Thanks
01:07
fraggle_ has quit [Quit: -ENOBRAIN]
01:09
ztfw has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
01:14
ztfw has joined #ocaml
01:23
threeve has joined #ocaml
01:42
travisbrady has quit [Quit: travisbrady]
01:51
Alpounet has quit [Quit: ``Do what you think you can't do.'']
01:53
Alpounet has joined #ocaml
01:58
Associat0r has joined #ocaml
02:01
quidnunc has quit [Remote host closed the connection]
02:24
ztfw has quit [Remote host closed the connection]
02:36
jeddhaberstro has joined #ocaml
02:39
maskd has quit [Quit: leaving]
02:58
hkarim has quit [Quit: Leaving]
03:19
joewilliams is now known as joewilliams_away
03:22
Associat0r has quit [Quit: Associat0r]
03:51
threeve has quit [Quit: threeve]
03:56
threeve has joined #ocaml
03:57
enthymene has joined #ocaml
04:02
thrasibule has joined #ocaml
04:13
thrasibule_ has joined #ocaml
04:13
jeddhaberstro has quit [Quit: jeddhaberstro]
04:13
thrasibule has quit [Ping timeout: 265 seconds]
04:54
Drk-Sd has quit [Quit: dodo]
05:18
schme has quit [Ping timeout: 245 seconds]
05:18
schme has joined #ocaml
05:18
schme has quit [Changing host]
05:18
schme has joined #ocaml
05:21
Mr_Awesome has quit [Ping timeout: 265 seconds]
05:23
AndChat- has joined #ocaml
05:23
valross has quit [Ping timeout: 252 seconds]
05:24
AndChat- has quit [Client Quit]
05:28
Mr_Awesome has joined #ocaml
05:29
seafood has quit [Quit: seafood]
05:36
Associat0r has joined #ocaml
05:38
valross has joined #ocaml
05:39
seafood has joined #ocaml
05:53
maattd has quit [Quit: maattd]
05:56
joewilliams_away is now known as joewilliams
05:58
ulfdoz has joined #ocaml
05:59
joewilliams is now known as joewilliams_away
06:00
derdon has joined #ocaml
06:07
derdon has quit [Quit: derdon]
06:17
bzzbzz has quit [Ping timeout: 260 seconds]
06:20
threeve has quit [Quit: threeve]
06:39
ttamttam has joined #ocaml
06:50
Submarine has joined #ocaml
06:58
ttamttam has quit [Quit: Leaving.]
07:11
valross has quit [Quit: Ex-Chat]
07:14
avsm1 has joined #ocaml
07:16
seafood has quit [Quit: seafood]
07:28
ulfdoz has quit [Ping timeout: 264 seconds]
07:31
seafood has joined #ocaml
07:36
avsm1 has quit [Quit: Leaving.]
07:41
munga has joined #ocaml
07:47
ttamttam has joined #ocaml
07:58
demitar has quit [Ping timeout: 276 seconds]
08:00
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
08:01
<
sfuentes >
anyone know if i can print the type of a function in ocaml toplevel?
08:02
<
sfuentes >
or how that is
08:02
demitar has joined #ocaml
08:06
<
flux >
for example: print_endline;;
08:09
yakov has joined #ocaml
08:11
<
sfuentes >
flux: thank you. i'm still learning ocaml so you'll have to excuse me.
08:14
Submarine has quit [Ping timeout: 276 seconds]
08:29
_zack has joined #ocaml
08:29
rwmjones has joined #ocaml
08:30
enthymene has joined #ocaml
08:32
ikaros has joined #ocaml
08:49
Submarine has joined #ocaml
08:53
Yoric has joined #ocaml
09:11
seafood has quit [Quit: seafood]
09:21
mehdid has quit [Ping timeout: 252 seconds]
09:35
naufraghi has joined #ocaml
09:38
mehdid has joined #ocaml
09:57
naufraghi_ has joined #ocaml
10:00
naufraghi has quit [Ping timeout: 240 seconds]
10:00
naufraghi_ is now known as naufraghi
10:04
Submarine has quit [Ping timeout: 258 seconds]
10:08
Yoric has quit [Read error: Connection timed out]
10:09
Yoric has joined #ocaml
10:16
Yoric has quit [Quit: Yoric]
10:26
avsm has joined #ocaml
10:29
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
10:53
domiel has joined #ocaml
10:54
maskd has joined #ocaml
10:56
domiel is now known as Shoggoth
10:56
ikaros has quit [Remote host closed the connection]
11:00
rwmjones_ has joined #ocaml
11:02
Shoggoth has quit [Quit: Ex-Chat]
11:03
domiel has joined #ocaml
11:03
domiel has quit [Remote host closed the connection]
11:04
domiel has joined #ocaml
11:13
domiel has quit [Quit: Ex-Chat]
11:19
ztfw has joined #ocaml
11:21
Shoggoth has joined #ocaml
11:22
Shoggoth has quit [Client Quit]
11:22
Shoggoth has joined #ocaml
11:23
Shoggoth has quit [Read error: Connection reset by peer]
11:23
Shoggoth has joined #ocaml
11:23
Shoggoth is now known as facepalm
11:23
facepalm is now known as Shoggoth
11:27
pimmhogeling has joined #ocaml
11:44
ttamttam has quit [Quit: Leaving.]
11:50
ztfw has quit [Remote host closed the connection]
11:51
Submarine has joined #ocaml
12:08
smimou has quit [Ping timeout: 246 seconds]
12:09
smimou has joined #ocaml
12:19
mehdid has quit [Ping timeout: 268 seconds]
12:25
_andre has joined #ocaml
12:26
Alpounet has quit [Quit: ``Do what you think you can't do.'']
12:30
mehdid has joined #ocaml
12:31
Alpounet has joined #ocaml
12:32
boscop has joined #ocaml
12:34
ttamttam has joined #ocaml
12:44
_unK has joined #ocaml
12:49
mehdid has quit [Ping timeout: 264 seconds]
12:57
mehdid has joined #ocaml
13:06
Drk-Sd has joined #ocaml
13:19
rwmjones_ has quit [Ping timeout: 276 seconds]
13:22
ttamttam has quit [Quit: Leaving.]
13:32
rwmjones_ has joined #ocaml
13:47
seafood has joined #ocaml
13:49
ASpiwack has joined #ocaml
13:51
thrasibule_ has quit [Ping timeout: 276 seconds]
13:56
ttamttam has joined #ocaml
14:19
threeve has joined #ocaml
14:21
jcaose has joined #ocaml
14:27
munga has quit [Ping timeout: 265 seconds]
14:28
ikaros has joined #ocaml
14:34
seafood has quit [Ping timeout: 264 seconds]
14:35
yakov has quit [Quit: Leaving]
14:37
pimmhogeling has quit [Ping timeout: 265 seconds]
14:40
ikaros has quit [Quit: Leave the magic to Houdini]
14:46
srcerer has quit [Ping timeout: 245 seconds]
14:57
bzzbzz has joined #ocaml
15:06
ztfw has joined #ocaml
15:13
ulfdoz has joined #ocaml
15:18
ulfdoz has quit [Ping timeout: 245 seconds]
15:18
ulfdoz_ has joined #ocaml
15:22
pimmhogeling has joined #ocaml
15:22
Alpounet has quit [Quit: ``Do what you think you can't do.'']
15:30
Drk-Sd has quit [Ping timeout: 256 seconds]
15:39
Drk-Sd has joined #ocaml
15:39
pimmhogeling has quit [Ping timeout: 265 seconds]
15:39
fraggle_ has joined #ocaml
15:52
mehdid has quit [Ping timeout: 258 seconds]
15:54
Shoggoth has quit [Quit: Ex-Chat]
15:58
Alpounet has joined #ocaml
16:00
mehdid has joined #ocaml
16:10
joewilliams_away is now known as joewilliams
16:31
Submarine has quit [Quit: Leaving]
16:34
joewilliams is now known as joewilliams_away
16:37
jao has joined #ocaml
16:38
<
sfuentes >
is it possible to have an if then else expression that returns an int but also prints the int in the then clause as well?
16:39
rjones__ has joined #ocaml
16:39
<
sfuentes >
something like let x = if foo < 32 then print_int foo; foo + 1 else 0;;
16:40
<
Camarade_Tux >
then let () = print_int foo in foo + 1 else 0
16:40
<
Camarade_Tux >
should do it
16:41
<
_andre >
or then print_int foo; foo + 1
16:41
<
_andre >
or then (print_int foo; foo + 1)
16:42
<
_andre >
or then begin print_int foo; foo + 1 end
16:42
rwmjones_ has quit [Ping timeout: 240 seconds]
16:42
Alpounet has quit [Read error: No route to host]
16:42
<
sfuentes >
thank you very much, gentlemen.
16:45
<
fraggle_ >
is someone here have already used bitstring to generate networks packets ?
16:46
<
fraggle_ >
(just asking before coding)
16:56
tmaeda is now known as tmaedaZ
16:56
mehdid has quit [Ping timeout: 258 seconds]
16:59
mehdid has joined #ocaml
17:02
<
Camarade_Tux >
let's make a cross-compiler to windows :-)
17:13
jeddhaberstro has joined #ocaml
17:15
yakischloba has quit [Quit: Leaving.]
17:21
joewilliams_away is now known as joewilliams
17:22
rjones__ has quit [Quit: Leaving]
17:35
f[x] has quit [Read error: Operation timed out]
17:36
ztfw has quit [Remote host closed the connection]
17:39
yakischloba has joined #ocaml
18:07
_zack has quit [Quit: Leaving.]
18:14
avsm has quit [Quit: Leaving.]
18:35
ulfdoz_ has quit [Quit: Reconnecting]
18:35
ulfdoz has joined #ocaml
18:38
pimmhogeling has joined #ocaml
18:41
ttamttam has quit [Quit: Leaving.]
18:45
ASpiwack has quit [Remote host closed the connection]
19:02
Yoric has joined #ocaml
19:03
seanmcl has joined #ocaml
19:08
derdon has joined #ocaml
19:20
Yoric has quit [Quit: Yoric]
19:22
seanmcl has quit [Quit: seanmcl]
19:44
ztfw has joined #ocaml
19:47
Yoric has joined #ocaml
19:56
avsm has joined #ocaml
19:57
BigJ has quit [Remote host closed the connection]
19:57
<
mrvn >
Can I define a (phantom) type in two modules so that they are the same?
19:58
<
mrvn >
Without creating a dependency from one module to the other
19:58
<
thelema >
type 'a foo = 'a Bar.foo?
19:58
<
thelema >
type 'a foo = [ `Foo | `Bar ]
19:58
<
thelema >
same in other module
19:59
<
mrvn >
I have Bigarrays that are aligned and want to encode that in the type.
20:00
<
mrvn >
thelema: Then 'Foo would work in both modules but for function signatures one would have 'a Foo.foo and the other 'a Bar.foo.
20:01
<
thelema >
ah, I see the problem. No, such a request is non-sensical, I think.
20:01
<
flux >
I think it feels quite natural to me that in order to have one type, it is defined once, in one module, and the rest just point to that..
20:02
<
thelema >
just have one types module that both depend on.
20:03
<
mrvn >
I'm trying to avoid the dependency between libaio and libfuse. The only thing that connects the two is the buffer type.
20:03
<
flux >
well, have a module LibAioLibFuseModuleType with type t?
20:03
<
mrvn >
I guess I could declare the buffer a plain Bigarray and throw an exception at runtime if it is misaligned.
20:04
<
mrvn >
flux: seems like an awfull lot of work to package that for just one type.
20:04
bzzbzz has quit [Quit: leaving]
20:04
<
flux >
well, if you'd be doing it instead of wondering how to work around it, you'd already be done with it ;-)
20:05
_andre has quit [Quit: leaving]
20:05
<
mrvn >
flux: The cost is in maintaining it
20:05
<
flux >
isn't it just an organizational issue?
20:05
<
flux >
the code needs to exist, it's a matter of picking where to put it?
20:06
<
mrvn >
Updating it every time the Debian packaging changes and recompiling on every ocaml transition
20:06
<
flux >
yes.. every time debian packaging changes..
20:06
<
flux >
you need to compile the other modules anyway, it should be the same one command that does all the work
20:07
<
mrvn >
adds another compile, install loop
20:07
<
flux >
dpkg-buildpackage -uc -us -> builds everything, no? make the machine work for you :)
20:08
<
mrvn >
flux: dch -i, git commit, git push, debuild, dpkg
20:12
BigJ has joined #ocaml
20:18
<
mrvn >
It is too bad the stdlib doesn't already have phantom types. If there were a [`ReadWrite] Bigarray.Array1.t then I could add a `Aligned phantom type.
20:18
mutew has joined #ocaml
20:19
<
flux >
you could have that change in batteries :)
20:20
<
flux >
ro-mappings could be useful
20:21
<
thelema >
if you implemented Read-only bigarrays, we'd put it in.
20:25
jcaose has quit [Ping timeout: 245 seconds]
20:25
bzzbzz has joined #ocaml
20:26
<
mrvn >
or not.
*grr* N.print (X.make "foo");; works too.
20:29
<
mrvn >
thelema: Does anything else in batteries use phantom types?
20:40
Yoric has quit [Quit: Yoric]
20:48
ztfw has quit [Remote host closed the connection]
21:02
mutew has quit [Ping timeout: 256 seconds]
21:03
somnium has joined #ocaml
21:06
Yoric has joined #ocaml
21:26
<
thelema >
mrvn: yes, the read-only strings
21:27
naufraghi has quit [Quit: naufraghi]
21:28
Yoric has quit [Quit: Yoric]
21:28
Mr_Awesome has quit [Ping timeout: 265 seconds]
21:34
_unK has quit [Ping timeout: 240 seconds]
21:34
_unK has joined #ocaml
21:37
Submarine has joined #ocaml
21:38
seafood has joined #ocaml
21:42
Yoric has joined #ocaml
21:42
joewilliams is now known as joewilliams_away
21:43
joewilliams_away is now known as joewilliams
21:46
pimmhogeling has quit [Ping timeout: 245 seconds]
22:02
enthymene has joined #ocaml
22:10
_zack has joined #ocaml
22:11
Yoric has quit [Quit: Yoric]
22:21
seafood has quit [Quit: seafood]
22:25
threeve has quit [Quit: threeve]
22:30
WuJiang` has joined #ocaml
22:31
seafood has joined #ocaml
22:36
yziquel has joined #ocaml
22:40
<
yziquel >
type 'a t = private obj and obj = { typed : 'a. 'a t; }
22:40
<
yziquel >
does that implement efficiently a type inference barrier?
22:40
<
yziquel >
i mean, is the record exactly the same structure as its field (given that there's only one field)?
22:43
pimmhogeling has joined #ocaml
22:50
_zack has quit [Quit: Leaving.]
22:53
<
yziquel >
hmm... no. doesn't work. there's an indirection between the record and the underlying value. No way to implement existential types without this indirection?
22:56
Yoric has joined #ocaml
22:58
maskd has quit [Read error: Connection reset by peer]
22:58
maskd has joined #ocaml
23:06
tmaedaZ is now known as tmaeda
23:12
boscop has quit [Read error: Connection reset by peer]
23:14
tmaeda is now known as tmaedaZ
23:20
Submarine has quit [Ping timeout: 276 seconds]
23:21
boscop has joined #ocaml
23:23
tmaedaZ is now known as tmaeda
23:25
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
23:28
tmaeda is now known as tmaedaZ
23:28
pimmhogeling has quit [Ping timeout: 265 seconds]
23:32
Amorphous has quit [Ping timeout: 258 seconds]
23:35
seafood has quit [Quit: seafood]
23:37
mutew has joined #ocaml
23:37
derdon has quit [Quit: derdon]
23:38
marteo has joined #ocaml
23:39
Yoric has quit [Quit: Yoric]
23:40
ulfdoz has quit [Ping timeout: 248 seconds]
23:42
demitar has quit [Ping timeout: 276 seconds]
23:42
demitar has joined #ocaml
23:47
Amorphous has joined #ocaml
23:59
yziquel has quit [Ping timeout: 252 seconds]