00:01
mengu_ has quit [Read error: Connection reset by peer]
00:02
mengu has joined #ocaml
00:04
sh0t has quit [Remote host closed the connection]
00:04
mengu has quit [Read error: Connection reset by peer]
00:08
mengu has joined #ocaml
00:09
ryanartecona has joined #ocaml
00:17
orbifx has quit [Ping timeout: 258 seconds]
00:36
eimantas has quit [Quit: WeeChat 1.5]
00:37
jabroney1 has quit [Quit: Leaving.]
00:39
sillyotter has joined #ocaml
00:40
sillyotter has quit [Client Quit]
00:58
al-damiri has quit [Quit: Connection closed for inactivity]
01:15
silver has quit [Quit: rakede]
01:16
def`_ has quit [Ping timeout: 240 seconds]
01:16
adrien has quit [Ping timeout: 240 seconds]
01:17
Fistine has quit [Ping timeout: 256 seconds]
01:18
adrien has joined #ocaml
01:20
FreeBirdLjj has joined #ocaml
01:21
def` has joined #ocaml
01:22
Fistine has joined #ocaml
01:22
ryanartecona has quit [Quit: ryanartecona]
01:26
FreeBirdLjj has quit [Ping timeout: 268 seconds]
01:34
sepp2k has quit [Ping timeout: 260 seconds]
01:43
FreeBirdLjj has joined #ocaml
01:44
TarVanim_ has joined #ocaml
01:47
mali__ has joined #ocaml
01:47
mfp_ has joined #ocaml
01:48
mfp has quit [Ping timeout: 246 seconds]
02:04
TarVanim_ has quit [Quit: TarVanim_]
02:08
FreeBirdLjj has quit [Remote host closed the connection]
02:09
copy` has quit [Quit: Connection closed for inactivity]
02:16
infinity0_ has joined #ocaml
02:16
infinity0_ has joined #ocaml
02:16
infinity0 has quit [Killed (weber.freenode.net (Nickname regained by services))]
02:16
infinity0_ is now known as infinity0
02:16
infinity0 has quit [Remote host closed the connection]
02:19
infinity0_ has joined #ocaml
02:19
infinity0_ has joined #ocaml
02:19
infinity0_ is now known as infinity0
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:25
FreeBirdLjj has joined #ocaml
02:27
infinity0 has joined #ocaml
02:27
infinity0 has quit [Remote host closed the connection]
02:30
infinity0 has joined #ocaml
02:30
tristero has quit [Ping timeout: 258 seconds]
02:30
infinity0 has quit [Remote host closed the connection]
02:32
vicfred has joined #ocaml
02:33
wtetzner has joined #ocaml
02:42
spew has quit [Quit: foobar]
02:42
spew has joined #ocaml
02:55
FreeBirdLjj has quit [Remote host closed the connection]
02:57
FreeBirdLjj has joined #ocaml
03:01
igitoor has quit [Ping timeout: 255 seconds]
03:01
al-damiri has joined #ocaml
03:02
igitoor has joined #ocaml
03:15
igitoor has quit [Changing host]
03:15
igitoor has joined #ocaml
03:19
spew has quit [Quit: foobar]
03:22
FreeBirdLjj has quit [Remote host closed the connection]
03:33
meiji11 has joined #ocaml
03:50
FreeBirdLjj has joined #ocaml
03:54
mengu has quit [Remote host closed the connection]
03:55
AlfredENeuman has quit [Ping timeout: 252 seconds]
03:56
mengu has joined #ocaml
03:58
fraggle_ has quit [Ping timeout: 255 seconds]
03:59
mfp_ has quit [Ping timeout: 264 seconds]
03:59
fraggle_ has joined #ocaml
04:01
mengu has quit [Ping timeout: 258 seconds]
04:11
FreeBirdLjj has quit [Remote host closed the connection]
04:27
wtetzner has quit [Remote host closed the connection]
04:31
snhmib has quit [Ping timeout: 240 seconds]
04:39
AlfredENeuman has joined #ocaml
05:00
BitPuffin|osx has quit [Ping timeout: 240 seconds]
05:01
MercurialAlchemi has joined #ocaml
05:12
larhat1 has quit [Quit: Leaving.]
05:13
srax has joined #ocaml
05:13
manizzle has quit [Ping timeout: 260 seconds]
05:16
manizzle has joined #ocaml
05:21
FreeBirdLjj has joined #ocaml
05:24
FreeBird_ has joined #ocaml
05:26
FreeBirdLjj has quit [Ping timeout: 240 seconds]
05:37
ygrek_ has quit [Ping timeout: 240 seconds]
05:43
manizzle has quit [Ping timeout: 268 seconds]
05:48
al-damiri has quit [Quit: Connection closed for inactivity]
05:48
vicfred has quit [Ping timeout: 240 seconds]
05:51
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
05:54
FreeBird_ has quit [Remote host closed the connection]
05:57
MercurialAlchemi has quit [Ping timeout: 246 seconds]
06:00
manizzle has joined #ocaml
06:00
MercurialAlchemi has joined #ocaml
06:05
vicfred has joined #ocaml
06:08
FreeBirdLjj has joined #ocaml
06:15
philtor has quit [Ping timeout: 260 seconds]
06:20
manizzle has quit [Ping timeout: 246 seconds]
06:20
manizzle has joined #ocaml
06:22
jsoo has joined #ocaml
06:22
jao has quit [Ping timeout: 260 seconds]
06:29
jsoo has quit [Ping timeout: 246 seconds]
06:30
infinity0 has joined #ocaml
06:41
manizzle has quit [Ping timeout: 268 seconds]
06:50
manizzle has joined #ocaml
07:09
frefity has quit [Ping timeout: 240 seconds]
07:09
manizzle has quit [Ping timeout: 264 seconds]
07:11
vicfred has quit [Quit: Leaving]
07:14
adrien has quit [Ping timeout: 240 seconds]
07:14
adrien has joined #ocaml
07:26
frefity has joined #ocaml
07:28
manizzle has joined #ocaml
07:35
alfredo has joined #ocaml
07:36
d0nn1e has quit [Ping timeout: 264 seconds]
07:37
d0nn1e has joined #ocaml
07:39
MercurialAlchemi has quit [Ping timeout: 260 seconds]
07:39
alfredo has quit [Ping timeout: 260 seconds]
07:40
meiji11` has joined #ocaml
07:42
meiji11 has quit [Ping timeout: 264 seconds]
07:42
Simn has joined #ocaml
07:43
abeaumont has quit [Ping timeout: 264 seconds]
07:50
jnavila has joined #ocaml
07:57
zpe has joined #ocaml
08:06
leah2 has quit [Ping timeout: 240 seconds]
08:21
AltGr has joined #ocaml
08:22
larhat has joined #ocaml
08:25
maattdd_ has joined #ocaml
08:28
maattdd has quit [Ping timeout: 260 seconds]
08:31
AlexDenisov has joined #ocaml
08:40
meiji11` has quit [Remote host closed the connection]
08:59
jgjl has joined #ocaml
09:06
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
09:14
maattdd_ has quit [Quit: WeeChat 1.7]
09:14
maattdd has joined #ocaml
09:19
AlexDenisov has joined #ocaml
09:42
johnelse_ has quit [Ping timeout: 240 seconds]
09:44
johnelse has joined #ocaml
09:48
maattdd_ has joined #ocaml
09:48
maattdd has quit [Ping timeout: 260 seconds]
09:56
Guest82 has joined #ocaml
09:57
Guest82 has quit [Client Quit]
10:09
MercurialAlchemi has joined #ocaml
10:10
FreeBirdLjj has quit [Remote host closed the connection]
10:11
gjaldon has joined #ocaml
10:12
gjaldon has quit [Client Quit]
10:30
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
10:35
yomimono has joined #ocaml
10:42
AlexDenisov has joined #ocaml
10:46
AlexDenisov has quit [Client Quit]
10:49
yomimono has quit [Ping timeout: 264 seconds]
10:49
AlexDenisov has joined #ocaml
10:53
mfp_ has joined #ocaml
10:55
silver has joined #ocaml
11:24
TheLemonMan has joined #ocaml
11:26
eimantas has joined #ocaml
11:28
AlexRussia has quit [Ping timeout: 246 seconds]
11:30
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
11:32
_andre has joined #ocaml
11:46
snowcrshd has joined #ocaml
12:21
shinnya has joined #ocaml
12:21
AlexRussia has joined #ocaml
12:28
AlexDenisov has joined #ocaml
12:28
<
n4323 >
hi, what's the best way to debug a native ocaml program on os x?
12:29
<
n4323 >
stack traces etc?
12:33
<
def` >
I think so. The macOS toolchain drop DWARF information
12:33
<
def` >
so stack trackes is the easiest to get
12:35
<
def` >
You build with -g, and run with OCAMLRUNPARAM=b (or alternatively call Printexc.record_backtrace true)
12:35
sepp2k has joined #ocaml
12:40
yegods has joined #ocaml
12:40
BitPuffin|osx has joined #ocaml
12:41
yomimono has joined #ocaml
12:41
yegods has quit [Remote host closed the connection]
12:43
AltGr has left #ocaml [#ocaml]
12:46
mali__ has quit [Ping timeout: 240 seconds]
12:57
yomimono has quit [Ping timeout: 240 seconds]
13:03
mali__ has joined #ocaml
13:03
n4323 has quit [Quit: WeeChat 1.7]
13:11
yegods has joined #ocaml
13:12
yegods has quit [Remote host closed the connection]
13:14
yegods_ has joined #ocaml
13:34
mengu has joined #ocaml
13:42
spew has joined #ocaml
13:59
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
14:01
yomimono has joined #ocaml
14:01
chris2_ has joined #ocaml
14:02
chris2_ is now known as leah2
14:04
jgjl has joined #ocaml
14:12
AlexRussia has quit [Ping timeout: 240 seconds]
14:19
sh0t has joined #ocaml
14:27
larhat has quit [Quit: Leaving.]
14:27
larhat has joined #ocaml
14:31
larhat has quit [Ping timeout: 240 seconds]
14:31
yegods_ has quit [Remote host closed the connection]
14:31
AlexRussia has joined #ocaml
14:32
jabroney has joined #ocaml
14:33
yegods has joined #ocaml
14:36
mengu has quit [Quit: Leaving...]
14:37
yegods has quit [Remote host closed the connection]
14:38
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
14:39
freusque has joined #ocaml
14:39
yegods has joined #ocaml
14:41
sh0t has quit [Remote host closed the connection]
14:43
sh0t has joined #ocaml
14:51
<
_andre >
does anyone have an example of a project using topkg to generate a syntax extension with ppx?
14:52
alfredo has joined #ocaml
14:54
yomimono has quit [Ping timeout: 260 seconds]
15:02
AlexRussia has quit [Ping timeout: 240 seconds]
15:05
leah2 has quit [Quit: WeeChat 1.7]
15:06
leah2_ has joined #ocaml
15:08
leah2_ is now known as leah2
15:12
yegods has quit [Remote host closed the connection]
15:16
freusque has quit [Ping timeout: 240 seconds]
15:18
AlexRussia has joined #ocaml
15:24
dhil has quit [Ping timeout: 268 seconds]
15:25
manizzle has quit [Ping timeout: 268 seconds]
15:27
manizzle has joined #ocaml
15:28
ryanartecona has joined #ocaml
15:28
abeaumont has joined #ocaml
15:31
manizzle has quit [Max SendQ exceeded]
15:33
jgjl has joined #ocaml
15:34
manizzle has joined #ocaml
15:35
larhat has joined #ocaml
15:45
MercurialAlchemi has quit [Ping timeout: 258 seconds]
15:48
eimantas has quit [Ping timeout: 268 seconds]
15:54
AlexRussia_ has joined #ocaml
15:54
dhil has joined #ocaml
15:54
AlexRussia has quit [Ping timeout: 268 seconds]
16:01
dhil has quit [Ping timeout: 256 seconds]
16:01
abeaumont has quit [Ping timeout: 240 seconds]
16:02
philtor has joined #ocaml
16:07
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
16:12
yegods has joined #ocaml
16:14
dhil has joined #ocaml
16:18
yegods has quit [Ping timeout: 264 seconds]
16:22
AlexRussia_ has quit [Ping timeout: 246 seconds]
16:24
manizzle has quit [Ping timeout: 240 seconds]
16:26
manizzle has joined #ocaml
16:28
AlexDenisov has joined #ocaml
16:40
shinnya has quit [Ping timeout: 260 seconds]
16:40
jnavila has quit [Ping timeout: 264 seconds]
16:44
jao has joined #ocaml
16:51
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
16:55
tristero has joined #ocaml
16:55
tristero has quit [Changing host]
16:55
tristero has joined #ocaml
17:01
jgjl has joined #ocaml
17:12
al-damiri has joined #ocaml
17:13
ygrek_ has joined #ocaml
17:20
yomimono has joined #ocaml
17:23
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
17:23
AlexRussia_ has joined #ocaml
17:27
tane has joined #ocaml
17:27
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
17:28
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
17:29
Onemorenickname has joined #ocaml
17:29
<
Onemorenickname >
Hello
17:29
<
Onemorenickname >
I think I already asked this question a long time ago
17:30
<
Onemorenickname >
If I have a functor "Toto", what's the name of its output type ?
17:30
<
Onemorenickname >
oh I recall, I've been told there is no rule "App" for modules and functors.
17:30
<
Onemorenickname >
icryeveritim
17:32
jnavila has joined #ocaml
17:33
<
Onemorenickname >
how can I print the inferred type of a functor ?
17:34
thatguy has joined #ocaml
17:35
copy` has joined #ocaml
17:35
<
Onemorenickname >
thanks :)
17:40
MercurialAlchemi has joined #ocaml
17:41
<
thatguy >
I'll post my attempt in a second
17:43
<
thatguy >
if anyone could help me I would appreciate it
17:47
yomimono has quit [Ping timeout: 240 seconds]
17:47
<
zozozo >
thatguy: "ux" is a string, not a list
17:48
<
thatguy >
zozozo, isn't up a function?
17:48
<
zozozo >
what is the type of List.map ?
17:48
<
thatguy >
I'd say (a -> b) -> [a] -> [b]
17:49
<
thatguy >
is there a command with which I can get the type from the interactive console?
17:49
<
zozozo >
if you replace [x] by 'x list' that's right
17:49
<
zozozo >
just type any value in the top-level (followed by ;;) and it will give you its type
17:50
<
thatguy >
zozozo, thanks
17:50
<
thatguy >
ah should I then somehow make "ab" a list of chars instead of a string?
17:51
<
thatguy >
is there a nice notation for that?
17:51
<
thatguy >
or do I have to do ['a' ; 'b']
17:52
<
zozozo >
using the stdlib there is no quick solution other
17:52
<
thatguy >
zozozo, thanks for the help :)
18:00
achauvin has joined #ocaml
18:02
<
achauvin >
Hello guys, I'm still learning Ocaml but I came across an issue about generic lists
18:03
<
achauvin >
I'm unable to compile this : let empty_ctx = ([] : (string * expression list)) ;;
18:03
<
achauvin >
which gives me this error : This expression has type 'a list but an expression was expected of type string * expression list
18:03
<
Onemorenickname >
yep
18:04
<
Onemorenickname >
string * expression list = string * (expression list)
18:04
<
achauvin >
oh god, seriously ?
18:04
<
Onemorenickname >
yep
18:04
<
Onemorenickname >
enjoy your compiler
18:05
<
achauvin >
I feel so dumb
18:05
<
achauvin >
Onemorenickname, thank you man
18:06
<
Onemorenickname >
t'inquiète
18:06
<
thatguy >
soo I don't want to start a flamewar, but can you guys tell me why you use ocaml instead of haskell?
18:06
<
Onemorenickname >
thatguy, because there is no functor in haskell
18:06
<
Onemorenickname >
because there is no physical equality in haskell
18:07
<
thatguy >
just out of interest, I went through both tutorials now and am thinking in which language I want to write some small projects and get productive
18:07
<
Onemorenickname >
because i can do side-effecty things more easily in ocaml
18:07
<
Onemorenickname >
that's about it
18:07
<
thatguy >
what do you mean by there is no functor?
18:07
<
Onemorenickname >
thatguy, you don't have ocaml-like functors
18:07
<
thatguy >
so because you like the imperative part of it?
18:07
<
Onemorenickname >
you can't put a type in a local scope
18:07
<
thatguy >
ah ok I didn't use ocaml like functors yet
18:08
ryanartecona has quit [Quit: ryanartecona]
18:08
<
Onemorenickname >
you will thank the ocaml-gods when you will be there
18:10
thatrandomguy has joined #ocaml
18:13
<
thatrandomguy >
Onemorenickname, I am reading about it now, thanks
18:13
thatguy has quit [Read error: Connection reset by peer]
18:13
ygrek_ has quit [Ping timeout: 260 seconds]
18:14
<
Onemorenickname >
it's getting handy when you make bigger projects
18:16
<
achauvin >
thatrandomguy, I'm using both
18:16
<
achauvin >
I came across haskell first and I'm doing ocaml rn for school
18:17
<
achauvin >
haskell might be harder to learn because of late binding, but that's my two cents
18:19
<
thatrandomguy >
achauvin, thanks
18:23
yegods has joined #ocaml
18:26
yegods has quit [Remote host closed the connection]
18:30
ia0 has quit [Quit: reboot]
18:31
ia0 has joined #ocaml
18:31
jnavila has quit [Quit: It was time]
18:32
larhat has quit [Quit: Leaving.]
18:38
achauvin has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
18:42
yegods has joined #ocaml
18:43
abeaumont has joined #ocaml
18:46
ygrek_ has joined #ocaml
18:47
gjaldon has joined #ocaml
18:53
gjaldon has quit [Quit: WeeChat 1.7]
18:53
AlexDenisov has joined #ocaml
19:03
Onemorenickname has quit [Read error: Connection reset by peer]
19:07
thatrandomguy has quit [Ping timeout: 260 seconds]
19:14
<
Simn >
I have an oasis/ocamlbuild/menhir project with a _tags file that has an entry `<tokens.mlypack>: only_tokens`. I'm trying to understand which part of the build chain picks that up and knows what to do with it, and why it doesn't work for the unused_tokens flag.
19:15
th5 has joined #ocaml
19:17
mali__ has quit [Ping timeout: 240 seconds]
19:18
eimantas has joined #ocaml
19:21
achauvin has joined #ocaml
19:28
AlexDeni_ has joined #ocaml
19:30
AlexDenisov has quit [Ping timeout: 264 seconds]
19:32
BitPuffin|osx has quit [Ping timeout: 240 seconds]
19:35
th5 is now known as th5_away
19:35
abeaumont has quit [Ping timeout: 240 seconds]
19:38
jnavila has joined #ocaml
19:38
<
Leonidas >
achauvin: in my lectures, students had more issues with haskells type signatures
19:39
<
Leonidas >
[a] instead of 'a list
19:39
larhat has joined #ocaml
19:39
<
Leonidas >
and the typeclass stuff in the signature to some degree
19:39
yegods has quit [Remote host closed the connection]
19:40
<
Leonidas >
kinda weird
19:41
<
Leonidas >
though I think it is because ML/Haskell separates values and types rather strongly, whereas in java or so knowing types is not that important
19:44
<
Leonidas >
wonder whether it would be fun to pick up some SML
19:44
<
Leonidas >
When were polymorphic variants introduced in OCaml?
19:45
<
Leonidas >
ocaml 3?
19:47
yegods has joined #ocaml
19:48
mengu has joined #ocaml
19:49
yegods has quit [Remote host closed the connection]
19:52
jnavila has quit [Ping timeout: 240 seconds]
19:53
AlexDenisov has joined #ocaml
19:54
AlexDeni_ has quit [Read error: Connection reset by peer]
19:55
<
lyxia >
3.00 says "Support for variant types (sum types compared by structure)" I guess that's it?
19:58
AlexDeni_ has joined #ocaml
20:00
AlexDenisov has quit [Ping timeout: 264 seconds]
20:02
octachron has joined #ocaml
20:02
yegods has joined #ocaml
20:04
dhil has quit [Ping timeout: 268 seconds]
20:04
BitPuffin|osx has joined #ocaml
20:04
thatrandomguy has joined #ocaml
20:07
kakadu_ has joined #ocaml
20:10
ryanartecona has joined #ocaml
20:10
thatrandomguy has quit [Quit: Leaving]
20:19
mengu has quit [Quit: Leaving...]
20:23
jnavila has joined #ocaml
20:25
eimantas has quit [Quit: WeeChat 1.5]
20:36
BitPuffin|osx has quit [Ping timeout: 264 seconds]
20:42
TheLemonMan has joined #ocaml
20:43
<
tautologico >
anyone using IOCaml?
20:46
th5_away is now known as th5
20:48
<
tautologico >
opam depext is great btw
20:55
jnavila has quit [Ping timeout: 240 seconds]
21:00
snowcrshd has quit [Remote host closed the connection]
21:04
BitPuffin|osx has joined #ocaml
21:17
th5 has quit [Remote host closed the connection]
21:18
_andre has quit [Quit: leaving]
21:27
MercurialAlchemi has quit [Ping timeout: 240 seconds]
21:27
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
21:29
AlexDenisov has joined #ocaml
21:29
AlexDenisov has quit [Client Quit]
21:29
AlexDenisov has joined #ocaml
21:30
AlexDenisov has quit [Client Quit]
21:30
AlexDenisov has joined #ocaml
21:31
AlexDenisov has quit [Client Quit]
21:31
AlexDenisov has joined #ocaml
21:31
AlexDenisov has quit [Client Quit]
21:54
arj has joined #ocaml
21:55
_habnabit has quit [Ping timeout: 240 seconds]
21:58
cschneid has quit [Ping timeout: 240 seconds]
21:59
jyc has quit [Remote host closed the connection]
21:59
_habnabit has joined #ocaml
21:59
jyc has joined #ocaml
22:01
yegods has quit [Remote host closed the connection]
22:03
jyc has quit [Ping timeout: 246 seconds]
22:04
cschneid has joined #ocaml
22:06
yegods has joined #ocaml
22:07
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
22:10
Simn has quit [Quit: Leaving]
22:10
jyc has joined #ocaml
22:11
yegods has quit [Client Quit]
22:16
arj has quit [Quit: Leaving.]
22:24
spew has quit [Quit: foobar]
22:27
troydm has quit [Ping timeout: 240 seconds]
22:38
larhat has quit [Quit: Leaving.]
22:39
troydm has joined #ocaml
22:47
tane has quit [Quit: Leaving]
23:03
kakadu_ has quit [Remote host closed the connection]
23:05
abeaumont has joined #ocaml
23:09
ryanartecona has quit [Quit: ryanartecona]
23:09
octachron has quit [Quit: Leaving]
23:25
eimantas has joined #ocaml
23:25
d0nn1e has quit [Ping timeout: 258 seconds]
23:25
eimantas has quit [Client Quit]
23:26
achauvin has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
23:27
abeaumont has quit [Ping timeout: 256 seconds]
23:27
d0nn1e has joined #ocaml
23:33
gniquil has joined #ocaml
23:34
gniquil has quit [Client Quit]