00:04
ryanartecona has quit [Quit: ryanartecona]
00:20
larhat has quit [Quit: Leaving.]
00:22
snhmib has quit [Ping timeout: 258 seconds]
00:28
rwmjones has quit [Ping timeout: 256 seconds]
00:29
orbifx has quit [Ping timeout: 264 seconds]
00:31
nomicflux has joined #ocaml
00:33
rwmjones has joined #ocaml
00:47
sz0 has joined #ocaml
00:53
strykerkkd has quit [Remote host closed the connection]
01:01
wtetzner has joined #ocaml
01:04
whisperedcigar has joined #ocaml
01:08
whisperedcigar has quit [Ping timeout: 240 seconds]
01:13
mfp_ has quit [Ping timeout: 240 seconds]
01:34
FreeBirdLjj has joined #ocaml
01:38
FreeBirdLjj has quit [Ping timeout: 256 seconds]
01:47
silver has quit [Quit: rakede]
01:51
mengu has quit [Quit: Leaving...]
01:53
FreeBirdLjj has joined #ocaml
01:58
whisperedcigar has joined #ocaml
02:02
whisperedcigar has quit [Ping timeout: 240 seconds]
02:11
nomicflux has quit [Quit: nomicflux]
02:18
infinity0 has quit [Ping timeout: 260 seconds]
02:19
infinity0 has joined #ocaml
02:19
infinity0 has quit [Remote host closed the connection]
02:21
infinity0 has joined #ocaml
02:22
infinity0 has quit [Remote host closed the connection]
02:24
infinity0 has joined #ocaml
02:25
infinity0 has quit [Remote host closed the connection]
02:27
infinity0 has joined #ocaml
02:27
infinity0 has quit [Remote host closed the connection]
02:29
lucybun has quit [Quit: lucybun]
02:30
lucybun has joined #ocaml
02:30
infinity0 has joined #ocaml
02:30
infinity0 has quit [Remote host closed the connection]
02:30
lucybun has quit [Client Quit]
02:31
lucybun has joined #ocaml
02:33
infinity0 has joined #ocaml
02:33
infinity0 has quit [Remote host closed the connection]
02:36
infinity0 has joined #ocaml
02:52
whisperedcigar has joined #ocaml
02:53
spew has joined #ocaml
02:57
whisperedcigar has quit [Ping timeout: 240 seconds]
03:15
nomicflux has joined #ocaml
03:17
FreeBirdLjj has quit [Remote host closed the connection]
03:19
Muzer has quit [Ping timeout: 260 seconds]
03:20
jabroney has quit [Quit: Leaving.]
03:33
FreeBirdLjj has joined #ocaml
03:35
phase_ has joined #ocaml
03:41
nomicflux has quit [Quit: nomicflux]
03:47
whisperedcigar has joined #ocaml
03:47
after____ has joined #ocaml
03:49
after___ has quit [Ping timeout: 240 seconds]
03:51
whisperedcigar has quit [Ping timeout: 240 seconds]
04:04
after___ has joined #ocaml
04:05
after____ has quit [Ping timeout: 240 seconds]
04:08
wtetzner has quit [Remote host closed the connection]
04:10
lfox has joined #ocaml
04:15
lfox has quit [Ping timeout: 260 seconds]
04:24
FreeBirdLjj has quit [Remote host closed the connection]
04:39
FreeBirdLjj has joined #ocaml
04:41
whisperedcigar has joined #ocaml
04:46
whisperedcigar has quit [Ping timeout: 240 seconds]
04:49
copy` has quit [Quit: Connection closed for inactivity]
04:54
Muzer has joined #ocaml
04:55
spew has quit [Quit: foobar]
04:57
spew has joined #ocaml
04:57
phase_ has quit [Quit: cya l8r alig8r]
05:07
spew has quit [Quit: foobar]
05:12
MercurialAlchemi has joined #ocaml
05:14
rpg has quit [Ping timeout: 264 seconds]
05:15
moei has joined #ocaml
05:19
bungoman has quit [Read error: Connection reset by peer]
05:24
sz0 has quit [Quit: Connection closed for inactivity]
05:32
nicoo has quit [Remote host closed the connection]
05:33
nicoo has joined #ocaml
05:36
whisperedcigar has joined #ocaml
05:39
mrnugget has joined #ocaml
05:40
whisperedcigar has quit [Ping timeout: 240 seconds]
05:45
mrnugget has quit [Ping timeout: 246 seconds]
06:04
govg has quit [Ping timeout: 264 seconds]
06:12
nopf has quit [Remote host closed the connection]
06:21
larhat has joined #ocaml
06:30
whisperedcigar has joined #ocaml
06:34
SpiceGuid has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.46/20161213183751]]
06:35
whisperedcigar has quit [Ping timeout: 240 seconds]
06:43
larhat has quit [Quit: Leaving.]
06:52
argent_smith has joined #ocaml
06:53
Mercuria1Alchemi has joined #ocaml
07:02
wtetzner has joined #ocaml
07:07
wtetzner has quit [Ping timeout: 264 seconds]
07:23
Simn has joined #ocaml
07:24
joed has joined #ocaml
07:25
whisperedcigar has joined #ocaml
07:28
freusque has joined #ocaml
07:29
whisperedcigar has quit [Ping timeout: 240 seconds]
07:31
alfredo has joined #ocaml
07:31
jnavila has joined #ocaml
07:32
FreeBirdLjj has quit [Remote host closed the connection]
07:41
FreeBirdLjj has joined #ocaml
07:58
orbifx has joined #ocaml
08:03
govg has joined #ocaml
08:10
orbifx has quit [Ping timeout: 260 seconds]
08:12
whisperedcigar has joined #ocaml
08:24
wtetzner has joined #ocaml
08:29
wtetzner has quit [Ping timeout: 268 seconds]
08:39
praisethemoon has joined #ocaml
08:48
ia0 has quit [Quit: reboot]
08:52
ia0 has joined #ocaml
09:01
Guest46216 has quit [Remote host closed the connection]
09:21
<
freehck >
is it possible in opam to pin package and not install it immediately?
09:21
<
freehck >
ah, I see. -n.
09:24
Onemorenickname has joined #ocaml
09:31
maattdd has joined #ocaml
09:37
MercurialAlchemi has quit [Ping timeout: 240 seconds]
09:38
MercurialAlchemi has joined #ocaml
09:40
<
Onemorenickname >
first class modules are cool.
09:43
mfp_ has joined #ocaml
09:44
joed has quit [Read error: Connection reset by peer]
09:46
<
Onemorenickname >
it might be silly, but i don't find where the type array is defined
09:47
<
Onemorenickname >
I don't see it in Pervasives or Array
09:49
<
def` >
it is built in
09:51
<
Onemorenickname >
to access it, I have to do "Builin.array" ?
09:51
<
Onemorenickname >
builtin *
09:52
<
def` >
What do you mean by access it?
09:52
reynir has quit [Quit: WeeChat 1.4]
09:52
reynir has joined #ocaml
09:52
<
Onemorenickname >
in a module, i want to define a type called "array", but it relies on the array type
09:52
<
Onemorenickname >
now, ocaml thinks it's a recursive type if I type "type array = t array * int;;" for instance
09:56
<
def` >
you can use type nonrec or make an alias first
09:56
<
def` >
type 'a builtin_array = 'a array
09:56
<
def` >
type 'a array = 'a builtin_array * int
09:56
<
def` >
or type nonrec 'a array = a
09:56
<
Onemorenickname >
i made an allias, but i was wondering if there was a clena way
09:56
MercurialAlchemi has quit [Ping timeout: 264 seconds]
09:56
<
def` >
ouch, or type nonrec 'a array = 'a array * int
09:59
infinity0 has quit [Remote host closed the connection]
10:03
whisperedcigar has quit [Ping timeout: 240 seconds]
10:06
min_ has quit [Ping timeout: 240 seconds]
10:08
andreas__ has joined #ocaml
10:09
whisperedcigar has joined #ocaml
10:13
<
Onemorenickname >
I can't seem to find the right syntax to apply a module to a functor (with the first class module thing)
10:13
<
Onemorenickname >
line 49
10:13
<
Onemorenickname >
(previous lines are for context if required)
10:15
<
def` >
let sub_array (type a) (x:a) = let (module X) = sub_arraylike x in (module (Sub_arraylike(X)) : SUB_ARRAY);;
10:17
<
Onemorenickname >
why is the let necessary ?
10:20
<
def` >
because your module introduces new types which have to live in a scope, hence the let.
10:26
Onemorenickname has quit [Read error: Connection reset by peer]
10:26
Onemorenickname has joined #ocaml
10:31
FreeBirdLjj has quit [Remote host closed the connection]
10:51
<
Onemorenickname >
i'm trying to do the same thing as earlier, but only with a type argument
10:51
<
Onemorenickname >
and I don't know if it's possible
10:52
<
Onemorenickname >
like, i want to do "sub_arraylike int"
10:55
<
def` >
type 'a array_like = (module ARRAY_LIKE with type elt = 'a)
10:56
<
def` >
module X = (val (sub_arraylike : int array_like));;
10:56
kakadu has joined #ocaml
10:59
<
Onemorenickname >
oh right, i can define a new type haha
10:59
<
Onemorenickname >
i was locked between "let" and "module" :D
11:04
<
Onemorenickname >
it works
11:04
<
Onemorenickname >
it's perfect
11:04
<
Onemorenickname >
thank you def`
11:06
<
Onemorenickname >
it works for string and arrays alike
11:06
<
Onemorenickname >
omg
11:06
<
Onemorenickname >
I FEEL THE POLYMORPHIC POWER
11:06
<
Onemorenickname >
(i hope my internship tutor never comes here)
11:06
<
Onemorenickname >
see you :)
11:06
Onemorenickname has quit [Quit: Leaving]
11:06
octachron has joined #ocaml
11:12
parataxis has quit [Quit: Connection closed for inactivity]
11:14
MercurialAlchemi has joined #ocaml
11:37
silver has joined #ocaml
11:40
whisperedcigar has quit [Ping timeout: 240 seconds]
11:44
snowcrshd has joined #ocaml
11:52
praisethemoon has quit [Ping timeout: 240 seconds]
12:01
rpg has joined #ocaml
12:04
zaquest has quit [Remote host closed the connection]
12:04
zaquest has joined #ocaml
12:06
_andre has joined #ocaml
12:07
tautologico has joined #ocaml
12:26
Algebr has joined #ocaml
12:30
rpg has quit [Ping timeout: 240 seconds]
12:35
nomicflux has joined #ocaml
12:37
zpe has joined #ocaml
12:38
nomicflux has quit [Client Quit]
12:42
dch has left #ocaml [#ocaml]
12:43
zpe has quit [Remote host closed the connection]
12:44
Algebr has quit [Remote host closed the connection]
12:45
spew has joined #ocaml
13:10
zaquest has quit [Quit: Leaving]
13:11
SpaceSheep has joined #ocaml
13:13
praisethemoon has joined #ocaml
13:14
sepp2k has joined #ocaml
13:17
snhmib has joined #ocaml
13:23
alphor has quit [Quit: Bye!]
13:33
zaquest has joined #ocaml
13:51
shinnya has joined #ocaml
13:51
trapz has joined #ocaml
13:53
yomimono has joined #ocaml
13:53
freechips has quit [Ping timeout: 260 seconds]
13:53
sh0t has joined #ocaml
13:54
freechips has joined #ocaml
13:59
<
Simn >
Is there a way to use `ocamlfind ocamlopt.opt`?
13:59
<
Drup >
you don't need to, ocamlfind do it automatically
14:00
<
Simn >
That simplifies matters, thanks!
14:03
tane has joined #ocaml
14:11
agarwal1975 has quit [Quit: agarwal1975]
14:16
maattdd has quit [Ping timeout: 260 seconds]
14:21
SpaceSheep has quit [Ping timeout: 268 seconds]
14:22
SpaceSheep has joined #ocaml
14:25
rpg_ has joined #ocaml
14:26
maattdd has joined #ocaml
14:28
larhat has joined #ocaml
14:31
<
reynir >
flux: Only two commits in there
14:34
<
flux >
clearly it's been imported from the internal repo
14:37
SpaceSheep has quit [Ping timeout: 240 seconds]
14:49
agarwal1975 has joined #ocaml
14:52
trapz has quit [Quit: trapz]
14:54
zpe has joined #ocaml
14:57
mfp_ has quit [Ping timeout: 260 seconds]
14:58
zpe has quit [Remote host closed the connection]
14:58
trapz has joined #ocaml
14:59
sz0 has joined #ocaml
14:59
al-damiri has joined #ocaml
14:59
SpaceSheep has joined #ocaml
15:01
<
trapz >
anyone here I could ask (what I think is an easy) question?
15:04
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
15:09
<
octachron >
trapz, sure ; there is no need to ask to ask
15:10
th5 has joined #ocaml
15:12
jlongster has joined #ocaml
15:13
<
trapz >
thanks freehck: helped me out
15:15
jabroney has joined #ocaml
15:27
marsam has joined #ocaml
15:29
rawra has joined #ocaml
15:31
marsam has quit [Remote host closed the connection]
15:34
shinnya has quit [Ping timeout: 264 seconds]
15:43
AltGr has joined #ocaml
15:44
ryanartecona has joined #ocaml
15:48
mryau has quit [Ping timeout: 260 seconds]
15:49
mfp_ has joined #ocaml
15:50
praisethemoon_ has joined #ocaml
15:53
praisethemoon has quit [Ping timeout: 268 seconds]
15:58
marsam has joined #ocaml
15:58
mfp_ has quit [Ping timeout: 240 seconds]
16:00
sh0t has quit [Ping timeout: 260 seconds]
16:02
sh0t has joined #ocaml
16:02
SpaceSheep has quit [Quit: WeeChat 1.6]
16:03
shinnya has joined #ocaml
16:06
praisethemoon_ has quit [Quit: Leaving]
16:09
sh0t has quit [Ping timeout: 246 seconds]
16:10
pilne has joined #ocaml
16:10
spew has quit [Quit: foobar]
16:20
profan_ is now known as profan
16:23
jabroney has quit [Quit: Leaving.]
16:26
whisperedcigar has joined #ocaml
16:30
whisperedcigar has quit [Ping timeout: 240 seconds]
16:33
mfp_ has joined #ocaml
16:48
<
sspi >
Hi all, I was wondering if it was possible to distinguish between implementation and interface in a preprocessor without using a different file extension.
16:48
<
def` >
what kind of preprocessor?
16:49
<
sspi >
in this case it's refmt from Reason
16:51
<
sspi >
to clarify a bit more, we want to explore using the same file for both implementation and interface
16:51
tobast1 has joined #ocaml
16:51
<
def` >
so invoking twice the compiler on the same file, once treated as an interface once as an implementation?
16:52
<
def` >
pass a different option to refmt in both invocations
16:53
<
def` >
and return first the ast of a signature , then the ast of a structure
16:53
<
sspi >
hmm right, was hoping to avoid that - but we could do that indeed :)
16:54
<
def` >
I don't know how you would distinguish otherwise: it's the same commandline that has a different behavior each time :)
16:55
slash^ has joined #ocaml
16:55
<
sspi >
thanks for the help, this will keep me busy for now :)
17:04
sz0 has quit [Quit: Connection closed for inactivity]
17:05
<
def` >
sspi: you could think that passing -impl / -intf to the compiler would be enough
17:05
ryanartecona has quit [Quit: ryanartecona]
17:05
<
def` >
but this is not passed to the preprocessor, it just checks that the preprocessor behaves properly for an implementation or an interface
17:07
jabroney has joined #ocaml
17:08
jnavila has quit [Quit: It was time]
17:10
mfp_ has quit [Ping timeout: 268 seconds]
17:12
Flerex has joined #ocaml
17:17
AltGr has left #ocaml [#ocaml]
17:20
whisperedcigar has joined #ocaml
17:23
ryanartecona has joined #ocaml
17:24
shinnya has quit [Ping timeout: 258 seconds]
17:25
whisperedcigar has quit [Ping timeout: 240 seconds]
17:41
sh0t has joined #ocaml
17:46
Anarchos has joined #ocaml
17:50
zpe has joined #ocaml
17:52
zpe has quit [Remote host closed the connection]
17:52
zpe has joined #ocaml
17:56
zpe has quit [Ping timeout: 240 seconds]
17:57
copy` has joined #ocaml
17:58
mfp_ has joined #ocaml
18:04
mfp_ has quit [Ping timeout: 240 seconds]
18:10
marsam has quit [Remote host closed the connection]
18:11
marsam has joined #ocaml
18:14
jnavila has joined #ocaml
18:15
marsam has quit [Remote host closed the connection]
18:15
whisperedcigar has joined #ocaml
18:15
sz0 has joined #ocaml
18:16
mfp_ has joined #ocaml
18:19
whisperedcigar has quit [Ping timeout: 240 seconds]
18:19
andreas__ has quit [Quit: Connection closed for inactivity]
18:23
Ptival has left #ocaml [#ocaml]
18:29
kakadu has quit [Quit: Konversation terminated!]
18:39
pon1980 has quit [Quit: WeeChat 1.7]
18:41
maattdd has quit [Ping timeout: 240 seconds]
18:43
andreas__ has joined #ocaml
18:45
mfp_ has quit [Ping timeout: 240 seconds]
18:47
zv has quit [Quit: WeeChat 1.6]
19:14
mfp_ has joined #ocaml
19:16
strykerkkd has joined #ocaml
19:18
whisperedcigar has joined #ocaml
19:19
marsam has joined #ocaml
19:20
mfp_ has quit [Ping timeout: 240 seconds]
19:21
TheLemonMan has joined #ocaml
19:22
ryanartecona has quit [Quit: ryanartecona]
19:25
kakadu has joined #ocaml
19:26
KV has joined #ocaml
19:28
KV has quit [Client Quit]
19:33
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
19:37
sepp2k has quit [Ping timeout: 256 seconds]
19:39
mfp_ has joined #ocaml
19:44
zv has joined #ocaml
19:53
whisperedcigar has quit [Ping timeout: 240 seconds]
19:57
mengu has joined #ocaml
20:07
MercurialAlchemi has quit [Ping timeout: 240 seconds]
20:08
MercurialAlchemi has joined #ocaml
20:09
whisperedcigar has joined #ocaml
20:10
jabroney1 has joined #ocaml
20:11
jabroney has quit [Ping timeout: 260 seconds]
20:12
larhat has quit [Quit: Leaving.]
20:14
larhat has joined #ocaml
20:15
slash^ has quit [Remote host closed the connection]
20:19
ryanartecona has joined #ocaml
20:21
average has joined #ocaml
20:34
ryanartecona has quit [Quit: ryanartecona]
20:40
reynir has quit [Read error: Connection reset by peer]
20:41
reynir has joined #ocaml
21:01
snowcrshd has quit [Ping timeout: 258 seconds]
21:02
wtetzner has joined #ocaml
21:06
whisperedcigar has quit [Ping timeout: 240 seconds]
21:06
ryanartecona has joined #ocaml
21:11
min_ has joined #ocaml
21:15
_andre has quit [Quit: leaving]
21:18
marsam has quit [Remote host closed the connection]
21:20
argent_smith has quit [Quit: Leaving.]
21:22
marsam has joined #ocaml
21:22
SpiceGuid has joined #ocaml
21:28
pitastrudl has quit [Ping timeout: 245 seconds]
21:30
tane has quit [Quit: Leaving]
21:30
pitastrudl has joined #ocaml
21:39
wtetzner has quit [Remote host closed the connection]
21:46
agarwal1975 has quit [Quit: agarwal1975]
21:46
min_ has quit [Read error: Connection reset by peer]
21:50
simon3 has joined #ocaml
21:51
<
simon3 >
I am a beginner in OCaml and I am wondering why there is so few unit
21:51
<
simon3 >
tests inside topkg? Is it because dbuenzli is very professional or
21:51
<
simon3 >
because OCaml doesn't need too many unit tests? How could he improve the topkg frequently without many unit tests?
21:53
jnavila has quit [Remote host closed the connection]
21:54
john51 has quit [Ping timeout: 246 seconds]
21:55
spew has joined #ocaml
21:55
john51 has joined #ocaml
21:57
john51 has quit [Read error: Connection reset by peer]
22:00
john51 has joined #ocaml
22:02
<
companion_cube >
because you don't need that many tests typically, indeed
22:02
<
companion_cube >
everything is very explicit and you can use the type system in a way that prevents many bugs
22:04
alphor has joined #ocaml
22:04
philtor has quit [Read error: Connection reset by peer]
22:09
<
simon3 >
Wow! So cool!
22:10
<
companion_cube >
(also, yes, he is professional)
22:11
<
simon3 >
Haha. Thanks. I am learning his codes.
22:13
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
22:15
<
companion_cube >
no, don't worry
22:15
<
companion_cube >
"acc" is a common variable name for the accumulator in a recursive function
22:15
<
companion_cube >
(i.e. something that is carried from one iteration to the next, a bit like in a loop)
22:16
<
mengu >
i think it's a formatting issue as well
22:16
yomimono has quit [Ping timeout: 260 seconds]
22:16
<
mengu >
i thought it all was top level definitions
22:17
<
mengu >
and then i realized there are many in usages
22:17
trapz has quit [Quit: trapz]
22:19
strykerkkd has quit [Quit: Leaving]
22:22
<
simon3 >
Thanks. I am still struggling with the different meanings of the same name :(
22:22
philtor has joined #ocaml
22:27
tobast1 has quit [Ping timeout: 260 seconds]
22:31
<
octachron >
simon3, if it helps, "acc" always have the same meaning of "the current accumulator" even if it is not always bound to the same value
22:34
<
simon3 >
It helps a lot. Thanks.
22:45
agarwal1975 has joined #ocaml
22:54
MercurialAlchemi has quit [Ping timeout: 264 seconds]
23:07
mengu has quit [Ping timeout: 260 seconds]
23:20
sh0t has quit [Remote host closed the connection]
23:26
kakadu has quit [Remote host closed the connection]
23:28
marsam has quit [Remote host closed the connection]
23:31
mengu has joined #ocaml
23:32
simon3 has quit [Ping timeout: 240 seconds]
23:34
Muzer has quit [Ping timeout: 256 seconds]
23:37
marsam has joined #ocaml
23:40
marsam has quit [Remote host closed the connection]
23:46
trapz has joined #ocaml
23:49
trapz has quit [Client Quit]
23:51
ryanartecona has quit [Quit: ryanartecona]
23:51
larhat has quit [Quit: Leaving.]
23:58
simon3 has joined #ocaml
23:58
yomimono has joined #ocaml
23:58
al-damiri has quit [Quit: Connection closed for inactivity]