00:00
rgrinberg has joined #ocaml
00:08
AltGr has joined #ocaml
00:08
AlexRussia has quit [Ping timeout: 256 seconds]
00:13
AlexRussia has joined #ocaml
00:14
libertas has quit [Ping timeout: 250 seconds]
00:15
oscar_toro has quit [Ping timeout: 264 seconds]
00:17
ousado has quit [Ping timeout: 258 seconds]
00:21
toolslive has quit [Quit: Leaving]
00:23
travisbrady has joined #ocaml
00:23
AlexRussia has quit [Ping timeout: 258 seconds]
00:32
manud has joined #ocaml
00:32
rand000 has quit [Quit: leaving]
00:33
madroach has quit [Ping timeout: 250 seconds]
00:34
demonimin has quit [Remote host closed the connection]
00:35
madroach has joined #ocaml
00:35
seanmcl has joined #ocaml
00:36
manud has quit [Ping timeout: 255 seconds]
00:36
ollehar has quit [Ping timeout: 252 seconds]
00:40
NoNNaN has quit [Remote host closed the connection]
00:41
NoNNaN has joined #ocaml
00:46
nkar has joined #ocaml
00:46
<
nkar >
is there a flag or an envvar that could be used to make ocamldep more verbose?
00:47
<
rgrinberg >
is there something like BatSubstring out there that isn't bound to batteries?
00:47
demonimin has joined #ocaml
00:48
Simn has quit [Quit: Leaving]
00:53
thomasga has quit [Quit: Leaving.]
00:58
rgrinberg has quit [Read error: Connection reset by peer]
01:01
ousado has joined #ocaml
01:06
AlexRussia has joined #ocaml
01:08
ousado has quit [Changing host]
01:08
ousado has joined #ocaml
01:12
natrium1970 has joined #ocaml
01:13
nadako has quit [Quit: Leaving]
01:13
natrium1970 has quit [Client Quit]
01:17
fraggle-boate has quit [Ping timeout: 272 seconds]
01:20
natrium1970 has joined #ocaml
01:21
<
natrium1970 >
I can create a function with a labeled argument, like let f ~x:x1 = x1 + 1.
01:21
<
natrium1970 >
What if I wanted to explicitly put a type annotation on the argument?
01:21
rwmjones has quit [Read error: Network is unreachable]
01:22
rwmjones has joined #ocaml
01:23
<
Drup >
natrium1970: "let f ~x:x1:int = x1 + 1"
01:23
<
natrium1970 >
If I don’t use the renaming part “~x:x1”, I can put an annotation like this, it appears: let g ~(x:int) = x + 1
01:23
<
natrium1970 >
But I don’t know how to combine the two syntaxes.
01:24
<
Drup >
I just told you :)
01:24
<
Drup >
(you can also do "let f ~x:(x1:int) = x1 + 1")
01:24
<
natrium1970 >
Thanks.
01:25
natrium1970 has quit [Quit: natrium1970]
01:33
manud has joined #ocaml
01:37
manud has quit [Ping timeout: 250 seconds]
01:38
travisbrady has quit [Quit: travisbrady]
01:57
<
Drup >
AltGr: well, good luck! ;)
02:02
travisbrady has joined #ocaml
02:02
manud has joined #ocaml
02:11
darkf has joined #ocaml
02:15
jprakash has quit [Ping timeout: 264 seconds]
02:20
travisbrady has quit [Quit: travisbrady]
02:21
samrat has joined #ocaml
02:22
badkins has joined #ocaml
02:23
pdewacht has quit [Ping timeout: 250 seconds]
02:30
boogie has quit [Remote host closed the connection]
02:32
travisbrady has joined #ocaml
02:34
BitPuffin has quit [Ping timeout: 264 seconds]
02:40
q66 has quit [Quit: Leaving]
02:40
samrat has quit [Ping timeout: 264 seconds]
02:50
jwatzman|work has quit [Quit: jwatzman|work]
02:53
travisbrady has quit [Quit: travisbrady]
02:59
ygrek has joined #ocaml
02:59
travisbrady has joined #ocaml
03:03
lordkryss has quit [Quit: Connection closed for inactivity]
03:05
kapil__ has joined #ocaml
03:11
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
03:14
Muzer has quit [Ping timeout: 255 seconds]
03:18
claudiuc has quit [Remote host closed the connection]
03:22
travisbrady has quit [Quit: travisbrady]
03:22
Muzer has joined #ocaml
03:26
AlexRussia has quit [Ping timeout: 244 seconds]
03:28
samrat has joined #ocaml
03:30
jao has quit [Ping timeout: 245 seconds]
03:33
AlexRussia has joined #ocaml
03:33
chinglish has joined #ocaml
03:39
Submarine has quit [Remote host closed the connection]
04:00
ocfx has left #ocaml [#ocaml]
04:03
manud has quit [Quit: Be back later ...]
04:10
enquora has quit [Quit: enquora]
04:17
badkins has quit []
04:32
jhaberstro has joined #ocaml
04:38
BitPuffin has joined #ocaml
04:43
BitPuffin has quit [Ping timeout: 252 seconds]
04:46
samrat has quit [Quit: Computer has gone to sleep.]
04:59
fraggle-boate has joined #ocaml
05:03
tokenrov1 has joined #ocaml
05:04
tokenrove has quit [Ping timeout: 258 seconds]
05:04
pyon has quit [Ping timeout: 258 seconds]
05:04
ivan\ has quit [Ping timeout: 258 seconds]
05:09
nox_ has quit [Ping timeout: 258 seconds]
05:09
\q has quit [Ping timeout: 258 seconds]
05:09
pyon has joined #ocaml
05:09
\q has joined #ocaml
05:10
nox_ has joined #ocaml
05:10
araujo has quit [Ping timeout: 258 seconds]
05:11
ivan\ has joined #ocaml
05:12
araujo has joined #ocaml
05:19
gdsfh1 has quit [Ping timeout: 240 seconds]
05:24
gdsfh has joined #ocaml
05:34
samrat has joined #ocaml
05:40
AlexRussia has quit [Quit: WeeChat 1.1-dev]
06:04
pyon has quit [Ping timeout: 256 seconds]
06:07
ygrek has quit [Ping timeout: 272 seconds]
06:09
WraithM has quit [Ping timeout: 272 seconds]
06:21
pyon has joined #ocaml
06:29
MrScout_ has joined #ocaml
06:30
def` has joined #ocaml
06:32
MrScout has quit [Ping timeout: 252 seconds]
06:33
MrScout_ has quit [Ping timeout: 240 seconds]
06:35
pyon has quit [Ping timeout: 264 seconds]
06:36
psy_ has quit [Ping timeout: 255 seconds]
06:43
WraithM has joined #ocaml
06:44
WraithM has quit [Client Quit]
06:46
Arsenik has joined #ocaml
06:54
arj has joined #ocaml
07:00
MrScout has joined #ocaml
07:04
MrScout has quit [Ping timeout: 244 seconds]
07:09
ygrek has joined #ocaml
07:32
Denommus has quit [Remote host closed the connection]
07:39
Submarine has joined #ocaml
07:39
Submarine has joined #ocaml
07:44
Arsenik has quit [Remote host closed the connection]
07:45
manud has joined #ocaml
07:58
def` has quit [Ping timeout: 244 seconds]
08:00
chambart has joined #ocaml
08:01
MrScout has joined #ocaml
08:05
MrScout has quit [Ping timeout: 255 seconds]
08:08
iorivur has quit [Quit: No Ping reply in 180 seconds.]
08:08
iorivur has joined #ocaml
08:09
matason has joined #ocaml
08:09
matason has quit [Client Quit]
08:12
ygrek_ has joined #ocaml
08:14
ygrek has quit [Ping timeout: 244 seconds]
08:15
iorivur has quit [Ping timeout: 258 seconds]
08:34
lordkryss has joined #ocaml
08:34
def` has joined #ocaml
08:39
jonludlam has quit [Quit: Coyote finally caught me]
08:39
chambart has quit [Ping timeout: 272 seconds]
08:39
chambart has joined #ocaml
08:40
psy_ has joined #ocaml
08:53
larhat has quit [Quit: Leaving.]
09:01
MrScout has joined #ocaml
09:02
avsm has joined #ocaml
09:02
jhaberstro has quit [Quit: jhaberstro]
09:03
matason has joined #ocaml
09:04
girrig has quit [Ping timeout: 264 seconds]
09:05
MrScout has quit [Ping timeout: 250 seconds]
09:08
girrig has joined #ocaml
09:10
AlexRussia has joined #ocaml
09:11
darkf_ has joined #ocaml
09:12
chambart has quit [Ping timeout: 255 seconds]
09:13
arj has left #ocaml [#ocaml]
09:13
arj has joined #ocaml
09:14
darkf has quit [Ping timeout: 258 seconds]
09:14
darkf_ is now known as darkf
09:15
jhaberstro has joined #ocaml
09:16
thomasga has joined #ocaml
09:21
bezirg has joined #ocaml
09:23
mk270 has quit [Ping timeout: 255 seconds]
09:23
mk270 has joined #ocaml
09:24
psy_ has quit [Remote host closed the connection]
09:25
avsm has quit [Quit: Leaving.]
09:28
psy_ has joined #ocaml
09:31
dsheets_ has joined #ocaml
09:31
def` has quit [Ping timeout: 250 seconds]
09:36
kakadu has joined #ocaml
09:37
dsheets_ has quit [Ping timeout: 258 seconds]
09:37
ikaros has joined #ocaml
09:40
pyon has joined #ocaml
09:41
jonludlam has joined #ocaml
09:45
eyyub has joined #ocaml
09:47
larhat has joined #ocaml
09:49
_andre has joined #ocaml
09:51
Submarine has quit [Remote host closed the connection]
09:56
jhaberstro has quit [Quit: jhaberstro]
09:57
jhaberstro has joined #ocaml
10:00
MrScout has joined #ocaml
10:05
MrScout has quit [Ping timeout: 240 seconds]
10:06
AltGr has left #ocaml [#ocaml]
10:12
darkf_ has joined #ocaml
10:13
jhaberstro has quit [Quit: jhaberstro]
10:13
oscar_toro has joined #ocaml
10:15
xavierm02 has joined #ocaml
10:16
<
xavierm02 >
Hey. A few weeks ago, someone posted a gif showing something to search the doc really fast. Is this thing available somewhere? Thank you in advance for your answers.
10:16
darkf has quit [Ping timeout: 258 seconds]
10:19
darkf_ is now known as darkf
10:21
claudiuc has joined #ocaml
10:22
psy_ has quit [Remote host closed the connection]
10:24
claudiuc has quit [Remote host closed the connection]
10:24
claudiuc has joined #ocaml
10:28
ollehar has joined #ocaml
10:36
<
Leonidas >
how can I construct a Ctypes 'a typ from Ctypes types?
10:36
ggole has joined #ocaml
10:41
chambart has joined #ocaml
10:44
<
rks` >
(I'm guessing)
10:55
samuel02 has joined #ocaml
10:59
ddosia has quit [Quit: Leaving.]
11:07
q66 has joined #ocaml
11:09
BitPuffin has joined #ocaml
11:11
psy_ has joined #ocaml
11:11
axiles has quit [Ping timeout: 252 seconds]
11:13
lordkryss has quit [Quit: Connection closed for inactivity]
11:18
arj has quit [Ping timeout: 272 seconds]
11:21
eyyub has quit [Ping timeout: 244 seconds]
11:25
samuel02 has quit [Remote host closed the connection]
11:25
samuel02 has joined #ocaml
11:26
samuel02 has quit [Remote host closed the connection]
11:26
Simn has joined #ocaml
11:27
tharugrim has joined #ocaml
11:34
arj has joined #ocaml
11:36
oscar_toro has quit [Ping timeout: 240 seconds]
11:38
ygrek_ has quit [Ping timeout: 264 seconds]
11:39
arj has quit [Ping timeout: 264 seconds]
11:42
samrat has quit [Quit: Computer has gone to sleep.]
11:42
BitPuffin has quit [Ping timeout: 264 seconds]
11:44
<
xavierm02 >
rks` : Yes, that's it! Thank you :)
11:45
<
rks` >
you're welcome
11:47
arj has joined #ocaml
11:52
samuel02 has joined #ocaml
11:53
xavierm02 has quit [Quit: Page closed]
11:53
q66 has quit [Quit: Leaving]
11:54
rand000 has joined #ocaml
11:59
claudiuc_ has joined #ocaml
12:00
claudiuc has quit [Ping timeout: 258 seconds]
12:02
hugomg has joined #ocaml
12:03
<
Leonidas >
I have to add ctypes.cma and reorder str and bigarray and then it dies while linking
12:04
MrScout has joined #ocaml
12:08
MrScout has quit [Ping timeout: 244 seconds]
12:17
AlexRussia has quit [Ping timeout: 272 seconds]
12:22
thomasga has quit [Quit: Leaving.]
12:24
arj has quit [Quit: Leaving.]
12:27
psy_ has quit [Remote host closed the connection]
12:33
samrat has joined #ocaml
12:38
avsm has joined #ocaml
12:46
<
Leonidas >
whitequark: ok, I was wrong, it does work
12:46
<
Leonidas >
just our makefile is pretty bad and mixing ocamlfind with no-ocamlfind calls yields problematic results
12:47
citrucel has joined #ocaml
12:47
ygrek_ has joined #ocaml
12:50
eyyub has joined #ocaml
12:51
citrucel has left #ocaml [#ocaml]
12:59
tokenrov1 is now known as tokenrove
13:00
eyyub has quit [Ping timeout: 256 seconds]
13:00
eyyub has joined #ocaml
13:00
ygrek_ has quit [Ping timeout: 244 seconds]
13:10
samuel02 has quit [Read error: Connection reset by peer]
13:11
samuel02 has joined #ocaml
13:12
davine has joined #ocaml
13:12
davine has left #ocaml [#ocaml]
13:14
_5kg_ has quit [Ping timeout: 244 seconds]
13:15
psy_ has joined #ocaml
13:26
samrat has quit [Ping timeout: 240 seconds]
13:28
axiles has joined #ocaml
13:29
thomasga has joined #ocaml
13:38
samrat has joined #ocaml
13:38
nkar has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
13:51
BitPuffin has joined #ocaml
13:55
larhat has quit [Quit: Leaving.]
13:58
_5kg_ has joined #ocaml
14:02
thomasga has quit [Quit: Leaving.]
14:10
samuel02 has quit []
14:10
samuel02 has joined #ocaml
14:11
oscar_toro has joined #ocaml
14:12
badkins has joined #ocaml
14:18
travisbrady has joined #ocaml
14:19
avsm has quit [Quit: Leaving.]
14:20
avsm has joined #ocaml
14:22
thomasga has joined #ocaml
14:32
seanmcl has joined #ocaml
14:37
koderok has joined #ocaml
14:37
koderok has quit [Remote host closed the connection]
14:46
ygrek_ has joined #ocaml
14:47
antinomy has joined #ocaml
14:52
<
dmbaturin >
Does anyone use ocaml on centos? Where do you isntall libs from, other than opam?
14:53
<
companion_cube >
like most distributions, I think, only opam can provide recent enough libraries...
14:55
<
dmbaturin >
companion_cube:
http://pastie.org/9760605 It's not just a question of recent enough libs, on centos it's question of any libs at all. :)
14:55
<
dmbaturin >
This is with centosplus and epel enabled.
14:56
<
jonludlam >
dmbaturin, I'm hoping to make an SCL for using ocaml on CentOS
14:57
avsm has quit [Quit: Leaving.]
14:57
<
jonludlam >
the idea is to have a modern set of libraries that are usable as add-ons to centos
14:58
<
jonludlam >
which libraries are you interested in?
15:01
travisbrady has quit [Quit: travisbrady]
15:02
<
smondet >
dmbaturin: I also use ocaml on centos; many C libs are outdated, good thing to avoid C dependencies as much as possible anyway :)
15:03
<
dmbaturin >
jonludlam: Cmdliner, RE and PCRE bindings, for instance. LWT. Also, tools like menhir.
15:04
<
smondet >
I use all of of those except PCRE
15:04
<
smondet >
(menhir indirectly)
15:05
<
dmbaturin >
smondet: From OPAM?
15:05
<
Drup >
dmbaturin: among those, only pcre needs C libs.
15:05
travisbrady has joined #ocaml
15:06
avsm has joined #ocaml
15:06
MrScout has joined #ocaml
15:06
<
smondet >
dmbaturin: yes form opam
15:07
slash^ has joined #ocaml
15:07
<
dmbaturin >
smondet: Do you only keep OPAM on the build machine?
15:08
<
dmbaturin >
jonludlam: Also, there are way more libs in the current fedora repos, so I guess for those without C deps it's just a question of including them into centos repos (although I didn't try to rebuild them yet).
15:08
bezirg has quit [Ping timeout: 250 seconds]
15:09
<
smondet >
dmbaturin: I "bootstrap" everything from opam, if that's what you mean (?)
15:09
<
jonludlam >
dmbaturin, I'm definitely mining fedora for spec files
15:10
<
dmbaturin >
smondet: How do you deploy compiled binaries on other machines?
15:11
MrScout has quit [Ping timeout: 265 seconds]
15:11
<
jonludlam >
would you be willing to help?
15:14
<
smondet >
dmbaturin: I used to build RPMs, but now I need everything (to evaluate/compile ocaml) so I have opam + everything installed everywhere
15:16
chinglish has joined #ocaml
15:18
shinnya has joined #ocaml
15:21
samrat has quit [Quit: Computer has gone to sleep.]
15:26
<
Leonidas >
I'd just use opam on centos and call it a day
15:41
bezirg has joined #ocaml
15:43
darkf has quit [Quit: Leaving]
15:47
avsm has quit [Quit: Leaving.]
15:50
AlexRussia has joined #ocaml
15:51
kapil__ has quit [Quit: Connection closed for inactivity]
16:07
MrScout has joined #ocaml
16:09
tane has joined #ocaml
16:11
MrScout has quit [Ping timeout: 250 seconds]
16:11
AlexRussia has quit [Ping timeout: 264 seconds]
16:12
thomasga1 has joined #ocaml
16:12
abbe_ has joined #ocaml
16:13
abbe has quit [Disconnected by services]
16:13
abbe_ is now known as abbe
16:16
thomasga1 has quit [Client Quit]
16:16
wormphle1m has joined #ocaml
16:16
jerith_ has joined #ocaml
16:16
_2can_ has joined #ocaml
16:18
thomasga has quit [Ping timeout: 265 seconds]
16:18
mekaj_ has quit [Ping timeout: 265 seconds]
16:18
zozozo has quit [Ping timeout: 265 seconds]
16:18
weykent has quit [Ping timeout: 265 seconds]
16:18
averell has quit [Ping timeout: 265 seconds]
16:18
kalzz has quit [Ping timeout: 265 seconds]
16:18
Leonidas has quit [Ping timeout: 265 seconds]
16:18
majoh has quit [Ping timeout: 265 seconds]
16:18
wormphlegm has quit [Ping timeout: 265 seconds]
16:18
dinosaure has quit [Ping timeout: 265 seconds]
16:18
jerith has quit [Ping timeout: 265 seconds]
16:18
_2can has quit [Ping timeout: 265 seconds]
16:19
zozozo has joined #ocaml
16:19
_weykent has joined #ocaml
16:19
mekaj has joined #ocaml
16:19
averell has joined #ocaml
16:20
dinosaure has joined #ocaml
16:20
majoh has joined #ocaml
16:21
bezirg has quit [Remote host closed the connection]
16:22
kalzz has joined #ocaml
16:23
bitbckt has quit [Ping timeout: 258 seconds]
16:28
bitbckt has joined #ocaml
16:29
Leonidas has joined #ocaml
16:30
c74d has quit [Remote host closed the connection]
16:30
shinnya has quit [Ping timeout: 252 seconds]
16:40
<
Leonidas >
whitequark: it would be good if the llvm-ocaml binding would expose llvm::DEBUG_METADATA_VERSION.
16:41
<
Leonidas >
we used to hardcode it to 1 but now it broke, since current versions have changed to 2 :-)
16:41
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
16:43
oscar_toro has quit [Ping timeout: 244 seconds]
16:45
seanmcl has joined #ocaml
16:46
dsheets_ has joined #ocaml
16:48
bytbox has quit [Remote host closed the connection]
16:59
thomasga has joined #ocaml
17:01
boogie has joined #ocaml
17:04
samuel02 has quit [Remote host closed the connection]
17:04
ollehar has quit [Ping timeout: 240 seconds]
17:07
MrScout has joined #ocaml
17:12
MrScout has quit [Ping timeout: 258 seconds]
17:13
bytbox has joined #ocaml
17:17
eyyub has quit [Ping timeout: 260 seconds]
17:17
tharugrim has quit [Ping timeout: 258 seconds]
17:17
manizzle has quit [Ping timeout: 244 seconds]
17:19
tharugrim has joined #ocaml
17:20
bytbox has quit [Ping timeout: 264 seconds]
17:20
kakadu has quit [Quit: Page closed]
17:23
samrat has joined #ocaml
17:25
bytbox has joined #ocaml
17:32
bytbox has quit [Ping timeout: 264 seconds]
17:35
pdewacht has joined #ocaml
17:40
jonludlam has quit [Ping timeout: 256 seconds]
17:42
q66 has joined #ocaml
17:44
avsm has joined #ocaml
17:45
jonludlam has joined #ocaml
17:46
jwatzman|work has joined #ocaml
17:47
jonludlam has quit [Client Quit]
17:50
WraithM has joined #ocaml
17:50
oscar_toro has joined #ocaml
17:50
ollehar has joined #ocaml
17:51
matason has quit [Quit: Leaving...]
18:06
thomasga has quit [Ping timeout: 265 seconds]
18:08
MrScout has joined #ocaml
18:10
claudiuc_ has quit [Remote host closed the connection]
18:10
claudiuc has joined #ocaml
18:11
AlexRussia has joined #ocaml
18:13
MrScout has quit [Ping timeout: 258 seconds]
18:15
claudiuc has quit [Ping timeout: 240 seconds]
18:15
manizzle has joined #ocaml
18:16
lordkryss has joined #ocaml
18:20
oscar_toro has quit [Read error: Connection reset by peer]
18:21
oscar_toro has joined #ocaml
18:21
enquora has joined #ocaml
18:23
avsm has quit [Quit: Leaving.]
18:25
enquora has quit [Remote host closed the connection]
18:25
MrScout has joined #ocaml
18:26
enquora has joined #ocaml
18:26
oscar_toro has quit [Quit: Leaving.]
18:28
oscar_toro has joined #ocaml
18:30
MrScout has quit [Ping timeout: 244 seconds]
18:31
enquora has quit [Remote host closed the connection]
18:32
enquora has joined #ocaml
18:34
cdidd has quit [Ping timeout: 264 seconds]
18:40
jonludlam has joined #ocaml
18:41
nadako has joined #ocaml
18:44
chambart has quit [Ping timeout: 272 seconds]
18:48
cdidd has joined #ocaml
18:52
Hannibal_Smith has joined #ocaml
18:57
ygrek_ has quit [Ping timeout: 250 seconds]
18:58
jao has joined #ocaml
18:58
jao has joined #ocaml
18:58
jao has quit [Changing host]
18:59
_2can_ is now known as _2can
19:00
bytbox has joined #ocaml
19:01
travisbrady has quit [Quit: travisbrady]
19:06
bytbox has quit [Remote host closed the connection]
19:06
Arsenik has joined #ocaml
19:07
MrScout has joined #ocaml
19:09
slash^ has quit [Read error: Connection reset by peer]
19:16
matason has joined #ocaml
19:16
matason has quit [Client Quit]
19:18
def` has joined #ocaml
19:18
travisbrady has joined #ocaml
19:19
<
whitequark >
Leonidas: patches accepted
19:20
<
Leonidas >
whitequark: alright, will look into this tomorrow
19:21
bytbox has joined #ocaml
19:21
<
Leonidas >
whitequark: can you tell me how to construct the proper type for get_pointer_to_global?
19:22
<
Leonidas >
I have no idea how to build a 'a Ctypes.typ for a function
19:22
bytbox has quit [Read error: Connection reset by peer]
19:22
<
whitequark >
test/Bindings/OCaml/executionengine.ml
19:22
<
whitequark >
let cplusty = Foreign.funptr (int32_t @-> int32_t @-> returning int32_t) in
19:22
<
whitequark >
let cplus = get_pointer_to_global plus cplusty ee in
19:22
<
whitequark >
if 4l <> cplus 2l 2l then bomb "plus didn't work";
19:23
<
Leonidas >
I was missing the funptr part
19:23
<
Leonidas >
thanks :-)
19:24
tani has joined #ocaml
19:25
<
Leonidas >
bomb is a great name for that function
19:25
<
whitequark >
not my invention
19:25
tane has quit [Killed (wolfe.freenode.net (Nickname regained by services))]
19:25
tani is now known as tane
19:27
<
Leonidas >
what does the <3 x float> type map to in Ctypes? Is that just an 3 element array of floats?
19:27
<
whitequark >
it's a vector
19:27
<
whitequark >
I don't think these have a defined ABI
19:30
<
Leonidas >
I suppose I can somehow construct these as llvalues and pass them to a function
19:30
<
whitequark >
after get_pointer_to_global, LLVM does not exist
19:30
<
whitequark >
well, could as well not exist
19:31
<
whitequark >
it's just you and your code, alone in a dark room
19:31
<
whitequark >
you're doing something weird. you shouldn't need to pass vectors across languages
19:31
<
Leonidas >
ah, because the pointer_to_global is just some native code in memory?
19:32
<
whitequark >
yes, it returns one
19:32
samrat has quit [Quit: Computer has gone to sleep.]
19:32
<
def` >
whitequark: I have one request to improve performances of ppx in merlin, I am interested in your opinion
19:32
<
Leonidas >
well, our compiler generates these functions and I want to call them via executionengine
19:33
<
Leonidas >
I suppose I am doing something weird :-)
19:33
<
whitequark >
Leonidas: wrap them in something that exports only C ABI
19:33
manizzle has quit [Ping timeout: 265 seconds]
19:34
<
def` >
whitequark: merlin split the input in small chunks. right now, it spawns one process per chunk (so, n chunks and k extension = n * k processes, that might ont not scale)
19:34
<
def` >
whitequark: what would be nice is to allow ppx extensions to process not just one structure or signature, but a batch
19:34
<
Leonidas >
that's a good idea, will see how to integrate that
19:35
<
whitequark >
i think what you need is for merlin to become a ppx driver
19:35
<
def` >
what would that imply ?
19:35
<
def` >
(all ppx extensions provide a cmxs)
19:36
<
whitequark >
I had a draft of a ppx driver "standard" somewhere
19:36
<
whitequark >
I need to resurrect it
19:37
<
def` >
a process with an interface like this could be enough:
19:37
<
def` >
cookie_map * [`Str of structure | `Sig of signature] list -> (cookie_map * [`Str of structure | `Sig of signature]) list
19:37
<
whitequark >
nah, see Ast_mapper.register
19:38
<
whitequark >
well, unfortunately it still involves temporary files
19:38
<
whitequark >
which is dumb
19:38
<
whitequark >
but it will work with most existing code and not require a new ocaml
19:38
<
whitequark >
which is good
19:38
<
def` >
what would still involves temporary files ?
19:39
<
def` >
(Couldn't we just use stdin/stdout?)
19:39
<
whitequark >
val register_function: (string -> (string list -> mapper) -> unit) ref
19:39
<
whitequark >
oh, wait
19:39
<
whitequark >
it returns mapper
19:39
<
whitequark >
nevermind, you can directly call it
19:40
<
def` >
well, do you have an example I could follow :') ?
19:41
<
def` >
(and for the findlib ppx logic, I had to copy/paste from topfind, it might be worth improving the api)
19:41
manizzle has joined #ocaml
19:41
<
whitequark >
I'll get back to you with an example in a moment
19:42
<
def` >
(send an email if am not on irc anymore)
19:44
bytbox has joined #ocaml
19:46
AlexRussia has quit [Ping timeout: 265 seconds]
19:50
AlexRussia has joined #ocaml
19:50
samuel02 has joined #ocaml
19:51
manizzle has quit [Ping timeout: 258 seconds]
19:51
Simn has quit [Read error: Connection reset by peer]
19:52
Simn has joined #ocaml
19:53
flux has quit [Remote host closed the connection]
19:54
jonludlam has quit [Ping timeout: 244 seconds]
19:55
flx has joined #ocaml
19:55
flx is now known as flux
20:03
manizzle has joined #ocaml
20:04
hugomg has quit [Ping timeout: 245 seconds]
20:04
bytbox has quit [Ping timeout: 256 seconds]
20:05
thomasga has joined #ocaml
20:08
dsheets_ has quit [Ping timeout: 256 seconds]
20:08
bytbox has joined #ocaml
20:09
manud has joined #ocaml
20:14
jonludlam has joined #ocaml
20:15
WraithM has quit [Quit: leaving]
20:20
hhugo has quit [Ping timeout: 255 seconds]
20:21
def` has quit [Ping timeout: 245 seconds]
20:22
manizzle has quit [Ping timeout: 244 seconds]
20:31
davine has joined #ocaml
20:32
ollehar has quit [Ping timeout: 250 seconds]
20:32
davine has left #ocaml [#ocaml]
20:40
manizzle has joined #ocaml
20:42
samuel02 has quit []
20:53
lordkryss has quit [Quit: Connection closed for inactivity]
20:57
chambart has joined #ocaml
20:59
def` has joined #ocaml
21:08
_weykent is now known as weykent
21:12
WraithM has joined #ocaml
21:13
MercurialAlchemi has quit [Remote host closed the connection]
21:14
MercurialAlchemi has joined #ocaml
21:14
ikaros has quit [Quit: Ex-Chat]
21:21
oscar_toro has quit [Ping timeout: 250 seconds]
21:22
demonimin has quit [Remote host closed the connection]
21:34
AlexRussia has quit [Ping timeout: 258 seconds]
21:36
AlexRussia has joined #ocaml
21:42
<
companion_cube >
looks like Toml's error locations are.... weird
21:45
Fuzzy has joined #ocaml
21:49
demonimin has joined #ocaml
21:53
lordkryss has joined #ocaml
21:55
Hannibal_Smith has quit [Quit: Leaving]
21:56
def` has quit [Ping timeout: 252 seconds]
22:01
MrScout_ has joined #ocaml
22:02
matason has joined #ocaml
22:04
manizzle has quit [Remote host closed the connection]
22:04
matason has quit [Client Quit]
22:04
MrScout__ has joined #ocaml
22:04
manizzle has joined #ocaml
22:04
MrScout has quit [Ping timeout: 272 seconds]
22:05
MrScout_ has quit [Read error: Connection reset by peer]
22:09
ollehar has joined #ocaml
22:16
BitPuffin has quit [Ping timeout: 272 seconds]
22:24
AlexRussia has quit [Quit: WeeChat 1.1-dev]
22:24
AlexRussia has joined #ocaml
22:28
tane has quit [Quit: Verlassend]
22:32
enquora has quit [Quit: enquora]
22:35
Fuzzier has joined #ocaml
22:35
Fuzzy has quit [Ping timeout: 250 seconds]
22:40
AlexRussia has quit [Ping timeout: 260 seconds]
22:47
Fuzzy has joined #ocaml
22:50
Fuzzier has quit [Ping timeout: 256 seconds]
22:50
AlexRussia has joined #ocaml
22:50
jao has quit [Ping timeout: 250 seconds]
22:52
matason has joined #ocaml
22:55
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
22:56
thomasga has quit [Quit: Leaving.]
22:56
AlexRussia has quit [Ping timeout: 250 seconds]
23:00
matason has quit [Read error: Connection reset by peer]
23:03
demonimin has quit [Remote host closed the connection]
23:08
AlexRussia has joined #ocaml
23:09
ollehar has quit [Ping timeout: 244 seconds]
23:09
bytbox has quit [Remote host closed the connection]
23:12
claudiuc has joined #ocaml
23:15
MercurialAlchemi has quit [Ping timeout: 255 seconds]
23:15
MrScout__ has quit [Remote host closed the connection]
23:16
MrScout has joined #ocaml
23:16
travisbrady has quit [Quit: travisbrady]
23:17
claudiuc_ has joined #ocaml
23:17
AlexRussia has quit [Quit: WeeChat 1.1-dev]
23:18
AlexRussia has joined #ocaml
23:18
Fuzzier has joined #ocaml
23:20
Fuzzy has quit [Ping timeout: 258 seconds]
23:20
claudiuc has quit [Ping timeout: 265 seconds]
23:20
Fuzzy has joined #ocaml
23:22
Fuzzier has quit [Ping timeout: 245 seconds]
23:24
libertas has joined #ocaml
23:28
claudiuc has joined #ocaml
23:31
claudiuc has quit [Remote host closed the connection]
23:31
AlexRussia has quit [Ping timeout: 245 seconds]
23:31
claudiuc_ has quit [Ping timeout: 250 seconds]
23:31
claudiuc has joined #ocaml
23:33
AlexRussia has joined #ocaml
23:38
chambart has quit [Ping timeout: 258 seconds]
23:39
chambart has joined #ocaml
23:40
demonimin has joined #ocaml
23:41
Fuzzier has joined #ocaml
23:42
struktured has quit [Ping timeout: 258 seconds]
23:43
Fuzzy has quit [Ping timeout: 245 seconds]
23:47
claudiuc has quit [Read error: Connection reset by peer]
23:47
claudiuc has joined #ocaml
23:49
struktured has joined #ocaml
23:49
Arsenik has quit [Remote host closed the connection]
23:49
rand000 has quit [Quit: leaving]
23:52
demonimin has quit [Remote host closed the connection]
23:54
travisbrady has joined #ocaml
23:55
claudiuc has quit [Remote host closed the connection]
23:55
claudiuc has joined #ocaml
23:56
demonimin has joined #ocaml
23:56
nojb has joined #ocaml
23:58
nojb has quit [Client Quit]