00:02
nojb has joined #ocaml
00:04
NoNNaN has quit [Ping timeout: 250 seconds]
00:09
AlexRussia has quit [Quit: WeeChat 1.1-dev]
00:09
AlexRussia has joined #ocaml
00:11
chaptastic has quit [Read error: Connection reset by peer]
00:12
malc_ has joined #ocaml
00:13
chaptastic has joined #ocaml
00:18
jonludlam has quit [Ping timeout: 264 seconds]
00:20
NoNNaN has joined #ocaml
00:21
jonludlam has joined #ocaml
00:24
Submarine has joined #ocaml
00:33
madroach has quit [Ping timeout: 250 seconds]
00:39
nojb has quit [Quit: nojb]
00:40
NoNNaN has quit [Remote host closed the connection]
00:55
nojb has joined #ocaml
00:57
araujo has quit [Ping timeout: 272 seconds]
01:03
chambart has quit [Ping timeout: 264 seconds]
01:12
nojb has quit [Quit: nojb]
01:13
Simn has quit [Quit: Leaving]
01:13
BitPuffin has joined #ocaml
01:17
claudiuc has quit [Ping timeout: 244 seconds]
01:21
antinomy has quit [Ping timeout: 260 seconds]
01:23
claudiuc has joined #ocaml
01:32
tristero has quit [Quit: tristero]
01:33
claudiuc has quit [Ping timeout: 250 seconds]
01:34
struktured has quit [Ping timeout: 240 seconds]
01:35
antinomy has joined #ocaml
01:35
jonludlam has quit [Ping timeout: 250 seconds]
01:35
claudiuc has joined #ocaml
01:38
jwatzman|work has quit [Quit: jwatzman|work]
01:41
claudiuc has quit [Ping timeout: 255 seconds]
01:42
struktured has joined #ocaml
01:43
malc_ has quit [Quit: leaving]
01:48
jao has joined #ocaml
01:48
jao has quit [Changing host]
01:48
jao has joined #ocaml
01:48
travisbrady has quit [Quit: travisbrady]
01:50
q66 has quit [Quit: Leaving]
01:54
nadako has quit [Quit: Leaving]
02:07
araujo has joined #ocaml
02:15
nojb has joined #ocaml
02:15
nojb has quit [Client Quit]
02:16
manizzle has quit [Ping timeout: 252 seconds]
02:23
Submarine has quit [Remote host closed the connection]
02:27
darkf has joined #ocaml
02:33
Fuzzier has quit []
02:45
MrScout_ has joined #ocaml
02:45
boogie has quit [Remote host closed the connection]
02:48
MrScout has quit [Ping timeout: 258 seconds]
02:49
MrScout_ has quit [Ping timeout: 258 seconds]
02:51
ygrek_ has joined #ocaml
03:01
badkins has quit []
03:03
travisbrady has joined #ocaml
03:12
seanmcl has joined #ocaml
03:14
jonludlam has joined #ocaml
03:15
manizzle has joined #ocaml
03:25
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
03:26
manizzle has quit [Ping timeout: 245 seconds]
03:31
BitPuffin has quit [Ping timeout: 272 seconds]
03:39
shinnya has joined #ocaml
03:41
samrat has joined #ocaml
03:58
jonludlam has quit [Ping timeout: 245 seconds]
03:58
struktured has quit [Ping timeout: 258 seconds]
03:58
shinnya has quit [Ping timeout: 264 seconds]
04:03
lordkryss has quit [Quit: Connection closed for inactivity]
04:10
antinomy has quit [Ping timeout: 260 seconds]
04:23
NoNNaN has joined #ocaml
04:23
travisbrady has quit [Quit: travisbrady]
04:25
MrScout has joined #ocaml
04:35
jao has quit [Ping timeout: 250 seconds]
04:37
jhaberstro has joined #ocaml
04:51
samrat has quit [Quit: Computer has gone to sleep.]
04:55
MrScout has quit [Remote host closed the connection]
04:55
MrScout has joined #ocaml
05:00
MrScout has quit [Ping timeout: 264 seconds]
05:05
darkf_ has joined #ocaml
05:07
darkf has quit [Ping timeout: 258 seconds]
05:10
darkf has joined #ocaml
05:12
WraithM has quit [Ping timeout: 265 seconds]
05:13
manud has joined #ocaml
05:13
darkf_ has quit [Ping timeout: 258 seconds]
05:17
WraithM has joined #ocaml
05:18
chinglish has joined #ocaml
05:22
manud has quit [Quit: Be back later ...]
05:29
manud has joined #ocaml
05:33
samrat has joined #ocaml
05:37
manud has quit [Quit: Be back later ...]
05:38
ygrek_ has quit [Ping timeout: 272 seconds]
05:56
ggole has joined #ocaml
05:58
Submarine has joined #ocaml
05:58
Submarine has joined #ocaml
05:58
Submarine has quit [Changing host]
05:59
manizzle has joined #ocaml
06:25
manizzle has quit [Ping timeout: 260 seconds]
06:27
ygrek_ has joined #ocaml
06:31
manizzle has joined #ocaml
06:33
manizzle has quit [Max SendQ exceeded]
06:34
manizzle has joined #ocaml
06:37
manizzle has quit [Max SendQ exceeded]
06:38
manizzle has joined #ocaml
06:53
manizzle has quit [Read error: Connection timed out]
06:54
MercurialAlchemi has joined #ocaml
06:55
manizzle has joined #ocaml
07:01
keen______ has joined #ocaml
07:02
keen_____ has quit [Ping timeout: 244 seconds]
07:06
ygrek_ has quit [Ping timeout: 252 seconds]
07:08
libertas has quit [Ping timeout: 264 seconds]
07:10
libertas has joined #ocaml
07:11
manizzle has quit [Read error: Connection timed out]
07:12
manizzle has joined #ocaml
07:22
ollehar has joined #ocaml
07:23
ollehar has quit [Client Quit]
07:24
AlexRussia has quit [Quit: WeeChat 1.1-dev]
07:34
ygrek_ has joined #ocaml
07:40
manizzle has quit [Remote host closed the connection]
07:41
badon has joined #ocaml
07:53
jhaberstro has quit [Quit: jhaberstro]
07:59
MercurialAlchemi has quit [Quit: Lost terminal]
07:59
MercurialAlchemi has joined #ocaml
08:03
johnf has joined #ocaml
08:05
johnf_ has quit [Ping timeout: 250 seconds]
08:16
kido1412 has joined #ocaml
08:18
<
kido1412 >
I tried `open Core.Std;;` in utop, it success. But when I `open Async.Std;;`, it shows "Error: Unbound module Async". What's going on?
08:19
<
whitequark >
#require "async"
08:22
<
kido1412 >
thank you:) It works!
08:28
arj has joined #ocaml
08:32
jonludlam has joined #ocaml
08:35
matason has joined #ocaml
08:35
matason has quit [Client Quit]
08:38
larhat has joined #ocaml
08:46
thomasga has joined #ocaml
08:47
kido1412 has quit [Ping timeout: 246 seconds]
08:54
psy_ has quit [Ping timeout: 244 seconds]
08:58
oscar_toro has joined #ocaml
08:59
matason has joined #ocaml
08:59
manud has joined #ocaml
09:10
ebzzry__ has quit [Remote host closed the connection]
09:11
ebzzry__ has joined #ocaml
09:24
bezirg has joined #ocaml
09:33
avsm has joined #ocaml
09:36
manud has quit [Quit: Be back later ...]
09:44
oscar_toro has quit [Ping timeout: 258 seconds]
10:09
pgomes has joined #ocaml
10:10
oscar_toro has joined #ocaml
10:11
q66 has joined #ocaml
10:22
Simn has joined #ocaml
10:31
BitPuffin has joined #ocaml
10:36
q66 has quit [Quit: Leaving]
10:41
kakadu has joined #ocaml
10:46
jonludlam has quit [Quit: Coyote finally caught me]
10:52
kakadu has quit [Ping timeout: 246 seconds]
10:54
lordkryss has joined #ocaml
10:56
kakadu has joined #ocaml
11:02
ollehar has joined #ocaml
11:03 _5kg_ has quit [Ping timeout: 272 seconds]
11:11
BitPuffin has quit [Ping timeout: 245 seconds]
11:12
ikaros has joined #ocaml
11:15
chambart has joined #ocaml
11:19
chambart has quit [Ping timeout: 252 seconds]
11:22
dsheets_ has joined #ocaml
11:26
thomasga has quit [Quit: Leaving.]
11:31
def` has joined #ocaml
11:34
manizzle has joined #ocaml
11:39
samrat has quit [Quit: Computer has gone to sleep.]
11:39
Submarine has quit [Quit: Leaving]
11:40
ygrek_ has quit [Ping timeout: 240 seconds]
11:41
arj has quit [Ping timeout: 244 seconds]
11:48 _5kg_ has joined #ocaml
11:54
pgomes has joined #ocaml
11:57
jonludlam has joined #ocaml
12:03
arj has joined #ocaml
12:04
acieroid has quit [Ping timeout: 264 seconds]
12:06
thomasga has joined #ocaml
12:07
<
Leonidas >
is it possible to define extern foo : int -> "NAME_OF_SOME_C_CONSTANT"?
12:07
<
Leonidas >
I guess not?
12:08
arj has quit [Ping timeout: 252 seconds]
12:08
<
whitequark >
that doesn't make any sense
12:09
<
whitequark >
extern has no relationship whatsoever to C, except for the C ABI
12:11
<
mrvn >
"NAME_OF_SOME_C_CONSTANT" is not a type
12:12
<
mrvn >
Leonidas: you need: extern foo : unit -> int and make that a function returning the C constant as ocaml value
12:13
psy_ has joined #ocaml
12:14
<
mrvn >
Can ctypes access C variables directly?
12:14
<
Leonidas >
yes, that's what i am currently doing
12:14
<
Leonidas >
mrvn: I don't think so
12:15
<
whitequark >
mrvn: yes
12:15
<
mrvn >
Odd. They are just symbols just like functions. The same thing should work for them.
12:15
<
Leonidas >
whitequark: DEBUG_METADATA_VERSION seems not to get exposed to llvm-c. Should I patch that as well?
12:16
<
whitequark >
Leonidas: yes
12:16
<
mrvn >
whitequark/def: yes as in it can?
12:17
<
whitequark >
make a function to return it
12:17
<
ggole >
C constants are usually a preprocessor thing
12:17
<
def` >
mrvn: foreign_value
12:17
<
ggole >
So there may be nothing to link to in any case.
12:17
<
mrvn >
Leonidas: ^^ there you go then
12:17
<
def` >
it's just c symbol, you get a pointer on it, interpret it with the appropriate representation
12:18
<
def` >
(and for NAME_OF_SOME_C_CONSTANT, it has to exists as a symbol, not as a preprocessor definition)
12:18
arj has joined #ocaml
12:19
girrig has quit [Ping timeout: 255 seconds]
12:23
girrig has joined #ocaml
12:25
eyyub has joined #ocaml
12:26
samrat has joined #ocaml
12:29
claudiuc has joined #ocaml
12:31
oscar_toro has quit [Ping timeout: 258 seconds]
12:32
<
Leonidas >
mrvn: yep, but turns out the C_CONSTANT is not defined in C, it is rather a C++_CONSTANT, so I have to expose it first
12:32
<
mrvn >
c++ name mangling sucks for other languages
12:32
<
Leonidas >
it is a key in an enum, so I'm not sure it even gets a symbol.
12:33
<
mrvn >
enum values are literals.
12:33
<
Leonidas >
looks like this day will be spend rebuilding llvm over and over
12:33
<
mrvn >
you should map the enum to a variant.
12:34
thomasga has quit [Quit: Leaving.]
12:34
jerith_ is now known as jerith
12:34
<
Leonidas >
mrvn: but I need the integer value that it is set to.
12:36
<
ggole >
Nice friction rash you're working on there.
12:42
<
ggole >
"Friction" meaning non-substantial but very real difficulties in getting different bits of software to talk
12:45
<
Leonidas >
yeah, instead of changing a hardcoded 1 to a 2 in my software, I am dragging the constant from C++ to C to OCaml. Probably not worth it.
12:46
BitPuffin has joined #ocaml
12:47
nadako has joined #ocaml
12:49
ollehar has quit [Ping timeout: 245 seconds]
12:56
shinnya has joined #ocaml
12:57
ollehar has joined #ocaml
13:00
claudiuc_ has joined #ocaml
13:01
claudiuc has quit [Ping timeout: 264 seconds]
13:03
pdewacht has quit [Ping timeout: 250 seconds]
13:19
claudiuc_ has quit [Ping timeout: 264 seconds]
13:21
claudiuc has joined #ocaml
13:22
Thooms has joined #ocaml
13:24
oscar_toro has joined #ocaml
13:31
ggole_ has joined #ocaml
13:33
<
flux >
if I have an expression of form f = x * y / z / a, x y z a being integers, and I want to solve x, y, z, a so that f is as close to a given number as possible, is there some general solution to this?
13:34
ggole has quit [Ping timeout: 265 seconds]
13:34
ollehar has quit [Ping timeout: 244 seconds]
13:36
<
flux >
forgot to mention all those numbers have ranges
13:37
<
flux >
well, the space is probably not too large to just brute force. and that can be optimized a bit by just solving for the nearest unknown integer
13:38
<
Leonidas >
whitequark: 0l
13:38
thomasga has joined #ocaml
13:38
<
Thooms >
perhaps some kind of dichotomy within a backtracking
13:38
<
def` >
and since it's monotone, there is probably no need to do a complete brute force
13:38
<
Leonidas >
whitequark: let () = Llvm_executionengine.get_pointer_to_global f
13:38
<
Leonidas >
(Foreign.funptr Ctypes.(void @-> returning void)) ee () in
13:39
<
Leonidas >
this segfaults, but I think it should be correct
13:39
<
Leonidas >
define private void @reset_test_environment() #4 {
13:40
<
Leonidas >
that is the definition of that function in the llvm-code
13:41
<
flux >
standard optimization algorithms would do fine for finding good values, but there are local minimas
13:41
<
flux >
actually no, standard algorithms don't like to work with integers..
13:41
<
flux >
but perhaps still suitable.
13:42
<
def` >
yeah, integer linear programming is a topic on its own
13:42
<
def` >
there are solvers in ocaml
13:43
samrat has quit [Ping timeout: 260 seconds]
13:44
<
Drup >
solvers
*in* OCaml ?
13:44
<
Drup >
I know bindings
13:45
<
def` >
yeah, bindings sorry
13:49
struktured has joined #ocaml
13:53
<
def` >
flux: can't you just reformulate as f = k1 / k2, where
13:53
<
def` >
k1 \in (x_min + y_min, x_max+y_max),
13:53
<
def` >
k2 \in (z_min + a_min, z_max+a_max)
13:54
<
def` >
you solve k1 and k2, then it's trivial to derive possible values for x, y, z and a.
13:55
ollehar has joined #ocaml
13:58
ygrek has joined #ocaml
14:03
thomasga has quit [Quit: Leaving.]
14:04
dsheets_ has quit [Ping timeout: 250 seconds]
14:05
samrat has joined #ocaml
14:05
seanmcl has joined #ocaml
14:06
bezirg has quit [Ping timeout: 255 seconds]
14:09
acieroid has joined #ocaml
14:10
AlexRussia has joined #ocaml
14:22
travisbrady has joined #ocaml
14:23
eyyub1 has joined #ocaml
14:25
eyyub has quit [Ping timeout: 258 seconds]
14:26
Thooms has quit [Quit: WeeChat 1.0.1]
14:33
eyyub1 has quit [Ping timeout: 255 seconds]
14:36
pdewacht has joined #ocaml
14:36
dsheets has joined #ocaml
14:38
thomasga has joined #ocaml
14:39
<
struktured >
def`: merlin-ppx is working great on one of my other projects. love it
14:40
<
companion_cube >
indeed
14:42
eyyub1 has joined #ocaml
14:45
NoNNaN has quit [Remote host closed the connection]
14:45
oscar_toro has quit [Ping timeout: 264 seconds]
14:45
NoNNaN has joined #ocaml
14:50
arj has quit [Ping timeout: 250 seconds]
14:52
slash^ has joined #ocaml
14:54
arj has joined #ocaml
14:55
eyyub1 has quit [Ping timeout: 255 seconds]
14:55
antinomy has joined #ocaml
14:55
ollehar has quit [Ping timeout: 265 seconds]
14:59 _5kg_ has quit [Quit: WeeChat 1.0.1]
15:01
darkf has quit [Ping timeout: 258 seconds]
15:06
seanmcl has quit [Read error: Connection reset by peer]
15:06
seanmcl has joined #ocaml
15:13
arj has quit [Quit: Leaving.]
15:25
badkins has joined #ocaml
15:26
bezirg has joined #ocaml
15:28
ggole_ is now known as ggole
15:32
<
Leonidas >
(also roughly the same when skipping disposing of an execution engine)
15:33
hugomg has joined #ocaml
15:36
struk_at_work has joined #ocaml
15:45
<
flux >
def`, maybe next time when I have more variables :-)
15:45
<
flux >
this loop was fast simple&fast enough for my limited number ranges. even after adding a dimension.
15:48
ollehar has joined #ocaml
15:50
travisbrady has quit [Quit: travisbrady]
15:52
def` has quit [Ping timeout: 240 seconds]
15:53
claudiuc has quit [Ping timeout: 264 seconds]
16:02
\q has quit [Ping timeout: 240 seconds]
16:04
bytbox has joined #ocaml
16:04
claudiuc has joined #ocaml
16:06
seanmcl has quit [Read error: Connection reset by peer]
16:07
seanmcl has joined #ocaml
16:09
bytbox has quit [Ping timeout: 272 seconds]
16:09
claudiuc has quit [Read error: Connection reset by peer]
16:13
chambart has joined #ocaml
16:14
travisbrady has joined #ocaml
16:22
rand000 has joined #ocaml
16:23
bytbox has joined #ocaml
16:27
claudiuc has joined #ocaml
16:31
Denommus has joined #ocaml
16:32
claudiuc has quit [Ping timeout: 260 seconds]
16:46
arj has joined #ocaml
16:58
MrScout has joined #ocaml
16:59
oscar_toro has joined #ocaml
17:08
larhat has quit [Quit: Leaving.]
17:12
boogie has joined #ocaml
17:17
chambart has quit [Ping timeout: 245 seconds]
17:17
citrucel has joined #ocaml
17:18
tharugrim has quit [Ping timeout: 250 seconds]
17:18
tharugrim has joined #ocaml
17:22
WraithM has quit [Ping timeout: 264 seconds]
17:25
jonludlam has quit [Ping timeout: 255 seconds]
17:29
Arsenik has joined #ocaml
17:30
jwatzman|work has joined #ocaml
17:34
kakadu has quit [Quit: Page closed]
17:37
ikaros has quit [Quit: Ex-Chat]
17:43
ollehar1 has joined #ocaml
17:43
WraithM has joined #ocaml
17:46
arj has quit [Quit: Leaving.]
17:48
jbrown has quit [Remote host closed the connection]
17:48
WraithM has quit [Ping timeout: 256 seconds]
17:48
def` has joined #ocaml
17:52
jbrown has joined #ocaml
18:01
dsheets has quit [Ping timeout: 245 seconds]
18:06
milosn has quit [Remote host closed the connection]
18:11
avsm has quit [Quit: Leaving.]
18:14
ollehar has quit [Ping timeout: 240 seconds]
18:18
manizzle has quit [Ping timeout: 264 seconds]
18:19
pyon is now known as pyon-nope
18:19
jonludlam has joined #ocaml
18:22
pyon-nope is now known as pyon
18:24
travisbrady has quit [Quit: travisbrady]
18:31
ollehar has joined #ocaml
18:32
travisbrady has joined #ocaml
18:32
ygrek has quit [Ping timeout: 245 seconds]
18:33
<
thomasga >
any idea where to dig to fix wrong link order of ocamlbuild?
18:33
<
companion_cube >
in which case does it happen? :/
18:35
<
companion_cube >
strange, I never had such a problem
18:35
<
thomasga >
got cmxa in the wrong order when linking
18:35
<
companion_cube >
ah, you mean for external libraries
18:35
<
thomasga >
nope, internals
18:36
<
companion_cube >
doesn't oasis just use the order in which you specify the libraries?
18:36
nadako has left #ocaml ["Leaving"]
18:39
<
thomasga >
haaa found it
18:40
<
thomasga >
if you don't specify all the deps in BuildDepends, it compute the transitive depencency and put the new stuff in some random order
18:41
<
thomasga >
so adding the transitive deps in the good order fix it, thx!
18:43
johnf has quit [Quit: Leaving]
18:45
q66[lap] has quit [Ping timeout: 250 seconds]
18:48
q66[lap] has joined #ocaml
18:48
<
struk_at_work >
thomasga:really? it respects order if you are exhaustive?
18:49
<
thomasga >
for local libs it seems so, yes
18:49
<
companion_cube >
because it doesn't have a meta, I guess
18:49
<
thomasga >
well, he got an _oasis
18:49
<
struk_at_work >
that might be a way for ppx_imports to be first without editing _tags
18:54
ygrek has joined #ocaml
18:56
manizzle has joined #ocaml
18:57
BitPuffin has quit [Ping timeout: 240 seconds]
19:01
milosn has joined #ocaml
19:01
manizzle has quit [Ping timeout: 265 seconds]
19:06
AlexRussia has quit [Quit: WeeChat 1.1-dev]
19:07
def` has quit [Ping timeout: 245 seconds]
19:08
AlexRussia has joined #ocaml
19:08
manizzle has joined #ocaml
19:16
rgrinberg has joined #ocaml
19:18
<
rgrinberg >
Drup: ping vouillon about re :)
19:18
<
rgrinberg >
get companion_cube's prs merged
19:27
claudiuc has joined #ocaml
19:28
matason has quit [Quit: Leaving...]
19:29
_andre has quit [Quit: leaving]
19:35
bezirg has quit [Ping timeout: 244 seconds]
19:37
q66 has joined #ocaml
19:37
ygrek has quit [Ping timeout: 245 seconds]
19:41
srcerer has quit [Ping timeout: 272 seconds]
19:41
srcerer has joined #ocaml
19:42
fraggle-boate has quit [Remote host closed the connection]
19:42
jao has joined #ocaml
19:42
jao has quit [Changing host]
19:42
jao has joined #ocaml
19:43
srcerer has quit [Client Quit]
19:46
fraggle-boate has joined #ocaml
19:47
bytbox has quit [Remote host closed the connection]
19:49
srcerer has joined #ocaml
19:50
q66 has quit [Quit: Leaving]
19:50
q66 has joined #ocaml
19:51
eyyub has joined #ocaml
19:53
flasheater has quit [Remote host closed the connection]
19:55
slash^ has quit [Read error: Connection reset by peer]
19:55
bugabinga has joined #ocaml
19:58
claudiuc has quit [Read error: Connection reset by peer]
19:59
claudiuc has joined #ocaml
20:04
hugomg has quit [Ping timeout: 240 seconds]
20:10
rgrinberg has quit [Read error: Connection reset by peer]
20:10
rgrinberg1 has joined #ocaml
20:14
bytbox has joined #ocaml
20:25
claudiuc_ has joined #ocaml
20:26
claudiuc has quit [Read error: Connection reset by peer]
20:32
ontologiae has joined #ocaml
20:39
claudiuc_ has quit [Read error: Connection reset by peer]
20:40
bytbox has quit [Ping timeout: 252 seconds]
20:40
claudiuc has joined #ocaml
20:40
AlexRussia has quit [Ping timeout: 250 seconds]
20:41
thomasga has quit [Ping timeout: 265 seconds]
20:44
bytbox has joined #ocaml
20:44
ontologiae has quit [Ping timeout: 240 seconds]
20:48
jonludlam has quit [Ping timeout: 250 seconds]
20:49
avsm has joined #ocaml
20:55
thomasga has joined #ocaml
20:59
claudiuc has quit [Ping timeout: 258 seconds]
20:59
BitPuffin has joined #ocaml
21:01
emery has quit [Ping timeout: 250 seconds]
21:02
<
jbalnit >
what is |+|
21:02
slash^ has joined #ocaml
21:04
rgrinberg1 has quit [Quit: Leaving.]
21:05
thomasga has quit [Quit: Leaving.]
21:08
rgrinberg has joined #ocaml
21:08
AlexRussia has joined #ocaml
21:10
emery has joined #ocaml
21:11
pgomes has joined #ocaml
21:12
slash^ has quit [Read error: Connection reset by peer]
21:14
claudiuc has joined #ocaml
21:14
thomasga has joined #ocaml
21:18
manud has joined #ocaml
21:19
claudiuc has quit [Ping timeout: 256 seconds]
21:20
avsm has quit [Quit: Leaving.]
21:20
Thooms has joined #ocaml
21:21
claudiuc has joined #ocaml
21:25
matason has joined #ocaml
21:26
manud has quit [Quit: Be back later ...]
21:27
milosn has quit [Ping timeout: 256 seconds]
21:29
tharugrim has quit [Ping timeout: 240 seconds]
21:30
claudiuc has quit [Ping timeout: 244 seconds]
21:32
bytbox has quit [Remote host closed the connection]
21:32
manud has joined #ocaml
21:33
<
adrien >
looks like a tie fighter
21:34
badkins has quit []
21:34
tharugrim has joined #ocaml
21:37
mfp has quit [Read error: Connection reset by peer]
21:37
mfp has joined #ocaml
21:38
pgomes has quit [Quit: Leaving]
21:38
dmiles_afk has quit [Ping timeout: 240 seconds]
21:39
matason has quit [Quit: Leaving...]
21:43
manud has quit [Quit: Be back later ...]
21:45
matason has joined #ocaml
21:46
manud has joined #ocaml
21:47
shinnya has quit [Ping timeout: 256 seconds]
21:47
claudiuc has joined #ocaml
21:47
matason has quit [Client Quit]
21:53
shinnya has joined #ocaml
21:56
manud has quit [Quit: Be back later ...]
21:58
manud has joined #ocaml
22:01
bytbox has joined #ocaml
22:05
rgrinberg has quit [Quit: Leaving.]
22:06
claudiuc has quit [Ping timeout: 260 seconds]
22:06
jonludlam has joined #ocaml
22:07
bytbox has quit [Ping timeout: 252 seconds]
22:07
milosn has joined #ocaml
22:08
claudiuc has joined #ocaml
22:09
* rwmjones
wonders if natdynlink works in this case:
22:10
<
rwmjones >
C main program -> dlopen C .so file containing OCaml code -> natdynlink .cmxs file
22:10
<
rwmjones >
guess I'm going to find out
22:15
ontologiae has joined #ocaml
22:22
manud has quit [Quit: Be back later ...]
22:28
jbrown has quit [Remote host closed the connection]
22:29
Simn has quit [Quit: Leaving]
22:32
jbrown has joined #ocaml
22:32
claudiuc has quit [Ping timeout: 265 seconds]
22:36
Arsenik has quit [Ping timeout: 250 seconds]
22:47
MercurialAlchemi has quit [Ping timeout: 260 seconds]
22:48
claudiuc has joined #ocaml
22:49
Arsenik has joined #ocaml
22:49
claudiuc has quit [Remote host closed the connection]
22:49
waneck has joined #ocaml
22:50
ikaros has joined #ocaml
22:51
claudiuc has joined #ocaml
23:02
patojo has joined #ocaml
23:03
boogie has quit [Read error: Connection reset by peer]
23:08
claudiuc has quit [Ping timeout: 264 seconds]
23:10
seanmcl has quit [Read error: Connection reset by peer]
23:11
seanmcl has joined #ocaml
23:12
Arsenik has quit [Remote host closed the connection]
23:14
oscar_toro has quit [Ping timeout: 258 seconds]
23:15
claudiuc has joined #ocaml
23:20
jwatzman|work has quit [Quit: jwatzman|work]
23:21
claudiuc has quit [Read error: Connection reset by peer]
23:22
oscar_toro has joined #ocaml
23:22
claudiuc has joined #ocaml
23:24
ikaros has quit [Quit: Ex-Chat]
23:24
travisbrady has quit [Quit: travisbrady]
23:26
jwatzman|work has joined #ocaml
23:28
claudiuc has quit [Ping timeout: 255 seconds]
23:32
claudiuc has joined #ocaml
23:37
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
23:37
claudiuc has quit [Ping timeout: 240 seconds]
23:41
claudiuc has joined #ocaml
23:43
bytbox has joined #ocaml
23:44
eyyub has quit [Ping timeout: 265 seconds]
23:44
AltGr has joined #ocaml
23:49
<
Drup >
whitequark: rebase your no-camlp4 PR on lwt, I'll review if you do it now.
23:49
badon has quit [Quit: Leaving]
23:49
WraithM has joined #ocaml
23:49
AlexRussia has quit [Ping timeout: 240 seconds]
23:51
rgrinberg has joined #ocaml
23:55
rand000 has quit [Quit: leaving]
23:57
badon has joined #ocaml