00:01
isomorph1smes is now known as isomorphismes
00:04
boogie has joined #ocaml
00:18
Aym_C has joined #ocaml
00:23
Aym_C has quit [Ping timeout: 240 seconds]
00:30
tidren has joined #ocaml
00:36
tidren has quit [Remote host closed the connection]
00:39
cdidd has joined #ocaml
00:43
racycle has joined #ocaml
00:44
runciter has quit [Ping timeout: 240 seconds]
00:49
racycle has quit [Quit: ZZZzzz…]
00:58
ygrek has joined #ocaml
01:00
johnnydiabetic has quit [Quit: Leaving]
01:19
Aym_C has joined #ocaml
01:23
Aym_C has quit [Ping timeout: 256 seconds]
01:24
q66 has quit [Ping timeout: 240 seconds]
01:26
penglingbo has joined #ocaml
01:31
penglingbo has quit [Ping timeout: 260 seconds]
01:36
ygrek has quit [Ping timeout: 240 seconds]
01:44
boogie has quit [Remote host closed the connection]
01:45
boogie has joined #ocaml
01:46
shinnya has quit [Ping timeout: 240 seconds]
01:47
penglingbo has joined #ocaml
01:58
araujo has quit [Quit: Leaving]
02:00
alexst has quit [Ping timeout: 240 seconds]
02:05
ygrek has joined #ocaml
02:18
<
whitequark >
OCaml's stdlib and compiler are home for some astonishingly bad code
02:18
<
whitequark >
e.g. the whole Bytesections modle
02:20
Aym_C has joined #ocaml
02:24
Aym_C has quit [Ping timeout: 240 seconds]
02:54
tidren has joined #ocaml
02:55
<
ygrek >
the code can be good or on time
02:57
alexst has joined #ocaml
02:58
tidren has quit [Remote host closed the connection]
03:00
tidren has joined #ocaml
03:02
alexst has quit [Ping timeout: 260 seconds]
03:06
tidren has quit [Remote host closed the connection]
03:20
Aym_C has joined #ocaml
03:22
root_empire has joined #ocaml
03:24
michael_lee has quit [Ping timeout: 256 seconds]
03:25
Aym_C has quit [Ping timeout: 240 seconds]
03:26
tidren has joined #ocaml
03:28
tidren has quit [Remote host closed the connection]
03:50
tidren has joined #ocaml
03:51
tidren has quit [Remote host closed the connection]
03:57
alexst has joined #ocaml
04:02
alexst has quit [Ping timeout: 240 seconds]
04:03
alexst has joined #ocaml
04:03
Aym_C has joined #ocaml
04:08
alexst has quit [Ping timeout: 240 seconds]
04:08
Aym_C has quit [Ping timeout: 240 seconds]
04:09
_twx_ has joined #ocaml
04:23
tidren has joined #ocaml
04:23
siddhart1v_away is now known as siddharthv
04:34
tidren has quit [Remote host closed the connection]
04:37
boogie has quit [Remote host closed the connection]
04:47
<
whitequark >
Drup: so I got annoyed bad enough
04:48
<
whitequark >
now I'm writing ppx_deriving
05:00
eridu has joined #ocaml
05:00
<
eridu >
what's the best lexer/parser to use for something that has to be able to handle unicode?
05:03
<
whitequark >
sedlex
05:03
<
whitequark >
if requiring ocaml >=4.02 isn't an option for you, then ulex
05:04
Aym_C has joined #ocaml
05:04
<
whitequark >
a parser doesn't care about string encodings. nevertheless, menhir is a really good one
05:04
alexst has joined #ocaml
05:07
Submarine has joined #ocaml
05:07
Submarine has joined #ocaml
05:08
Aym_C has quit [Ping timeout: 256 seconds]
05:09
alexst has quit [Ping timeout: 256 seconds]
05:11
<
eridu >
whitequark: so menhir will interface well with all of those parsers?
05:11
<
eridu >
whitequark: also isn't sedlex the successor to ulex?
05:12
<
whitequark >
sedlex is
05:12
<
whitequark >
ulex is basically abandoned
05:12
<
whitequark >
menhir doesn't care at all as long as you have a stream of token
05:12
<
whitequark >
tokens
05:13
<
eridu >
oh sorry, garbled your second sentence
05:17
axiles has joined #ocaml
05:17
<
eridu >
whitequark: is there a way to integrate sedlex into OcamlMakefile?
05:19
<
whitequark >
you just need to pass a -package sedlex option, like you would with any other findlib package
05:20
<
whitequark >
and findlib >=1.5
05:29
<
eridu >
whitequark: any good sedlex tutorials? or any documentation for the sedlex DSL?
05:32
claudiuc has joined #ocaml
05:33
<
whitequark >
README
05:40
Submarine has quit [Ping timeout: 260 seconds]
05:40
Submarine has joined #ocaml
05:45
Zerker has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]
05:46
claudiuc has quit [Remote host closed the connection]
05:47
claudiuc has joined #ocaml
05:57
fold has quit [Quit: WeeChat 0.4.3]
06:05
Aym_C has joined #ocaml
06:05
alexst has joined #ocaml
06:06
ygrek has quit [Ping timeout: 264 seconds]
06:09
Aym_C has quit [Ping timeout: 256 seconds]
06:09
alexst has quit [Ping timeout: 240 seconds]
06:16
acieroid has quit [Ping timeout: 240 seconds]
06:29
fraggle_ has quit [Remote host closed the connection]
06:30
fraggle_ has joined #ocaml
06:33
ustunozgur has joined #ocaml
06:46
Submarine has quit [Ping timeout: 240 seconds]
06:48
hhugo has joined #ocaml
06:53
ygrek has joined #ocaml
07:00
ddosia has quit [Quit: Leaving.]
07:04
acieroid has joined #ocaml
07:05
_0xAX has joined #ocaml
07:05
alexst has joined #ocaml
07:05
Aym_C has joined #ocaml
07:08
Kakadu has joined #ocaml
07:09
Hannibal_Smith has joined #ocaml
07:10
Aym_C has quit [Ping timeout: 240 seconds]
07:11
_0xAX has quit [Quit: Leaving]
07:12
alexst has quit [Ping timeout: 240 seconds]
07:23
pgomes has joined #ocaml
07:32
hhugo has quit [Quit: Leaving.]
07:37
Anarchos1 has joined #ocaml
07:49
claudiuc_ has joined #ocaml
07:53
claudiuc has quit [Ping timeout: 264 seconds]
08:03
claudiuc_ has quit [Remote host closed the connection]
08:06
Aym_C has joined #ocaml
08:08
alexst has joined #ocaml
08:10
_0xAX has joined #ocaml
08:11
Aym_C has quit [Ping timeout: 240 seconds]
08:11
avsm has joined #ocaml
08:12
alexst has quit [Ping timeout: 240 seconds]
08:13
ggole has joined #ocaml
08:15
eridu has quit [Ping timeout: 264 seconds]
08:17
q66 has joined #ocaml
08:32
ggole has quit [Ping timeout: 240 seconds]
08:39
ustunozgur has quit [Remote host closed the connection]
08:41
ggole has joined #ocaml
08:41
Eyyub has quit [Ping timeout: 240 seconds]
08:43
* rwmjones
means there's obviously a problem, but the fix isn't obvious ..
08:46
claudiuc has joined #ocaml
08:46
ustunozgur has joined #ocaml
08:59
Mandus has quit [Ping timeout: 240 seconds]
09:00
Mandus has joined #ocaml
09:01
<
avsm >
rwmjones: interesting; i've been doing a lot of opam builds on armv7hf (cubie2) with no issues
09:05
eikke__ has joined #ocaml
09:07
Aym_C has joined #ocaml
09:09
alexst has joined #ocaml
09:11
Aym_C has quit [Ping timeout: 240 seconds]
09:13
alexst has quit [Ping timeout: 240 seconds]
09:16
ustunozgur has quit [Remote host closed the connection]
09:16
avsm has quit [Quit: Leaving.]
09:20
nox has quit [Ping timeout: 252 seconds]
09:22
nox has joined #ocaml
09:23
ustunozgur has joined #ocaml
09:27
ustunozgur has quit [Remote host closed the connection]
09:28
ustunozgur has joined #ocaml
09:28
Anarchos1 has quit [Quit: reboot to test]
09:30
def` has quit [Ping timeout: 245 seconds]
09:30
ousado has quit [Ping timeout: 260 seconds]
09:31
ousado has joined #ocaml
09:31
ohama has quit [Ping timeout: 260 seconds]
09:31
ski has quit [Ping timeout: 240 seconds]
09:31
PM has quit [Ping timeout: 260 seconds]
09:32
ski has joined #ocaml
09:33
plytkejsie is now known as shallow
09:33
ohama has joined #ocaml
09:34
dsheets has joined #ocaml
09:36
def-lkb has joined #ocaml
09:37
def-lkb is now known as `def
09:37
`def is now known as def`
09:39
ustunozg_ has joined #ocaml
09:43
ustunozgur has quit [Ping timeout: 240 seconds]
09:44
ousado has quit [Ping timeout: 240 seconds]
09:44
ousado_ has joined #ocaml
10:01
Simn has joined #ocaml
10:01
jludlam has joined #ocaml
10:06
dsheets has quit [Ping timeout: 240 seconds]
10:08
Aym_C has joined #ocaml
10:10
alexst has joined #ocaml
10:13
Aym_C has quit [Ping timeout: 264 seconds]
10:14
alexst has quit [Ping timeout: 240 seconds]
10:15
dsheets has joined #ocaml
10:35
Anarchos has joined #ocaml
10:35
yacks has quit [Ping timeout: 256 seconds]
10:37
eikke__ has quit [Ping timeout: 240 seconds]
10:41
Puffin has joined #ocaml
10:46
eikke__ has joined #ocaml
10:47
alpounet has quit []
10:48
alpounet has joined #ocaml
10:48
yacks has joined #ocaml
10:50
eikke__ has quit [Ping timeout: 260 seconds]
10:52
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
10:55
Anarchos has joined #ocaml
11:08
Aym_C has joined #ocaml
11:09
rand000 has joined #ocaml
11:09
Puffin is now known as BitPuffin
11:10
alexst has joined #ocaml
11:13
Aym_C has quit [Ping timeout: 264 seconds]
11:14
avsm has joined #ocaml
11:15
alexst has quit [Ping timeout: 256 seconds]
11:16
hhugo has joined #ocaml
11:16
_andre has joined #ocaml
11:16
ontologiae_ has joined #ocaml
11:20
eikke__ has joined #ocaml
11:21
claudiuc has quit [Remote host closed the connection]
11:22
Moataz-E has joined #ocaml
11:30
ontologiae_ has quit [Ping timeout: 260 seconds]
11:33
PM` has joined #ocaml
11:37
demonimin_ has joined #ocaml
11:39
demonimin has quit [Ping timeout: 256 seconds]
11:44
Moataz-E has quit [Quit: Leaving]
11:46
ontologiae_ has joined #ocaml
11:47
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
11:51
waneck has quit [Quit: Leaving]
11:56
ygrek has quit [Ping timeout: 240 seconds]
12:00
hhugo has quit [Quit: Leaving.]
12:03
penglingbo has quit [Ping timeout: 240 seconds]
12:04
flx has joined #ocaml
12:05
flx is now known as Guest82616
12:05
dant3 has quit [Ping timeout: 260 seconds]
12:05
BiDOrD_ has joined #ocaml
12:06
Averell has quit [Ping timeout: 245 seconds]
12:06
cantstanya has quit [Ping timeout: 260 seconds]
12:06
BiDOrD has quit [Ping timeout: 260 seconds]
12:08
dant3 has joined #ocaml
12:09
flux has quit [Ping timeout: 240 seconds]
12:09
Guest82616 is now known as flux
12:09
Aym_C has joined #ocaml
12:11
alexst has joined #ocaml
12:12
ontologiae_ has quit [Ping timeout: 240 seconds]
12:12
Averell has joined #ocaml
12:13
cantstanya has joined #ocaml
12:14
Aym_C has quit [Ping timeout: 264 seconds]
12:14
ustunozg_ has quit [Remote host closed the connection]
12:16
alexst has quit [Ping timeout: 240 seconds]
12:23
<
rwmjones >
avsm: you're definitely using recent git version of ocaml, and ocamlopt.opt (not ocamlopt)?
12:24
<
avsm >
rwmjones: ah no, 4.01. yes to ocamlopt.opt
12:25
* avsm
hears his cubieboard's cry out in terror at the thought of building 2000 packages in the summer heat
12:25
<
rwmjones >
4.01 works fine
12:26
<
rwmjones >
I'm doing a git bisect, but it's slow going
12:27
* rwmjones
wishes the arm64 hardware ran 32 bit binaries
12:27
<
flux >
is there a parallelizing git bisect?-)
12:27
hhugo has joined #ocaml
12:36
hhugo has quit [Quit: Leaving.]
12:36
Kakadu has quit [Ping timeout: 246 seconds]
12:42
mort___ has joined #ocaml
12:49
ontologiae_ has joined #ocaml
12:56
alpounet has quit [Remote host closed the connection]
12:57
alpounet has joined #ocaml
13:01
alpounet has quit [Ping timeout: 240 seconds]
13:07
siddharthv is now known as siddharthv_away
13:07
Hannibal_Smith has quit [Quit: Sto andando via]
13:08
divyanshu has joined #ocaml
13:09
Submarine has joined #ocaml
13:09
Submarine has joined #ocaml
13:10
Aym_C has joined #ocaml
13:12
alexst has joined #ocaml
13:12
jludlam is now known as jonludlam
13:13
alpounet has joined #ocaml
13:14
Aym_C has quit [Ping timeout: 260 seconds]
13:16
avsm has quit [Quit: Leaving.]
13:17
alexst has quit [Ping timeout: 272 seconds]
13:24
alpounet has quit [Remote host closed the connection]
13:24
alpounet has joined #ocaml
13:28
zpe has joined #ocaml
13:29
alexst has joined #ocaml
13:29
alpounet has quit [Ping timeout: 240 seconds]
13:32
_andre has quit [Quit: leaving]
13:33
alexst has quit [Ping timeout: 240 seconds]
13:35
_andre has joined #ocaml
13:39
rand000 has quit [Ping timeout: 240 seconds]
13:40
rand000 has joined #ocaml
13:43
penglingbo has joined #ocaml
13:51
olauzon has joined #ocaml
13:53
darkf has quit [Quit: Leaving]
13:53
mort___ has quit [Quit: Leaving.]
13:54
mort___ has joined #ocaml
13:58
shinnya has joined #ocaml
14:05
<
rwmjones >
ocamlbuild--
14:09
ygrek has joined #ocaml
14:11
Aym_C has joined #ocaml
14:15
Aym_C has quit [Ping timeout: 240 seconds]
14:16
alpounet has joined #ocaml
14:26
cantstanya has quit [Ping timeout: 260 seconds]
14:26
Averell has quit [Ping timeout: 260 seconds]
14:27
cantstanya has joined #ocaml
14:27
mort___ has quit [Ping timeout: 260 seconds]
14:30
alexst has joined #ocaml
14:31
ustunozgur has joined #ocaml
14:32
_0xAX has quit [Remote host closed the connection]
14:34
alexst has quit [Ping timeout: 240 seconds]
14:35
ygrek has quit [Ping timeout: 240 seconds]
14:36
Averell has joined #ocaml
14:37
mort___ has joined #ocaml
14:38
hhugo has joined #ocaml
14:40
ustunozgur has quit [Ping timeout: 240 seconds]
14:46
ustunozgur has joined #ocaml
14:47
tnguyen1 has joined #ocaml
14:47
mort___ has left #ocaml [#ocaml]
14:50
Submarine has quit [Remote host closed the connection]
14:51
BitPuffin has quit [Ping timeout: 240 seconds]
14:57
Averell has quit [Ping timeout: 245 seconds]
14:58
looolka has joined #ocaml
14:58
ustunozgur has quit [Remote host closed the connection]
15:01
alpounet has quit [Remote host closed the connection]
15:01
looolka has left #ocaml [#ocaml]
15:01
alpounet has joined #ocaml
15:02
<
rwmjones >
has anyone found the magic environment variables needed for a completely local ocaml install?
15:02
<
rwmjones >
w/o root, obviously
15:03
jonludlam has quit [Ping timeout: 240 seconds]
15:03
ustunozgur has joined #ocaml
15:06
alpounet has quit [Ping timeout: 240 seconds]
15:11
Aym_C has joined #ocaml
15:12
philtor_ has joined #ocaml
15:16
Aym_C has quit [Ping timeout: 240 seconds]
15:17
Averell has joined #ocaml
15:18
sheijk has joined #ocaml
15:19
PM` is now known as PM
15:20
shinnya has quit [Ping timeout: 260 seconds]
15:24
kizzx2 has joined #ocaml
15:24
kizzx2 has quit [Max SendQ exceeded]
15:26
avsm has joined #ocaml
15:27
<
kerneis >
rwmjones: well, opam does it, you could steal their scripts
15:28
<
rwmjones >
I think I have a method now:
15:28
<
rwmjones >
./configure -prefix /tmp/local
15:28
<
rwmjones >
make world.opt -j1
15:28
<
rwmjones >
make install
15:28
<
rwmjones >
and then set PATH to include /tmp/local/bin
15:29
<
kerneis >
should work as long as you're not mounting /tmp as tmpfs on an embedded device ;-)
15:30
philtor_ has quit [Ping timeout: 240 seconds]
15:30
alexst has joined #ocaml
15:36
alexst has quit [Ping timeout: 256 seconds]
15:36
philtor_ has joined #ocaml
15:38
Nuki has joined #ocaml
15:39
eikke__ has quit [Ping timeout: 256 seconds]
15:41
jludlam has joined #ocaml
15:41
ontologiae_ has quit [Read error: No route to host]
15:43
avsm has quit [Quit: Leaving.]
15:43
slash^ has joined #ocaml
15:56
philtor_ has quit [Ping timeout: 240 seconds]
15:56
tane has joined #ocaml
15:59
ygrek has joined #ocaml
15:59
S11001001 has joined #ocaml
15:59
S11001001 has quit [Changing host]
15:59
S11001001 has joined #ocaml
16:01
racycle has joined #ocaml
16:12
Aym_C has joined #ocaml
16:14
eridu has joined #ocaml
16:17
Aym_C has quit [Ping timeout: 240 seconds]
16:17
avsm has joined #ocaml
16:19
araujo has joined #ocaml
16:29
boogie has joined #ocaml
16:31
alexst has joined #ocaml
16:32
jwatzman|work has joined #ocaml
16:34
dsheets has quit [Ping timeout: 240 seconds]
16:34
avsm has quit [Quit: Leaving.]
16:34
tane has quit [Quit: Verlassend]
16:36
alexst has quit [Ping timeout: 264 seconds]
16:38
deavid has quit [Ping timeout: 240 seconds]
16:38
boogie has quit [Quit: Leaving...]
16:41
pminten has joined #ocaml
16:42
deavid has joined #ocaml
16:43
eridu has quit [Ping timeout: 264 seconds]
16:43
philtor_ has joined #ocaml
16:50
Anarchos has joined #ocaml
16:54
ollehar has joined #ocaml
16:54
ustunozgur has quit [Remote host closed the connection]
16:58
<
adrien >
rwmjones: btw, gasche has made patches to handle DESTDIR in the compiler
16:58
philtor_ has quit [Ping timeout: 240 seconds]
16:59
_0xAX has joined #ocaml
17:00
shinnya has joined #ocaml
17:03
penglingbo has quit [Ping timeout: 272 seconds]
17:07
hhugo has quit [Quit: Leaving.]
17:08
slash^ has quit [Read error: Connection reset by peer]
17:08
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
17:08
tnguyen1 has quit [Ping timeout: 264 seconds]
17:09
mfp_ has joined #ocaml
17:09
mfp has quit [Ping timeout: 256 seconds]
17:09
ustunozgur has joined #ocaml
17:12
pminten has quit [Quit: Leaving]
17:13
Aym_C has joined #ocaml
17:17
Aym_C has quit [Ping timeout: 240 seconds]
17:25
sad0ur has joined #ocaml
17:25
fraggle_laptop has joined #ocaml
17:28
<
adrien >
are there 2D data structures libraries available?
17:28
<
adrien >
quadtree for example
17:32
alexst has joined #ocaml
17:33
malo has joined #ocaml
17:33
<
adrien >
looks like it'll fit my needs at least for now
17:34
<
adrien >
one day I had started vam-split r+ trees
17:34
<
adrien >
never had time to go very far ='(
17:34
<
bitbckt >
a tale as old as time
17:34
<
adrien >
was fun at least and one day I'll get back to it
17:34
<
adrien >
part of the fun was that the litterature was quite lacking in this regard
17:37
<
adrien >
(vam-split is a way to decide where you put the limit to split your data when you need to; in this case you base it on the variance you'd get from each cluster of point [ you want to minimized it and it works OK because you can compute variances in an iterative way ])
17:37
Anarchos has joined #ocaml
17:37
alexst has quit [Ping timeout: 260 seconds]
17:37
fraggle_laptop has quit [Ping timeout: 256 seconds]
17:38
sheijk has quit [Quit: .]
17:38
<
flux >
too bad the rtree implementation doesn't have a license..
17:38
Hannibal_Smith has joined #ocaml
17:39
<
bitbckt >
I'm sure he'd add one, if prompted.
17:39
<
flux >
also I found ocaml-quadtree which is LGPL (no linking exception)
17:40
<
adrien >
so far I only need the interface
17:40
<
adrien >
for some prototyping
17:40
WraithM has joined #ocaml
17:41
<
adrien >
besport is a french company which uses ocsigen and uses maps :)
17:42
studybo__ has joined #ocaml
17:42
<
Drup >
(and hhugo is on this channel on a regular basis)
17:44
studybot_ has quit [Ping timeout: 264 seconds]
17:44
<
adrien >
I need to migrate to ATS
17:44
<
adrien >
or I'll end up reiventing everything ='(
17:45
<
adrien >
it was better when there were no libraries and applications: anything you'd do was new and great! ='(
17:45
ygrek has quit [Ping timeout: 260 seconds]
17:45
<
adrien >
"This software only works on 64-bit machines." :D
17:46
manizzle has quit [Ping timeout: 240 seconds]
17:47
badon_ has joined #ocaml
17:47
badon has quit [Ping timeout: 240 seconds]
17:49
<
adrien >
he event put hilbert curves in his r-tree!
17:49
<
rwmjones >
mantis--
17:50
<
rwmjones >
that's the second time today it's deleted a comment I've written
17:50
badon_ is now known as badon
17:51
<
adrien >
and web browsers
17:52
<
adrien >
and the fact that this mantis installation is oooold
17:55
<
Anarchos >
adrien what is a hilbert curve ?
17:55
Kakadu has joined #ocaml
17:55
<
adrien >
Anarchos: look it up on wikipedia :P
17:55
ygrek has joined #ocaml
17:55
<
Anarchos >
adrien :/
17:55
<
adrien >
it's a fractal which is also "space-filling"
17:55
<
adrien >
which means it goes through every point in space
17:55
<
adrien >
and you get a 2D to 1D mapping
17:56
<
adrien >
it's interesting because computers suck at handling 2D data
17:56
<
adrien >
and WP has nice pics
17:57
Anarchos has quit [Quit: reboot to get another partition back]
17:59
<
adrien >
flux: I guess vouillon's osm has an lgpl + le r-tree
17:59
<
adrien >
haven't been able to locate it from the sources yet though
18:00
yarl has quit [Quit: Page closed]
18:08
ustunozg_ has joined #ocaml
18:11
ustunozgur has quit [Ping timeout: 240 seconds]
18:14
Aym_C has joined #ocaml
18:18
Eyyub has joined #ocaml
18:18
Aym_C has quit [Ping timeout: 240 seconds]
18:18
_0xAX has quit [Remote host closed the connection]
18:20
Algebr has joined #ocaml
18:20
<
Algebr >
is Tuareg mode supposed to give code completion?
18:21
<
rwmjones >
not that I know of
18:21
<
Algebr >
if not, how can I get code completion?
18:22
mcclurmc has joined #ocaml
18:22
<
rwmjones >
so apparently there's tuareg-complete (C-c TAB)
18:23
<
Algebr >
bitbckt: neato, checking that out now.
18:23
<
adrien >
merlin is pretty much the standard nowadays
18:23
<
adrien >
wondering if it's getting part of the ocaml platform
18:24
<
bitbckt >
might as well be, imo
18:25
<
Algebr >
yes, looks nice. hopefully install is painless.
18:25
<
Algebr >
I can't get it via opam?
18:25
<
bitbckt >
opam install merlin should work
18:25
jprakash has joined #ocaml
18:25
<
Algebr >
opam is so much nicer than cabal.
18:26
<
Algebr >
also, why is tuareg mode named such?
18:27
<
rwmjones >
they are tribe from (algeria?) who ride camels
18:28
<
adrien >
not really algerie
18:28
<
adrien >
their borders don't match current countries
18:28
<
Algebr >
ah, yes, wiki says a berber people.
18:30
Algebr has quit [Remote host closed the connection]
18:32
rand000 has quit [Ping timeout: 256 seconds]
18:33
alexst has joined #ocaml
18:35
<
rwmjones >
this doesn't look good ...
18:35
<
rwmjones >
#2 0x00000000005dd24c in caml_alloc_shr (
18:35
<
rwmjones >
wosize=wosize@entry=12926428316172288, tag=<optimized out>) at memory.c:414
18:35
<
rwmjones >
someone must be using arm/arm64 ...?
18:38
alexst has quit [Ping timeout: 272 seconds]
18:38
Arsenik has joined #ocaml
18:52
ygrek has quit [Ping timeout: 264 seconds]
18:56
<
orbitz >
Is there any issue with having two module types that define a type, t, and I want to ensure that if given to my functor both t's are the same type
18:58
badon has quit [Ping timeout: 240 seconds]
18:58
badon has joined #ocaml
19:00
Hetu has joined #ocaml
19:01
mcclurmc has quit [Remote host closed the connection]
19:03
<
def` >
orbitz: just add a with constraint
19:05
<
ggole >
module type T = sig type t end module Same (A : T) (B : T with type t = A.t) : sig end = struct end
19:06
<
ggole >
Something like that, I think
19:06
<
ggole >
(Where T would be your module(s).)
19:06
mcclurmc has joined #ocaml
19:07
ustunozg_ has quit [Read error: Connection reset by peer]
19:07
ustunozgur has joined #ocaml
19:08
philtor_ has joined #ocaml
19:08
<
orbitz >
I think I'm geting a bit functor crazy
19:11
<
orbitz >
that works, thanks ggole
19:12
mcclurmc has quit [Remote host closed the connection]
19:12
philtor_ has quit [Ping timeout: 240 seconds]
19:14
Algebr has joined #ocaml
19:14
Aym_C has joined #ocaml
19:15
<
Algebr >
Merlin seems to complain about Jane Street's Core.Std. Is this a common thing?
19:15
<
orbitz >
the problem is, my algoirthm legitimatly depends on a bunch of things
19:15
<
Algebr >
says unbound module, but utop is perfectly happy with it.
19:15
<
orbitz >
I was thinking I could require 1 moduel type with everthing, and if someone wants to build that from functors that would work too
19:15
<
orbitz >
and perhaps simplify things...
19:16
mcclurmc has joined #ocaml
19:19
Aym_C has quit [Ping timeout: 240 seconds]
19:19
<
ggole >
Algebr: you might need PKG Core in .merlin, or something like that
19:19
<
Algebr >
ggole: Oh, didn't realize merlin had its own . file as well
19:20
<
ggole >
It basically says which directories to look in for .cmt and source files
19:20
<
Algebr >
Do I have to define one for each directory? Is there no ~/.merlin?
19:21
<
ggole >
One for each project, roughly
19:21
<
def` >
Algebr: merlin will use the closest .merlin in path
19:21
<
def` >
so if you put a ~/.merlin, it will be used if there is no ~/myproject/.merlin
19:23
<
Algebr >
so I can just do: PKG core, and that will use all of Core?
19:23
mcclurmc has quit [Remote host closed the connection]
19:24
<
Algebr >
yay, it worked. Thanks!
19:26
Algebr has quit [Remote host closed the connection]
19:30
NoNNaN has quit [Ping timeout: 264 seconds]
19:33
Eyyub has quit [Ping timeout: 260 seconds]
19:33
alexst has joined #ocaml
19:34
<
baz__ >
Hi, is there any way to move to the end of a let in tuareg mode on emacs?
19:35
NoNNaN has joined #ocaml
19:36
ustunozgur has quit [Remote host closed the connection]
19:37
philtor_ has joined #ocaml
19:38
alexst has quit [Ping timeout: 240 seconds]
19:42
ktoss has quit [Remote host closed the connection]
19:44
<
baz__ >
or some other plugin that provides that kind of functionality?
19:44
<
ggole >
There's tuareg-next-phrase, but that only works on top-level forms
19:45
<
baz__ >
I'm look at a function with some inner functions eating up my vertical space so it is hard to find the "body" of the function
19:45
<
def` >
baz__: what would you like exactly ? moving to the previous or next item in a structure ?
19:47
<
baz__ >
in this case the next let following the in of the current let
19:47
<
ggole >
Hmm, the usual sexp-movement functions might be useful in the latest version of tuareg
19:47
<
ggole >
backward-up-list followed by forward-sexp, maybe
19:49
<
ggole >
Never mind, forward-sexp skips over too much.
19:51
<
baz__ >
not enough in my case :P
19:51
<
baz__ >
tuareg-next-phrase jumps to inner let open ..., crossing outer let boundaries
20:01
_andre has quit [Quit: leaving]
20:01
Eyyub has joined #ocaml
20:10
dapz has joined #ocaml
20:15
Aym_C has joined #ocaml
20:16
philtor_ has quit [Ping timeout: 260 seconds]
20:20
Aym_C has quit [Ping timeout: 256 seconds]
20:22
root_empire has quit [Remote host closed the connection]
20:22
claudiuc has joined #ocaml
20:26
Hetu has quit [Remote host closed the connection]
20:26
claudiuc has quit [Remote host closed the connection]
20:27
claudiuc has joined #ocaml
20:31
ollehar has quit [Ping timeout: 240 seconds]
20:32
claudiuc_ has joined #ocaml
20:34
alexst has joined #ocaml
20:35
hhugo has joined #ocaml
20:35
claudiuc has quit [Ping timeout: 264 seconds]
20:37
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
20:42
Arsenik has quit [Remote host closed the connection]
20:50
divyanshu has quit [Quit: Computer has gone to sleep.]
20:52
philtor_ has joined #ocaml
20:53
Submarine has joined #ocaml
20:57
ustunozgur has joined #ocaml
21:04
axiles has quit [Remote host closed the connection]
21:09
claudiuc has joined #ocaml
21:10
claudiuc_ has quit [Ping timeout: 240 seconds]
21:10
claudiuc_ has joined #ocaml
21:11
claudiuc has quit [Remote host closed the connection]
21:12
claudiuc has joined #ocaml
21:15
claudiuc_ has quit [Ping timeout: 240 seconds]
21:16
Aym_C has joined #ocaml
21:20
Aym_C has quit [Ping timeout: 240 seconds]
21:20
hhugo has quit [Quit: Leaving.]
21:26
olauzon has quit [Ping timeout: 260 seconds]
21:27
rand000 has joined #ocaml
21:32
dapz has joined #ocaml
21:35
mcclurmc has joined #ocaml
21:36
ollehar has joined #ocaml
21:37
sheijk has joined #ocaml
21:37
zpe has quit [Remote host closed the connection]
21:37
mcclurmc has quit [Remote host closed the connection]
21:56
Hannibal_Smith has quit [Quit: Sto andando via]
22:00
Simn has quit [Quit: Leaving]
22:10
Kakadu has quit [Quit: Konversation terminated!]
22:12
Muzer has joined #ocaml
22:17
Aym_C has joined #ocaml
22:18
ollehar has quit [Ping timeout: 240 seconds]
22:22
Aym_C has quit [Ping timeout: 264 seconds]
22:41
jprakash has quit [Quit: leaving]
22:47
zpe has joined #ocaml
22:49
rand000 has quit [Ping timeout: 256 seconds]
22:52
Nuki has quit [Remote host closed the connection]
22:52
zpe has quit [Ping timeout: 240 seconds]
23:06
rand000 has joined #ocaml
23:10
darkf has joined #ocaml
23:11
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
23:17
Aym_C has joined #ocaml
23:22
Aym_C has quit [Ping timeout: 256 seconds]
23:31
philtor_ has quit [Ping timeout: 240 seconds]
23:33
madroach has quit [Ping timeout: 240 seconds]
23:35
madroach has joined #ocaml
23:40
NoNNaN has quit [Remote host closed the connection]
23:40
dapz has joined #ocaml
23:41
NoNNaN has joined #ocaml
23:52
alexst has quit [Ping timeout: 240 seconds]