00:02
Jesin has joined #ocaml
00:22
themsay has quit [Remote host closed the connection]
00:23
themsay has joined #ocaml
00:32
kleisli has quit [Remote host closed the connection]
00:33
kleisli has joined #ocaml
00:34
themsay has quit [Remote host closed the connection]
00:34
themsay has joined #ocaml
00:53
themsay has quit [Remote host closed the connection]
00:54
themsay has joined #ocaml
01:28
themsay has quit [Remote host closed the connection]
01:28
themsay has joined #ocaml
01:41
themsay has quit [Remote host closed the connection]
01:42
themsay has joined #ocaml
01:58
kleisli has quit [Remote host closed the connection]
01:58
kleisli has joined #ocaml
02:18
themsay has quit [Remote host closed the connection]
02:19
themsay has joined #ocaml
02:31
muskan has quit [Quit: Ping timeout (120 seconds)]
02:37
tizoc has quit [Quit: Coyote finally caught me]
02:37
tizoc has joined #ocaml
02:37
tizoc has quit [Client Quit]
02:37
tizoc has joined #ocaml
02:37
tizoc has quit [Client Quit]
02:37
tizoc has joined #ocaml
02:39
themsay has quit [Remote host closed the connection]
02:40
themsay has joined #ocaml
02:56
mfp has quit [Ping timeout: 260 seconds]
03:09
themsay has quit [Ping timeout: 240 seconds]
04:07
mbuf has joined #ocaml
05:14
narimiran has joined #ocaml
06:06
ggole has joined #ocaml
07:01
chripell has joined #ocaml
07:06
Haudegen has joined #ocaml
07:09
dump has joined #ocaml
07:21
jaar has joined #ocaml
07:32
amiloradovsky has joined #ocaml
07:39
webshinra has quit [Remote host closed the connection]
08:06
_whitelogger has joined #ocaml
08:41
themsay has joined #ocaml
08:54
themsay has quit [Remote host closed the connection]
08:54
themsay has joined #ocaml
09:09
themsay has quit [Remote host closed the connection]
09:10
themsay has joined #ocaml
09:18
themsay has quit [Remote host closed the connection]
09:19
themsay has joined #ocaml
09:19
pippijn_ has joined #ocaml
09:19
pippijn_ has quit [Client Quit]
09:25
themsay has quit [Remote host closed the connection]
09:25
themsay has joined #ocaml
09:32
themsay has quit [Remote host closed the connection]
09:32
themsay has joined #ocaml
09:51
mfp has joined #ocaml
09:52
<
Leonidas >
What does `type t = Foo : {...} -> t` mean? I am trying to find info about it but that syntax is hard to search for
09:57
<
octachron >
with an inline record as argument
09:58
<
Leonidas >
Thanks :)
10:03
themsay has quit [Remote host closed the connection]
10:03
themsay has joined #ocaml
10:07
tane has joined #ocaml
10:13
themsay has quit [Remote host closed the connection]
10:14
themsay has joined #ocaml
10:23
amiloradovsky has quit [Remote host closed the connection]
10:24
amiloradovsky has joined #ocaml
11:03
themsay has quit [Remote host closed the connection]
11:04
themsay has joined #ocaml
11:13
webshinra has joined #ocaml
11:15
themsay has quit [Remote host closed the connection]
11:16
themsay has joined #ocaml
11:30
themsay has quit [Remote host closed the connection]
11:30
themsay has joined #ocaml
11:39
themsay has quit [Remote host closed the connection]
11:39
themsay has joined #ocaml
11:57
themsay has quit [Remote host closed the connection]
11:58
themsay has joined #ocaml
12:05
themsay has quit [Remote host closed the connection]
12:05
themsay has joined #ocaml
12:14
themsay has quit [Remote host closed the connection]
12:14
themsay has joined #ocaml
12:21
themsay has quit [Remote host closed the connection]
12:22
themsay has joined #ocaml
12:28
themsay has quit [Remote host closed the connection]
12:29
themsay has joined #ocaml
12:57
nullcone has quit [Quit: Connection closed for inactivity]
12:58
themsay has quit [Remote host closed the connection]
12:58
themsay has joined #ocaml
13:28
themsay has quit [Remote host closed the connection]
13:28
jao has joined #ocaml
13:29
themsay has joined #ocaml
13:36
themsay has quit [Remote host closed the connection]
13:37
themsay has joined #ocaml
13:39
dckc has quit [Ping timeout: 252 seconds]
13:43
dckc has joined #ocaml
13:43
themsay has quit [Remote host closed the connection]
13:44
Haudegen has quit [Quit: Bin weg.]
13:44
themsay has joined #ocaml
14:03
mfp has quit [Ping timeout: 265 seconds]
14:11
themsay has quit [Remote host closed the connection]
14:12
themsay has joined #ocaml
14:28
themsay has quit [Remote host closed the connection]
14:29
themsay has joined #ocaml
14:34
themsay has quit [Quit: Leaving]
14:55
nullcone has joined #ocaml
15:03
Haudegen has joined #ocaml
15:03
Anarchos has joined #ocaml
15:22
jao has quit [Remote host closed the connection]
16:02
noway96 has joined #ocaml
16:03
<
noway96 >
if [] is the empty list, what do you call a list containing the empty list, i.e. [[]]? is it also the empty list?
16:04
<
companion_cube >
no, it's a list with one element
16:04
<
companion_cube >
which is the empty list
16:06
<
Anarchos >
noway96 as for sets in mathematics
16:17
<
noway96 >
does it have a name? is it like a 2d empty list or something?
16:21
<
octachron >
Not really? With analogy with sets, one could call it the empty singleton list, or the 1 list.
16:22
<
simpson >
"empty stack", "typo", "accident waiting to happen"
16:36
Haudegen has quit [Quit: Bin weg.]
16:41
mbuf has quit [Quit: Leaving]
16:49
chripell has quit [Ping timeout: 256 seconds]
16:54
fre2 has quit [Ping timeout: 260 seconds]
17:21
kamog has joined #ocaml
17:22
kamog has quit [Client Quit]
17:22
TheLemonMan has joined #ocaml
17:25
mfp has joined #ocaml
17:27
orbifx has joined #ocaml
17:30
Serpent7776 has quit [Read error: Connection reset by peer]
17:30
Serpent7776 has joined #ocaml
17:41
Haudegen has joined #ocaml
17:43
orbifx has quit [Ping timeout: 240 seconds]
17:45
orbifx has joined #ocaml
18:05
gahr_ has joined #ocaml
18:06
amosbird_ has joined #ocaml
18:06
cbarrett_ has joined #ocaml
18:06
cemerick_ has joined #ocaml
18:07
mgsk__ has joined #ocaml
18:07
strmpnk_ has joined #ocaml
18:07
RalfJung has joined #ocaml
18:08
gahr has quit [Read error: Connection reset by peer]
18:08
cbarrett has quit [Ping timeout: 246 seconds]
18:08
cemerick has quit [Ping timeout: 246 seconds]
18:08
strmpnk has quit [Ping timeout: 246 seconds]
18:08
amosbird has quit [Remote host closed the connection]
18:08
RalfJ has quit [Remote host closed the connection]
18:08
mgsk has quit [Ping timeout: 246 seconds]
18:08
cemerick_ is now known as cemerick
18:08
strmpnk_ is now known as strmpnk
18:08
mgsk__ is now known as mgsk
18:08
cbarrett_ is now known as cbarrett
18:23
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
18:51
ygrek has joined #ocaml
19:00
raver has joined #ocaml
19:12
<
raver >
Hi, does anyoone know what I'm doing wrong? (I'm totally new to ocaml...)
19:12
<
raver >
Thanks in advance and kind regards
19:14
madroach_ has quit [Ping timeout: 256 seconds]
19:16
madroach has joined #ocaml
19:20
muskan has joined #ocaml
19:21
<
ygrek >
raver, did you check what that message says?
19:21
<
ygrek >
ie that ocamlfind and ocaml (and all ocaml packages installed through apk) are same version
19:21
<
ygrek >
usually it is easier to only install opam from system packages and install ocaml through opam
19:23
<
raver >
i've first tried to install everything via opam but---
19:23
<
raver >
ocamlfind failed
19:23
<
raver >
until I installed it as package
19:23
<
raver >
same goes for compiling some stuff when perl-dev is missing...
19:24
<
raver >
yes I checked. But I dont understand why it isn't recompiled? or why it uses an older version of ocaml...
19:28
<
octachron >
It looks like you didn't rune "eval $(opam env)", so opam installed ocamlfind is not available, and you are thus trying to use the system-wide ocamlfind which result in a version mismatch
19:30
<
raver >
hmm I thought with the 'y' after opam init this wouldn't be neccessary anymore..
19:30
<
raver >
anyway already trief that, wait a minute... :)
19:32
kleisli has quit [Remote host closed the connection]
19:32
kleisli has joined #ocaml
19:34
<
raver >
i added the eval after opam install hope thats fine...
19:35
<
raver >
nope, same thing :)
19:40
<
octachron >
You should init the environment at each command, running just eval $(opam env) in a separate docker step will not do anything
19:50
<
ygrek >
or just set PATH to opam explicitly in dockerfile
19:50
<
ygrek >
* to opam switch bin dir
19:52
delysin has quit [Quit: WeeChat 2.7.1]
19:53
orbifx has quit [Ping timeout: 250 seconds]
19:56
delysin has joined #ocaml
20:08
muskan64 has joined #ocaml
20:10
muskan has quit [Ping timeout: 240 seconds]
20:19
<
raver >
ygrek: great thx will try that.
20:20
<
raver >
Do you know how l can find or the switch bin dir? 😁
20:20
<
raver >
Do you know how l can find out the switch bin dir? 😁
20:20
<
ygrek >
see what `opam env` prints
20:21
<
ygrek >
`opam config var bin`
20:22
<
raver >
ygrek: 👍👌✌️ will try
20:29
dump has quit [Quit: Leaving]
20:38
amiloradovsky has quit [Ping timeout: 260 seconds]
20:40
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
20:40
narimiran has quit [Ping timeout: 265 seconds]
20:40
Haudegen has quit [Quit: Bin weg.]
20:40
yomimono has quit [Ping timeout: 240 seconds]
20:41
Haudegen has joined #ocaml
20:45
ggole has quit [Quit: Leaving]
21:10
Jesin has quit [Quit: Leaving]
21:10
orbifx has joined #ocaml
21:16
Jesin has joined #ocaml
21:23
orbifx has quit [Ping timeout: 250 seconds]
21:23
vicfred has quit [Read error: Connection reset by peer]
21:43
<
lyxia >
In ocamllex can you match an empty string?
21:44
<
lyxia >
the coqdoc lexer consumes one character and just resets the lexer state back, that seems a bit roundabout
21:46
<
octachron >
You can but then you need to switch to a different lexer
21:49
<
lyxia >
hmm somehow I had trouble guessing the syntax, it is "" right?
21:54
<
octachron >
It should be "" indeed?
22:05
vicfred has joined #ocaml
22:30
tane has quit [Quit: Leaving]
22:33
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
22:34
Haudegen has joined #ocaml
23:09
Haudegen has quit [Ping timeout: 264 seconds]
23:15
kleisli has quit [Ping timeout: 258 seconds]
23:18
kleisli has joined #ocaml
23:36
vicfred has quit [Ping timeout: 256 seconds]
23:53
vicfred has joined #ocaml