00:02
nikki93 has joined #ocaml
00:04
maattdd__ has joined #ocaml
00:09
maattdd__ has quit [Ping timeout: 264 seconds]
00:17
ollehar1 has quit [Ping timeout: 252 seconds]
00:28
WraithM has quit [Ping timeout: 265 seconds]
00:31
shinnya has joined #ocaml
00:41
ontologiae has quit [Ping timeout: 264 seconds]
00:54
esden has quit [Ping timeout: 252 seconds]
00:54
steshaw has quit [Ping timeout: 252 seconds]
00:55
msch has quit [Ping timeout: 252 seconds]
00:55
PM has quit [Ping timeout: 252 seconds]
00:55
PM has joined #ocaml
00:55
teiresias has quit [Ping timeout: 252 seconds]
00:55
whitequark has quit [Ping timeout: 252 seconds]
00:55
whitequark has joined #ocaml
00:57
esden has joined #ocaml
00:57
teiresias has joined #ocaml
00:57
msch has joined #ocaml
00:58
steshaw has joined #ocaml
01:14
WraithM has joined #ocaml
01:14
Rotacidni has joined #ocaml
01:19
pyx has quit [Quit: WeeChat 0.4.3]
01:24
divyanshu has joined #ocaml
01:24
manizzle has quit [Read error: Operation timed out]
01:28
rgrinberg has quit [Quit: Leaving.]
01:29
divyanshu has quit [Read error: Connection reset by peer]
01:31
ruzu2 has joined #ocaml
01:33
ruzu has quit [Ping timeout: 252 seconds]
01:34
divyanshu has joined #ocaml
01:35
divyanshu has quit [Read error: Connection reset by peer]
01:36
xaimus has quit [Quit: leaving]
01:40
divyanshu has joined #ocaml
01:47
claudiuc has joined #ocaml
01:50
divyanshu has quit [Read error: Connection reset by peer]
01:55
divyanshu has joined #ocaml
01:56
dapz has joined #ocaml
01:57
ninegrid has joined #ocaml
02:00
divyanshu has quit [Read error: Connection reset by peer]
02:01
rgrinberg has joined #ocaml
02:03
maattdd__ has joined #ocaml
02:04
claudiuc_ has joined #ocaml
02:04
tlockney_away is now known as tlockney
02:06
divyanshu has joined #ocaml
02:07
claudiuc has quit [Ping timeout: 252 seconds]
02:08
maattdd__ has quit [Ping timeout: 265 seconds]
02:20
arboris has joined #ocaml
02:30
malo has quit [Quit: Leaving]
02:30
claudiuc has joined #ocaml
02:34
claudiuc_ has quit [Ping timeout: 252 seconds]
02:35
<
whitequark >
type t = A of string * string;;
02:35
<
whitequark >
A ("bar", "bar");; works
02:36
<
whitequark >
let x = "bar", "bar" in A x;; fails ಠ_ಠ
02:36
<
whitequark >
this is really annoying
02:37
divyanshu has quit [Ping timeout: 240 seconds]
02:38
<
tautologico >
type t2 = B of (int * int)
02:39
<
tautologico >
utop # let x = (3, 4) in B x;;
02:39
<
tautologico >
- : t2 = B (3, 4)
02:39
<
tautologico >
A is a constructor with 2 arguments
02:39
<
tautologico >
B is a constructor with 1 argument (that is a tuple)
02:41
divyanshu has joined #ocaml
02:46
<
whitequark >
tautologico: I know.
02:46
<
whitequark >
it still
*is* really annoying
02:46
<
tautologico >
corner cases
02:47
<
tautologico >
I don't know why constructors in OCaml aren't functions either
02:47
<
whitequark >
well, because you can't pattern-match over functions in general
02:50
<
tautologico >
that doesn't mean they can't be a pattern and an expression
02:50
<
tautologico >
as in SML, Haskell, etc
02:51
<
tautologico >
actually they already are, but they're treated especially as expressions, and not as functions
02:51
<
whitequark >
I heard it has to do something with constructors embedding the arguments in the memory block allocated for the constructor
02:51
<
whitequark >
frankly that sounds like a bad excuse
02:56
divyanshu has quit [Read error: Connection reset by peer]
02:58
araujo has quit [Quit: Leaving]
03:02
clan has quit [Quit: clan]
03:02
divyanshu has joined #ocaml
03:02
steshaw has quit [Ping timeout: 252 seconds]
03:03
maattdd__ has joined #ocaml
03:04
steshaw has joined #ocaml
03:05
racycle__ has joined #ocaml
03:08
maattdd__ has quit [Ping timeout: 276 seconds]
03:08
divyanshu has quit [Ping timeout: 240 seconds]
03:09
clan has joined #ocaml
03:11
divyanshu has joined #ocaml
03:13
nikki93 has quit [Remote host closed the connection]
03:15
cdidd has joined #ocaml
03:17
manizzle has joined #ocaml
03:17
divyanshu has quit [Ping timeout: 240 seconds]
03:19
studybot_ has joined #ocaml
03:19
studybot_ has quit [Remote host closed the connection]
03:19
studybot_ has joined #ocaml
03:20
ygrek has joined #ocaml
03:22
divyanshu has joined #ocaml
03:23
cdidd has quit [Quit: cdidd]
03:24
cdidd has joined #ocaml
03:24
jao has quit [Ping timeout: 252 seconds]
03:25
nikki93 has joined #ocaml
03:26
cdidd has quit [Client Quit]
03:26
racycle__ has quit [Ping timeout: 276 seconds]
03:27
nikki93 has quit [Remote host closed the connection]
03:37
cdidd has joined #ocaml
03:38
racycle__ has joined #ocaml
03:42
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
03:45
manizzle has quit [Read error: Operation timed out]
03:49
divyanshu has quit [Ping timeout: 240 seconds]
03:52
studybot_ has quit [Read error: Connection reset by peer]
03:55
divyanshu has joined #ocaml
03:55
divyanshu has quit [Client Quit]
04:03
cdidd has quit [Quit: cdidd]
04:05
cdidd has joined #ocaml
04:17
michael_lee has joined #ocaml
04:24
divyanshu has joined #ocaml
04:24
siddharthv_away is now known as siddharthv
04:39
Mandus_ has joined #ocaml
04:39
Mandus has quit [Ping timeout: 252 seconds]
04:47
rgrinberg has quit [Quit: Leaving.]
04:49
rgrinberg has joined #ocaml
04:49
nikki93 has joined #ocaml
04:55
jao` has joined #ocaml
04:55
jao` has quit [Changing host]
04:55
jao` has joined #ocaml
04:59
tlockney is now known as tlockney_away
05:02
cdidd_ has joined #ocaml
05:02
cdidd_ has quit [Remote host closed the connection]
05:03
angerman has joined #ocaml
05:03
maattdd__ has joined #ocaml
05:04
angerman has quit [Remote host closed the connection]
05:05
angerman has joined #ocaml
05:05
mdenes has quit [Quit: WeeChat 0.4.2]
05:06
mdenes has joined #ocaml
05:08
maattdd__ has quit [Ping timeout: 240 seconds]
05:09
cdidd has quit [Remote host closed the connection]
05:10
axiles has joined #ocaml
05:10
WraithM has quit [Ping timeout: 276 seconds]
05:12
claudiuc has quit [Remote host closed the connection]
05:14
mister_m has quit [Ping timeout: 255 seconds]
05:15
mister_m has joined #ocaml
05:15
cdidd has joined #ocaml
05:15
j0sh has quit [Ping timeout: 255 seconds]
05:16
angerman has quit [Ping timeout: 255 seconds]
05:16
j0sh has joined #ocaml
05:19
racycle__ has quit [Quit: ZZZzzz…]
05:20
cdidd has quit [Quit: cdidd]
05:22
angerman has joined #ocaml
05:29
struktured has quit [Ping timeout: 265 seconds]
05:30
WraithM has joined #ocaml
05:31
cdidd has joined #ocaml
05:35
divyanshu has quit [Ping timeout: 240 seconds]
05:43
clan has quit [Quit: clan]
05:47
clan has joined #ocaml
05:49
dapz has joined #ocaml
05:49
divyanshu has joined #ocaml
05:50
ygrek has quit [Ping timeout: 252 seconds]
05:59
rgrinberg has quit [Quit: Leaving.]
06:10
jao has joined #ocaml
06:10
jao has quit [Changing host]
06:10
jao has joined #ocaml
06:13
<
adrien >
_obad_: patch seems sound; can't tell about the specifics though since it's a bit early (and the github UI doesn't help)
06:19
Mandus_ is now known as Mandus
06:25
clan has quit [Quit: clan]
06:38
jao has quit [Remote host closed the connection]
06:50
zpe has joined #ocaml
06:51
jao` has quit [Remote host closed the connection]
06:57
adrien_o1w has joined #ocaml
07:00
adrien_oww has quit [Ping timeout: 252 seconds]
07:04
maattdd__ has joined #ocaml
07:08
maattdd__ has quit [Ping timeout: 240 seconds]
07:25
ikaros has joined #ocaml
07:34
Simn has joined #ocaml
07:39
jao has joined #ocaml
07:39
jao has quit [Changing host]
07:39
jao has joined #ocaml
07:50
squiggnet has quit [Ping timeout: 252 seconds]
07:50
zpe has quit [Remote host closed the connection]
07:50
squiggnet has joined #ocaml
07:50
jao has quit [Ping timeout: 255 seconds]
07:52
AltGr has joined #ocaml
08:03
yacks has joined #ocaml
08:03
maattdd__ has joined #ocaml
08:06
Kakadu has joined #ocaml
08:08
maattdd__ has quit [Ping timeout: 252 seconds]
08:25
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
08:42
nikki93 has quit [Remote host closed the connection]
08:49
ollehar has joined #ocaml
08:49
nikki93 has joined #ocaml
08:52
ygrek has joined #ocaml
08:56
avsm has joined #ocaml
08:56
zpe has joined #ocaml
08:58
nikki93 has quit [Remote host closed the connection]
09:02
maattdd__ has joined #ocaml
09:05
cantstanya has quit [Ping timeout: 240 seconds]
09:07
cantstanya has joined #ocaml
09:13
maattdd__ has quit [Ping timeout: 240 seconds]
09:16
eizo has joined #ocaml
09:25
tautologico has quit [Quit: Connection closed for inactivity]
09:28
adrien_o1w is now known as adrien_oww
09:36
ggole has joined #ocaml
09:39
Nuki has joined #ocaml
09:46
eizo has quit [Ping timeout: 240 seconds]
09:48
rand000 has joined #ocaml
09:54
dsheets has joined #ocaml
09:54
ontologiae has joined #ocaml
09:57
eizo has joined #ocaml
10:02
rand000 has quit [Ping timeout: 252 seconds]
10:02
avsm has quit [Quit: Leaving.]
10:05
ontologiae has quit [Quit: WeeChat 0.4.0]
10:18
andreypopp_ is now known as andreypopp
10:21
xaimus has joined #ocaml
10:22
avsm has joined #ocaml
10:24
xaimus has quit [Client Quit]
10:25
Don_Pellegrino|l has quit [Quit: Konversation terminated!]
10:30
thomasga has joined #ocaml
10:31
thomasga has quit [Client Quit]
10:31
thomasga has joined #ocaml
10:36
thomasga has quit [Client Quit]
10:36
lpw25 has joined #ocaml
10:36
dapz has joined #ocaml
10:51
avsm has quit [Quit: Leaving.]
10:53
avsm has joined #ocaml
11:02
jzelinskie has quit [Quit: Connection closed for inactivity]
11:08
Thooms has joined #ocaml
11:13
_andre has joined #ocaml
11:17
avsm has quit [Quit: Leaving.]
11:17
Arsenik has joined #ocaml
11:21
lostcuaz has joined #ocaml
11:26
Thooms has quit [Quit: WeeChat 0.3.8]
11:28
xaimus has joined #ocaml
11:31
pminten has joined #ocaml
11:36
thomasga has joined #ocaml
11:43
thomasga has quit [Ping timeout: 240 seconds]
11:45
ygrek has quit [Ping timeout: 252 seconds]
12:00
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
12:08
<
whitequark >
I made ppx_protobuf sophisticated enough to support parametric polymorphism!
12:08
<
whitequark >
the encoding is somewhat verbose, though, due to all the additional framing
12:16
Nuki has quit [Ping timeout: 250 seconds]
12:17
amirmc has joined #ocaml
12:19
siddharthv is now known as siddharthv_away
12:20
pminten has quit [Quit: Leaving]
12:27
thomasga has joined #ocaml
12:35
Guest12333 has joined #ocaml
12:37
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
12:40
Thooms has joined #ocaml
12:44
Snark has joined #ocaml
12:44
studybot_ has joined #ocaml
12:47
avsm has joined #ocaml
12:51
acrob has joined #ocaml
12:52
<
acrob >
I am doing documentation with ocamlbuild but I don't see any effect from my comment on ml files (mli works)
12:53
<
acrob >
I wrote module name on a .odocl file
12:55
<
adrien_oww >
documentation goes into .mli files
12:56
Rotacidni has quit [Ping timeout: 276 seconds]
12:57
<
acrob >
I only write classic comment on ml files not for documentation
12:59
amirmc has quit [Quit: Leaving.]
13:02
acrob has quit [Quit: Page closed]
13:04
angerman has quit [Quit: Gone]
13:04
michael_lee has quit [Ping timeout: 264 seconds]
13:16
michael_lee has joined #ocaml
13:16
struktured has joined #ocaml
13:16
darkf has quit [Quit: adjacent]
13:19
avsm has quit [Quit: Leaving.]
13:27
pminten has joined #ocaml
13:30
struktured has quit [Ping timeout: 252 seconds]
13:34
studybot_ has quit [Remote host closed the connection]
13:34
studybo__ has joined #ocaml
13:43
divyanshu has quit [Quit: Computer has gone to sleep.]
13:46
jonludlam has joined #ocaml
13:47
axiles has quit [Read error: Operation timed out]
13:48
avsm has joined #ocaml
13:49
axiles has joined #ocaml
13:49
pminten has quit [Ping timeout: 245 seconds]
13:53
axiles has quit [Ping timeout: 265 seconds]
13:54
axiles has joined #ocaml
13:57
avsm has quit [Quit: Leaving.]
14:01
thomasga has quit [Quit: Leaving.]
14:02
ygrek has joined #ocaml
14:18
avsm has joined #ocaml
14:22
divyanshu has joined #ocaml
14:25
tane has joined #ocaml
14:27
shinnya has quit [Ping timeout: 252 seconds]
14:28
tlockney_away is now known as tlockney
14:29
rgrinberg has joined #ocaml
14:30
thomasga has joined #ocaml
14:30
tani has joined #ocaml
14:31
rgrinberg has quit [Client Quit]
14:32
ninegrid has quit [Ping timeout: 240 seconds]
14:34
tane has quit [Ping timeout: 255 seconds]
14:35
ninegrid has joined #ocaml
14:35
jonludlam is now known as jonludlam_afk
14:36
olauzon has joined #ocaml
14:37
zpe has quit [Remote host closed the connection]
14:39
angerman has joined #ocaml
14:47
Rotacidni has joined #ocaml
14:51
rgrinberg has joined #ocaml
14:52
tianon has quit [Ping timeout: 246 seconds]
15:03
Thooms has quit [Quit: WeeChat 0.3.8]
15:09
avsm has quit [Quit: Leaving.]
15:10
rgrinberg has quit [Quit: Leaving.]
15:11
avsm has joined #ocaml
15:17
rgrinberg has joined #ocaml
15:23
studybo__ has quit [Read error: Connection reset by peer]
15:24
tautologico has joined #ocaml
15:26
tianon has joined #ocaml
15:28
ollehar has quit [Ping timeout: 252 seconds]
15:35
avsm has quit [Quit: Leaving.]
15:36
thomasga has quit [Quit: Leaving.]
15:37
thomasga has joined #ocaml
15:39
rz has quit [Quit: Ex-Chat]
15:48
<
_obad_ >
how do I activate lwt syntax in ocp-indent?
15:54
<
_obad_ >
ocp-indent --syntax lwt
15:54
<
_obad_ >
but there is no way to put that in the config file apparently...
15:56
thomasga has quit [Quit: Leaving.]
15:57
racycle has joined #ocaml
15:58
maattdd__ has joined #ocaml
16:00
thomasga has joined #ocaml
16:00
<
_obad_ >
let g:ocp_indent_binary = "ocp-indent --syntax lwt" did it for me
16:01
rgrinberg has quit [Quit: Leaving.]
16:01
eizo has quit [Ping timeout: 240 seconds]
16:02
arj has quit [Quit: Leaving.]
16:04
johnf has quit [Remote host closed the connection]
16:04
rgrinberg has joined #ocaml
16:04
ninegrid has quit [Ping timeout: 265 seconds]
16:05
ikaros has quit [Quit: Ex-Chat]
16:05
ninegrid has joined #ocaml
16:05
Submarine has joined #ocaml
16:05
Submarine has quit [Changing host]
16:05
Submarine has joined #ocaml
16:09
jwatzman|work has joined #ocaml
16:10
ninegrid has quit [Ping timeout: 252 seconds]
16:11
ninegrid has joined #ocaml
16:12
Rotacidni has quit [Ping timeout: 252 seconds]
16:16
<
rgrinberg >
_obad_: try syntax=lwt in your .ocp-indent
16:16
<
_obad_ >
I tried that in ~/.ocp/ocp-indent.config and it didn't work
16:20
Thooms has joined #ocaml
16:20
ninegrid has quit [Ping timeout: 255 seconds]
16:21
ninegrid has joined #ocaml
16:26
avsm has joined #ocaml
16:27
nikki93 has joined #ocaml
16:31
avsm has quit [Ping timeout: 252 seconds]
16:32
<
Drup >
it should, it works for me
16:32
<
arboris >
is there a cyclic dependency between ocp-build and typerex?
16:32
<
_obad_ >
drup: in ~/.ocp/ocp-indent.config?
16:33
thomasga has quit [Ping timeout: 240 seconds]
16:33
<
arboris >
opam install typerex fails with a requirement of ocp-build and opam install ocp-build wants to install typerex
16:34
<
_obad_ >
drup: ah! conf not config
16:34
<
arboris >
i've done a hard reset by removing .opam
16:34
<
Drup >
arboris: typerex shouldn't depend on ocamlfind
16:34
<
arboris >
but that does not not work
16:34
<
Drup >
should only depend on*
16:35
<
arboris >
[ERROR] The compilation of typerex.1.99.6-beta failed.
16:35
<
arboris >
Removing typerex.1.99.6-beta. ocp-build -uninstall typerex
16:35
<
arboris >
===== ERROR while installing typerex.1.99.6-beta =====
16:35
<
arboris >
Internal error: "ocp-build": command not found.
16:35
<
arboris >
'opam install typerex' failed.
16:36
<
Drup >
you're good for a bug report, I think
16:36
<
Drup >
either on typerex or opam-repository
16:39
maattdd__ has quit [Ping timeout: 265 seconds]
16:40
angerman has quit [Quit: Gone]
16:40
<
arboris >
the last commit in the typerex repo is 8 months old, that looks as if the project is no longer active
16:48
Hannibal_Smith has joined #ocaml
16:48
tlockney is now known as tlockney_away
16:48
<
arboris >
i've worked around the problem by installing ocp-build manually, I believe the problem was that in fedora camlp4 is not installed by default
16:49
<
Drup >
let's say it's sleeping
16:49
<
_obad_ >
it will have to be updated for the ppx stuff
16:49
tlockney_away is now known as tlockney
16:50
<
arboris >
anyways, after a manual install typerex installs flawlessly
16:51
<
Drup >
arboris: why would it be related to camlp4 ?
16:51
<
rgrinberg >
_obad_: i do it on a per project basis
16:51
<
rgrinberg >
whenever i have a project that uses lwt i add that in the project-root/.ocp-indent
16:52
<
arboris >
Drup: well the ocp-build failed because that was not installed
16:52
<
_obad_ >
rgrindberg: I think syntax=lwt doesn't hurt non-lwt projects so I'll keep it global
16:53
<
arboris >
the cyclic dependency is probably a bug, but I don't see a point in reporting to a project that has not been worked on in 8 months for something that can be fixed in 10 min by a workaround
16:54
<
Drup >
arboris: avoiding other user to have to figure out the work around ?
16:54
<
Drup >
as I said, typerex is not dead, the maintaner is still active, it's just not actively developed
16:55
<
arboris >
Drup: I'm always paranoid that the bug is my fault, because of some configuration or particular feature of my environment
16:56
<
Drup >
then the maintaner will tell you it's your fault, no problem
16:57
<
_obad_ >
what's the preferred regexp library these days? context: lwt
16:57
xaimus has quit [Quit: leaving]
16:57
xaimus has joined #ocaml
16:59
dapz has joined #ocaml
16:59
AltGr has left #ocaml []
17:00
<
whitequark >
ocaml-re
17:01
<
whitequark >
lwt has no relation to regexp libraries
17:01
<
_obad_ >
whitequark: that's re in opam, I suppose. yup looks like it.
17:02
<
_obad_ >
yes but some regexp libraries are stateful
*cough*str*cough*
17:03
thomasga has joined #ocaml
17:05
tlockney is now known as tlockney_away
17:06
nikki93 has quit [Remote host closed the connection]
17:06
<
arboris >
argh why does opam not know about iocaml-kernel
17:07
<
Drup >
it's in my opam
17:08
Kakadu has quit [Quit: Page closed]
17:09
lpw25 has quit [Remote host closed the connection]
17:13
tnguyen has joined #ocaml
17:15
Thooms has quit [Quit: WeeChat 0.3.8]
17:16
ninegrid has quit [Ping timeout: 252 seconds]
17:16
<
arboris >
"iocaml-kernel" is not available for your compiler or your OS.
17:16
<
Drup >
which compiler, which OS ?
17:16
inr_ has joined #ocaml
17:17
tlockney_away is now known as tlockney
17:17
ninegrid has joined #ocaml
17:18
inr has quit [Ping timeout: 245 seconds]
17:18
angerman has joined #ocaml
17:18
<
arboris >
hm apparently opam has overwritten my path, so that ocaml can't be found anymore
17:18
<
Drup >
which is probably normal
17:18
<
arboris >
it now points to .opam/4.01.0/bin/ocaml which does not exist
17:19
maattdd__ has joined #ocaml
17:21
thomasga has quit [Quit: Leaving.]
17:24
wwilly has joined #ocaml
17:24
thomasga has joined #ocaml
17:24
<
arboris >
ok, I guess I should use opam switch 4.01
17:27
Rc43 has joined #ocaml
17:27
ninegrid has quit [Remote host closed the connection]
17:28
ninegrid has joined #ocaml
17:28
<
Rc43 >
Is @@ standard function?
17:28
<
Rc43 >
And where can I look on it in web?
17:28
<
flux >
hmm, I think it nowadays is
17:28
thomasga has quit [Client Quit]
17:28
<
flux >
its definition is let (@@) a b = a b (isn't it?)
17:28
<
mrvn >
- : ('a -> 'b) -> 'a -> 'b = <fun>
17:28
<
Drup >
Rc43: it's in the standard library
17:29
<
mrvn >
OCaml version 4.01.0
17:29
<
Drup >
and yes, f @@ g = f g
17:29
<
Drup >
"f @@ x = f x" is better
17:29
<
mrvn >
# (fun x -> x + 1) @@ 1;;
17:30
<
mrvn >
What's the point of @@?
17:30
<
Drup >
mrvn: "f @@ g x" instead of "f (g x)"
17:30
<
flux >
some_function_that_takes_function_as_say_cps_argument 42 (44 + b) @@ fun result -> code here
17:30
<
flux >
so with cps functions your last line of the function isn't )))))) :)
17:37
rgrinberg has quit [Quit: Leaving.]
17:37
thomasga has joined #ocaml
17:37
q66 has joined #ocaml
17:37
q66 has quit [Changing host]
17:37
q66 has joined #ocaml
17:37
ninegrid has quit [Remote host closed the connection]
17:38
ninegrid has joined #ocaml
17:38
rgrinberg has joined #ocaml
17:39
<
Rc43 >
And in 3.12 I guess there is no such function, right?
17:39
<
Rc43 >
Just my collegue tried to build some of my code and failed.
17:39
<
arboris >
zmq, fails to install with an obscure error...
17:39
<
whitequark >
Drup: arboris which one?
17:39
<
whitequark >
arboris: which one?
17:40
thomasga has quit [Client Quit]
17:40
zpe has joined #ocaml
17:43
<
arboris >
whitequark: the paste is the error report
17:45
nikki93 has joined #ocaml
17:46
Rc43 has quit [Ping timeout: 240 seconds]
17:47
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
17:48
zpe has quit [Remote host closed the connection]
17:49
manizzle has joined #ocaml
17:50
malo has joined #ocaml
17:52
<
arboris >
not sure if that is helpful, apparently the ffi bindings fail to compile
17:53
<
arboris >
which version of zeromq are the bindings known to work with?>
17:53
michael_lee has quit [Ping timeout: 255 seconds]
17:54
dsheets has quit [Ping timeout: 250 seconds]
17:57
<
hnrgrgr >
arboris: here, it compiles with 4.0.4
18:00
ninegrid has quit [Ping timeout: 252 seconds]
18:01
maattdd__ has quit [Ping timeout: 252 seconds]
18:01
maattdd__ has joined #ocaml
18:01
ninegrid has joined #ocaml
18:08
ninegrid has quit [Ping timeout: 240 seconds]
18:09
ninegrid has joined #ocaml
18:13
maattdd__ has quit [Ping timeout: 246 seconds]
18:15
S11001001 has joined #ocaml
18:15
S11001001 has quit [Changing host]
18:15
S11001001 has joined #ocaml
18:17
tnguyen has quit [Quit: tnguyen]
18:20
dapz has joined #ocaml
18:27
ninegrid has quit [Ping timeout: 245 seconds]
18:27
<
arboris >
ok, finally
18:28
<
arboris >
needed to deinstall fedoras version 2.2,.. 4.04 indeed works, thanks hnrgrgr
18:28
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
18:29
<
arboris >
but of course iocaml needs a deprecated version that fails to compile...
18:29
<
arboris >
i give up
18:29
ninegrid has joined #ocaml
18:30
Kakadu has joined #ocaml
18:31
<
tautologico >
the problem is that zmq broke compatibility in the API from 3 to 4
18:31
<
tautologico >
iocaml worked with zmq 3, but with the update of the ocaml bindings to v4, iocaml and iocaml-server (and lwt-zmq) all broke
18:31
<
arboris >
so I need to install zeromq 3
18:32
dapz has joined #ocaml
18:32
<
tautologico >
there is a patch to solve the problem for iocaml, I don't know it hasn't been integrated yet
18:32
<
arboris >
how much work is it to adapt it to the new bindings?
18:32
<
tautologico >
it's simple
18:33
<
tautologico >
but fixing the server depends on fixing lwt-zmq too
18:33
dapz has quit [Client Quit]
18:34
dapz has joined #ocaml
18:34
<
arboris >
ok, I guess I will wait a few days, until this has been resolved
18:35
<
arboris >
no sense in investing energy to make the old version work
18:35
<
tautologico >
the fixes to lwt-zmq depend on a pending fix to ocaml-zmq :)
18:35
dapz has quit [Client Quit]
18:35
<
tautologico >
if you install zeromq 3.2 and install the previous version of the ocaml zmq bindings it should work
18:35
<
arboris >
tautologico, I realize that
18:36
<
arboris >
but atm, I don't want to spend any more effort on this :)
18:36
dapz has joined #ocaml
18:37
<
arboris >
not sure how multiple incompatible versions are even handled
18:37
dapz has quit [Client Quit]
18:37
<
arboris >
or if I would have to manually remove the zeromq 4.0 version i just installed into /usr/local
18:39
dapz has joined #ocaml
18:40
dapz has quit [Client Quit]
18:40
thomasga has joined #ocaml
18:41
ninegrid has quit [Ping timeout: 252 seconds]
18:41
<
arboris >
tautologico, ok I'm watching those issues now. At least I'm not the only one that is suffering
18:42
<
tautologico >
it's sad, I couldn't use iocaml before because I couldn't downgrade zmq to 3.2
18:42
ninegrid has joined #ocaml
18:42
<
tautologico >
and now I can't use it because upgrading the bindings broke everything else
18:42
<
arboris >
fedora ships zmq-2.*
18:43
<
arboris >
dealing with multiple library versions is a huge pain
18:43
<
arboris >
and sort of lets you question the concept of shared libraries
18:44
<
arboris >
although so far I've kind of avoided learning how the system actually works
18:44
<
arboris >
if I knew I probably would know how to fix some of the problems
18:44
thomasga has quit [Ping timeout: 255 seconds]
18:45
<
mrvn >
zeromq 4 is backward compatible to zeromq 3
18:45
<
tautologico >
mostly
18:45
<
arboris >
the bindings aren't
18:45
<
tautologico >
but they changed the event signaling in monitor sockets
18:45
<
tautologico >
so the bindings weren't compiling with zmq 4 before
18:46
<
mrvn >
then report a bug about that to zmq. They are supposed to be.
18:46
<
tautologico >
the problem is the bindings didn't just update the stub code, they also changed the API
18:46
<
tautologico >
I talked to the guy that made the changes, they're aware of this break
18:50
dapz has joined #ocaml
18:53
<
mrvn >
if the bindings changed the api then that is their problem. But libzmq shouldn't. It has the same SOVERSION.
18:55
ninegrid has quit [Ping timeout: 255 seconds]
18:56
ninegrid has joined #ocaml
18:58
hellome has joined #ocaml
18:59
zpe has joined #ocaml
19:03
zpe has quit [Ping timeout: 240 seconds]
19:06
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
19:13
studybot_ has joined #ocaml
19:14
studybo__ has joined #ocaml
19:14
ygrek has quit [Ping timeout: 250 seconds]
19:15
arboris has quit [Remote host closed the connection]
19:17
studybot_ has quit [Ping timeout: 255 seconds]
19:18
lostcuaz has joined #ocaml
19:18
ninegrid has quit [Ping timeout: 252 seconds]
19:19
ninegrid has joined #ocaml
19:23
dapz has joined #ocaml
19:36
lopex has quit [Ping timeout: 252 seconds]
19:37
WraithM has quit [Quit: leaving]
19:37
WraithM has joined #ocaml
19:38
lopex has joined #ocaml
19:40
Anarchos has joined #ocaml
19:41
thomasga has joined #ocaml
19:41
studybo__ has quit [Read error: Connection reset by peer]
19:42
studybot_ has joined #ocaml
19:42
studybo__ has joined #ocaml
19:43
thomasga has quit [Read error: Operation timed out]
19:45
_andre has quit [Quit: leaving]
19:46
studybot_ has quit [Ping timeout: 245 seconds]
19:52
WraithM has quit [Remote host closed the connection]
19:53
angerman has quit [Quit: Gone]
19:56
<
_obad_ >
is there a provision to create toplevels in oasis?
20:01
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
20:02
axiles has quit [Remote host closed the connection]
20:03
saml has quit [Ping timeout: 255 seconds]
20:04
WraithM has joined #ocaml
20:11
studybo__ has quit [Read error: Connection reset by peer]
20:11
studybot_ has joined #ocaml
20:12
dapz has joined #ocaml
20:12
clan has joined #ocaml
20:13
dapz has quit [Client Quit]
20:15
dapz has joined #ocaml
20:22
Arsenik has quit [Remote host closed the connection]
20:22
Arsenik has joined #ocaml
20:25
divyanshu has quit [Quit: Computer has gone to sleep.]
20:32
saml has joined #ocaml
20:54
studybot_ has quit [Read error: Connection reset by peer]
20:58
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
21:07
Submarine has quit [Quit: Leaving]
21:08
Hannibal_Smith has quit [Quit: Sto andando via]
21:14
rz has joined #ocaml
21:32
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
21:32
dapz has joined #ocaml
21:34
clan has quit [Quit: clan]
21:38
clan has joined #ocaml
21:38
Thooms has joined #ocaml
21:40
olauzon has quit [Quit: olauzon]
21:40
thomasga has joined #ocaml
21:45
thomasga has quit [Ping timeout: 252 seconds]
21:49
nikki93 has quit [Read error: Connection reset by peer]
21:50
nikki93 has joined #ocaml
21:51
rgrinberg has quit [Quit: Leaving.]
21:56
jpeeters has joined #ocaml
21:56
<
jpeeters >
Hi everyone
21:56
<
jpeeters >
how can I build a baremetal application on a arm processor (eg. Raspberry Pi)
21:56
<
jpeeters >
I guess that I need to write some asm to bootstrap the ocaml runtime, right?
21:57
<
jpeeters >
_obad_: Hi
21:57
<
_obad_ >
well how do you plan on doing I/O?
21:57
<
jpeeters >
_obad_: what do you have in mind?
21:57
Submarine has joined #ocaml
21:57
Submarine has quit [Changing host]
21:57
Submarine has joined #ocaml
21:57
<
_obad_ >
maybe the section of the manual about integrating ocaml in c would be helpful
21:58
<
_obad_ >
then the c would be your toplevel code called from the bootloader
21:59
<
jpeeters >
_obad_: do you mean that I should create a boostrap code in C and then jump to an OCaml entry point using C interface?
22:01
<
_obad_ >
if you can run C code that uses the C library functions the caml toplevel uses then it's a good start
22:01
NoNNaN has quit [Remote host closed the connection]
22:01
nikki93 has quit [Remote host closed the connection]
22:02
<
_obad_ >
so I would see it as step 1 - check what minimum set of functions the ocaml runtime needs step 2 - write a "hello world" in C that uses those primitives step 3 - link in the ocaml runtime and your ocaml hello world and call it from your C
22:02
nikki93 has joined #ocaml
22:02
NoNNaN has joined #ocaml
22:03
<
jpeeters >
_obad_: I am pretty new to ocaml internals and especially on the runtime
22:03
<
jpeeters >
so what kind of functions are you talking about in step 1 ?
22:05
<
Drup >
jpeeters: you could look at mirage for that
22:05
<
Drup >
they have something that is close to working on baremetal
22:05
<
Drup >
ask them, they could probably tell you what is missing
22:05
<
jpeeters >
Drup: Hi, yes I saw this project today
22:06
Anarchos has quit [Ping timeout: 240 seconds]
22:06
<
jpeeters >
Do you think that this could work on a ARM Cortex M4 @ 84MHz ? Do you know some people that succeeded in this?
22:06
ollehar has joined #ocaml
22:07
<
Drup >
I know some people are working on it
22:07
<
Drup >
(at least for ARM in general)
22:07
<
Drup >
(ARM is a very diverse architecture)
22:07
<
jpeeters >
I mean that this should certainly work on a Rasperry PI but I wonder is this is also feasible on a Cortex M series
22:07
<
_obad_ >
jpeeters: so I had a look and I think you need to implement at least a malloc() as called from caml_aligned_malloc()
22:08
<
smondet >
jpeeters: there is a #mirage channel
22:08
<
jpeeters >
Drup: Are they ARM engineers?
22:08
<
_obad_ >
it depends a lot by what you mean by baremetal...
22:08
<
jpeeters >
smondet: thanks
22:08
<
jpeeters >
baremetal = no OS, only application
22:08
<
_obad_ >
yes but you may have varying amounts of C library support
22:09
<
jpeeters >
I will mostly do I/O control and register configuration, so I need very few third party library
22:09
<
Drup >
_obad_: mirage implement most of this stuff already
22:10
<
smondet >
maybe good inspiration
22:10
<
Drup >
pic is a whole different beast :D
22:10
<
_obad_ >
how does mirage handle malloc/free?
22:10
<
Drup >
_obad_: no idea, ask them
22:10
<
companion_cube >
I don't think oCaml needs malloc/free
22:10
<
jpeeters >
smondet: yes I've just found this project few minutes ago
22:10
<
companion_cube >
it just needs to be able to ask for pages
22:11
<
jpeeters >
companion_cube: do you mean that the OCaml runtime already contains a memory allocator?
22:11
tani has quit [Quit: Verlassend]
22:11
<
jpeeters >
(the GC may be is responsible for this)
22:11
<
companion_cube >
well yes, the GC has its own allocation/deallocation scheme
22:11
<
companion_cube >
that do not rely on malloc
22:13
thomasga has joined #ocaml
22:13
<
_obad_ >
companion_cube: ocaml still uses malloc() to get memory, and then it uses that as a heap and as a stack
22:14
Arsenik has quit [Remote host closed the connection]
22:15
<
_obad_ >
caml_init_gc -> caml_set_minor_heap_size -> caml_aligned_malloc -> malloc
22:15
<
_obad_ >
and then caml_init_major_heap -> malloc
22:15
<
Drup >
if it's only used for that, it should be easy to just replace the external implementation
22:15
<
Drup >
(instead of trying to reimplement a malloc)
22:17
<
companion_cube >
_obad_: it's strange, it should be able to call mmap directly
22:18
<
_obad_ >
it also uses free() regularly
22:18
<
_obad_ >
when it does heap compactions
22:19
<
companion_cube >
ok, good to know
22:21
struktured has joined #ocaml
22:22
<
jpeeters >
hummm mirage people don't look to be very active this evening...
22:22
ggole has quit [Ping timeout: 265 seconds]
22:22
Simn has quit [Quit: Leaving]
22:23
wwilly has quit [Quit: This computer has gone to sleep]
22:23
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
22:23
lpw25 has joined #ocaml
22:26
<
smondet >
jpeeters: the mirage people are in Cambridge UK, it's pretty late there
22:29
clan has quit [Quit: clan]
22:29
nikki93 has quit [Remote host closed the connection]
22:31
Kakadu has quit [Quit: Konversation terminated!]
22:31
thomasga has quit [Quit: Leaving.]
22:33
clan has joined #ocaml
22:34
thomasga has joined #ocaml
22:35
Thooms has quit [Ping timeout: 246 seconds]
22:41
struktured has quit [Ping timeout: 240 seconds]
22:43
Nahra has quit [Quit: leaving]
22:45
rgrinberg has joined #ocaml
22:50
<
_obad_ >
stream parsers are going to die with camlp4, right?
22:50
<
_obad_ >
so I shouldn't be using them...
22:51
struktured has joined #ocaml
22:51
<
_obad_ >
what's a good replacement? roll your own parser combinators? use Stream.peek... ?
22:51
<
companion_cube >
most of the time an ocamlyacc/menhir parser should be convenient
22:52
<
_obad_ >
that's too heavy in practice. I have small inline parsers for a command line interface
22:55
rgrinberg has quit [Quit: Leaving.]
22:55
Nahra has joined #ocaml
22:57
thomasga has quit [Quit: Leaving.]
23:00
Submarine has quit [Quit: Leaving]
23:02
<
companion_cube >
_obad_: for a CLI, did you try cmdliner?
23:03
<
_obad_ >
I was using lambda-term
23:03
<
jpeeters >
smondet: you're right
23:03
<
jpeeters >
may be there is a very simple way to deal with my issue: use -output-obj of ocamlc
23:03
<
_obad_ >
companion_cube: it's an online command-line interface, not a pure cli command.
23:04
<
_obad_ >
like a terminal.
23:04
<
jpeeters >
but I need to figure out how to make ocamlc use the cross toolchain to produce the C object file
23:06
clan has quit [Quit: clan]
23:09
ollehar has quit [Ping timeout: 252 seconds]
23:10
darkf has joined #ocaml
23:10
clan has joined #ocaml
23:11
<
companion_cube >
_obad_: ah, sorry
23:11
araujo has joined #ocaml
23:11
araujo has quit [Changing host]
23:11
araujo has joined #ocaml
23:25
q66 has quit [Quit: Leaving]
23:28
struktured has quit [Ping timeout: 252 seconds]
23:30
nikki93 has joined #ocaml
23:30
Nahra has quit [Remote host closed the connection]
23:33
Nahra has joined #ocaml
23:35
nikki93 has quit [Ping timeout: 246 seconds]
23:35
<
Drup >
_obad_: start by not using Stream from the standard library.
23:35
madroach has quit [Ping timeout: 252 seconds]
23:35
<
Drup >
_obad_: what do you want to do exactly ?
23:36
struktured has joined #ocaml
23:37
madroach has joined #ocaml
23:37
nikki93 has joined #ocaml
23:37
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
23:41
NoNNaN has quit [Remote host closed the connection]
23:42
NoNNaN has joined #ocaml
23:45
jpeeters has quit [Quit: Leaving.]
23:47
Nahra has quit [Remote host closed the connection]
23:50
Nahra has joined #ocaml
23:52
jzelinskie has joined #ocaml
23:54
Pupnik has joined #ocaml
23:57
thomasga has joined #ocaml