00:01
foolishmonkey has quit [Quit: Leaving]
00:02
nkhodyunya has quit [Quit: Leaving.]
00:09
ygrek_ has joined #ocaml
00:12
Fleurety has joined #ocaml
00:13
ygrek has quit [Ping timeout: 250 seconds]
00:13
sh0t has quit [Ping timeout: 252 seconds]
00:25
struk|desk|away is now known as struk|desk
01:04
kakadu has quit [Remote host closed the connection]
01:06
pierpa` is now known as pierpa
01:09
teknozulu has joined #ocaml
01:32
copy` has quit [Quit: Connection closed for inactivity]
01:40
jeffmo has quit [Quit: jeffmo]
01:46
sh0t has joined #ocaml
01:53
fluter has quit [Ping timeout: 240 seconds]
02:04
larhat1 has quit [Read error: Connection reset by peer]
02:04
larhat1 has joined #ocaml
02:05
sh0t has quit [Ping timeout: 250 seconds]
02:29
lokien_ has quit [Quit: Connection closed for inactivity]
02:31
seangrove has quit [Ping timeout: 264 seconds]
02:36
The_Mad_Pirate has quit [Excess Flood]
02:36
The_Mad_Pirate has joined #ocaml
02:38
seangrove has joined #ocaml
02:54
ygrek_ has quit [Ping timeout: 260 seconds]
02:58
seangrove has quit [Ping timeout: 240 seconds]
02:58
nicholasf has quit [Ping timeout: 272 seconds]
03:01
Enjolras has quit [Quit: Lost terminal]
03:07
darkf has quit [Quit: Leaving]
03:19
seangrove has joined #ocaml
03:24
seangrove has quit [Ping timeout: 240 seconds]
03:27
tumdum has quit [Ping timeout: 240 seconds]
03:30
tumdum has joined #ocaml
03:35
fluter has joined #ocaml
03:38
ygrek has joined #ocaml
03:42
psy_ has joined #ocaml
03:44
<
struk|desk >
gah, opam-lib keeps downgrading on me. it's fighting with a newer version of ocamlgraph
03:54
The_Mad_Pirate has quit [Ping timeout: 240 seconds]
03:55
<
struk|desk >
I can't opam-lib downgrades so many packages right now because of this. what a shame
03:56
FreeBirdLjj has joined #ocaml
04:06
MGTOW_Mad_Pirate has joined #ocaml
04:57
pierpa has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
05:03
nicholasf has joined #ocaml
05:04
nicholasf has quit [Remote host closed the connection]
05:09
ygrek has quit [Ping timeout: 276 seconds]
05:16
nicholasf has joined #ocaml
05:17
kdas_ has quit [Quit: Leaving]
05:20
nicholasf has quit [Ping timeout: 272 seconds]
05:22
MGTOW_Mad_Pirate has quit [Quit: Konversation terminated!]
05:23
The_Mad_Pirate has joined #ocaml
05:25
MercurialAlchemi has joined #ocaml
05:52
psy_ has quit [Ping timeout: 252 seconds]
05:55
psy_ has joined #ocaml
05:57
lokien_ has joined #ocaml
05:57
psy_ has quit [Max SendQ exceeded]
05:58
MercurialAlchemi has quit [Ping timeout: 250 seconds]
05:58
psy_ has joined #ocaml
06:09
nicholasf has joined #ocaml
06:09
yegods has quit [Remote host closed the connection]
06:11
nicholasf has quit [Remote host closed the connection]
06:11
ygrek has joined #ocaml
06:40
MercurialAlchemi has joined #ocaml
06:53
kushal has joined #ocaml
07:00
larhat1 has quit [Quit: Leaving.]
07:08
<
wolfcore >
I'm getting Exception: (Failure "No SSL or TLS support compiled into Conduit"). Anyone know how to recompile with ssl/tls?
07:12
struk|desk is now known as struk|desk|away
07:13
nicholasf has joined #ocaml
07:22
nkhodyunya has joined #ocaml
07:23
badon has quit [Disconnected by services]
07:23
badon_ has joined #ocaml
07:23
badon_ is now known as badon
07:26
larhat has quit [Read error: Connection reset by peer]
07:26
larhat has joined #ocaml
07:27
<
wolfcore >
Ah, fixed it, was missing a couple packages
07:30
kansi has joined #ocaml
07:32
jacquev6 has joined #ocaml
07:41
Haudegen has quit [Ping timeout: 260 seconds]
07:43
nicholasf has quit [Ping timeout: 276 seconds]
07:43
nicholasf has joined #ocaml
07:44
kansi has quit [Remote host closed the connection]
07:45
nkhodyunya has quit [Quit: Leaving.]
07:51
yawnt has joined #ocaml
08:00
Haudegen has joined #ocaml
08:04
kansi has joined #ocaml
08:09
ygrek has quit [Ping timeout: 256 seconds]
08:10
The_Mad_Pirate has quit [Quit: Konversation terminated!]
08:14
Sorella has quit [Quit: Connection closed for inactivity]
08:19
lokien_ has quit [Quit: Connection closed for inactivity]
08:22
Anarchos has joined #ocaml
08:23
antkong has joined #ocaml
08:24
nicholasf has quit [Remote host closed the connection]
08:24
The_Mad_Pirate has joined #ocaml
08:24
The_Mad_Pirate has quit [Client Quit]
08:25
nicholasf has joined #ocaml
08:25
sepp2k has joined #ocaml
08:31
demus has joined #ocaml
08:32
lokien_ has joined #ocaml
08:37
Algebr has joined #ocaml
08:37
Algebr is now known as Guest85289
08:38
teknozulu has quit [Ping timeout: 252 seconds]
08:41
jrslepak has quit [Ping timeout: 240 seconds]
08:43
jrslepak has joined #ocaml
08:48
Simn has joined #ocaml
08:55
thizanne has quit [Ping timeout: 245 seconds]
08:58
infinity0 has quit [Ping timeout: 272 seconds]
09:00
infinity0 has joined #ocaml
09:02
octachron has joined #ocaml
09:02
silver has joined #ocaml
09:06
jacquev6 has quit [Quit: jacquev6]
09:07
infinity0 has quit [Remote host closed the connection]
09:09
infinity0 has joined #ocaml
09:12
smondet has joined #ocaml
09:15
sz0 has joined #ocaml
09:17
infinity0 has quit [Remote host closed the connection]
09:17
sz0_ has joined #ocaml
09:19
infinity0 has joined #ocaml
09:25
kansi has quit [Ping timeout: 240 seconds]
09:28
antkong has quit [Quit: antkong]
09:35
<
flux >
notty is nice. but I wish some of these implemented some inter-node constraints, to better allow aligning boxes
09:37
dsheets has joined #ocaml
09:46
dksong has joined #ocaml
09:48
rand__ has joined #ocaml
09:50
jwatzman|work has joined #ocaml
10:04
<
def` >
flux: shouldn't that be done in an higher-level library, building upon notty?
10:05
jgjl has joined #ocaml
10:05
Guest85289 has quit [Remote host closed the connection]
10:08
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
10:09
orbifx has joined #ocaml
10:12
<
flux >
def`, well, notty could build it upon itself :)
10:14
<
orbifx >
Any takes about SDL and SFML and their respective OCaml bindings?
10:14
kakadu has joined #ocaml
10:15
<
def` >
flux: hmm... This issue is orthogonal.
10:15
<
def` >
notty provides nice combinators for constructing character matrices which are properly interpreted by tttys.
10:23
warp has joined #ocaml
10:23
thizanne has joined #ocaml
10:30
nicholasf has quit [Remote host closed the connection]
10:41
kansi has joined #ocaml
10:45
infinity0 has quit [Remote host closed the connection]
10:46
infinity0 has joined #ocaml
10:47
rand__ has quit [Ping timeout: 245 seconds]
10:50
infinity0 has quit [Remote host closed the connection]
10:51
infinity0 has joined #ocaml
11:00
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
11:08
yawnt has quit [Ping timeout: 240 seconds]
11:10
sillyotter has joined #ocaml
11:12
dsheets has quit [Remote host closed the connection]
11:12
dsheets has joined #ocaml
11:15
yawnt has joined #ocaml
11:18
sillyotter has quit [Quit: leaving]
11:18
dksong has quit [Quit: Leaving.]
11:18
dksong has joined #ocaml
11:20
yawnt has quit [Ping timeout: 272 seconds]
11:27
yawnt has joined #ocaml
11:28
sz0 has quit [Quit: Bye.]
11:29
sz0_ is now known as sz0
11:31
nicholasf has joined #ocaml
11:31
FreeBirdLjj has quit [Remote host closed the connection]
11:35
nicholasf has quit [Ping timeout: 240 seconds]
11:39
rand__ has joined #ocaml
11:39
jgjl has joined #ocaml
11:40
Haudegen has quit [Ping timeout: 260 seconds]
11:44
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
11:45
yegods has joined #ocaml
11:46
kansi has quit [Ping timeout: 276 seconds]
11:46
yegods has quit [Remote host closed the connection]
11:47
orbifx has quit [Quit: WeeChat 1.3]
11:48
jgjl has joined #ocaml
11:48
antkong has joined #ocaml
11:59
Haudegen has joined #ocaml
12:00
dsheets has quit [Remote host closed the connection]
12:04
dsheets has joined #ocaml
12:19
antkong has quit [Quit: antkong]
12:24
pgiarrusso has joined #ocaml
12:25
<
pgiarrusso >
Hi all! Question: is it normal that `bin_prot.syntax` is not available anymore after switching to Core 113.24.00?
12:26
<
flux >
I believe there was some renaming involved in a recent jane street release
12:27
foolishmonkey has joined #ocaml
12:28
<
flux >
I can't find the relevant information from the mailing list, so best of luck :-)
12:29
lokien_ has quit [Quit: Connection closed for inactivity]
12:30
<
pgiarrusso >
Now I should figure it out.
12:30
<
pgiarrusso >
FYI: I’m trying to
_learn_ using `ocamlbuild`, `corebuild` and friends, following Real World Ocaml, and this issue very much gets in the way
12:30
<
flux >
yes exactly that (I only read it from the caml-list)
12:31
<
flux >
it's too bad people not everyone subscribe to the long tradition of keeping backwards compatibility :) (even for this relatively short time, even with published literature using the old ways)
12:32
<
flux >
an errata for the book could do with that information updated I suppose.
12:32
FreeBirdLjj has joined #ocaml
12:37
BitPuffin has joined #ocaml
12:37
FreeBirdLjj has quit [Ping timeout: 245 seconds]
12:39
dsheets has quit [Remote host closed the connection]
12:40
dksong1 has joined #ocaml
12:40
dksong has quit [Read error: Connection reset by peer]
12:43
dksong has joined #ocaml
12:43
dksong1 has quit [Read error: Connection reset by peer]
12:46
octachron has quit [Ping timeout: 260 seconds]
12:48
jacquev6 has joined #ocaml
13:05
<
pgiarrusso >
flux: thanks for the help, you saved me :-)
13:09
nkhodyunya has joined #ocaml
13:10
octachron has joined #ocaml
13:13
jacquev6 has quit [Read error: Connection reset by peer]
13:13
yawnt has quit [Ping timeout: 250 seconds]
13:18
jacquev6 has joined #ocaml
13:22
sfri has quit [Remote host closed the connection]
13:22
dksong has quit [Quit: Leaving.]
13:22
Anarchos has joined #ocaml
13:26
yegods has joined #ocaml
13:33
dsheets has joined #ocaml
13:38
FreeBirdLjj has joined #ocaml
13:43
FreeBirdLjj has quit [Ping timeout: 272 seconds]
13:45
<
pippijn >
why is corebuild a thing?
13:45
<
pippijn >
I thought jane street used jenga
13:46
Sorella has joined #ocaml
13:48
kansi has joined #ocaml
13:52
Anarchos has quit [Ping timeout: 240 seconds]
13:53
<
rks` >
why do you say that pippijn?
13:55
sfri has joined #ocaml
14:01
dhil has joined #ocaml
14:06
yegods has quit [Remote host closed the connection]
14:11
yegods has joined #ocaml
14:12
<
pippijn >
rks`: if corebuild is the recommended way to build applications using core
14:12
yegods has quit [Remote host closed the connection]
14:12
<
rks` >
I was wondering about the "jenga is no more" part, linked to a commit history recently updated
14:13
bobry has joined #ocaml
14:13
<
pippijn >
oh I see, yes
14:13
<
rks` >
and though janestreet uses jenga, it doesn't mean that every user of core should have to
14:14
<
rks` >
corebuild is just a small wrapper on top of ocamlbuild, which everyone has since it is (for the moment) shipped with ocaml
14:14
lmaury has joined #ocaml
14:23
sh0t has joined #ocaml
14:38
yegods has joined #ocaml
14:40
yegods has quit [Remote host closed the connection]
14:41
yegods has joined #ocaml
14:46
dsheets has quit [Remote host closed the connection]
14:47
malc_ has joined #ocaml
14:47
psy_ has quit [Ping timeout: 276 seconds]
14:48
dsheets has joined #ocaml
14:49
lokien_ has joined #ocaml
14:50
darkf has joined #ocaml
14:50
dsheets_ has joined #ocaml
14:53
dsheets has quit [Ping timeout: 245 seconds]
14:53
malc_ has quit [Ping timeout: 248 seconds]
14:57
struk|desk|away is now known as struk|desk
15:05
jeffmo has joined #ocaml
15:07
jeffmo has quit [Client Quit]
15:11
dsheets has joined #ocaml
15:12
nkhodyunya has quit [Quit: Leaving.]
15:13
dsheets_ has quit [Ping timeout: 245 seconds]
15:17
nutze has joined #ocaml
15:23
dsheets_ has joined #ocaml
15:26
dsheets has quit [Ping timeout: 252 seconds]
15:32
dsheets has joined #ocaml
15:33
dsheets has quit [Remote host closed the connection]
15:33
dsheets_ has quit [Ping timeout: 240 seconds]
15:34
struk|desk is now known as struk|desk|away
15:39
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
15:39
dsheets has joined #ocaml
15:41
dsheets_ has joined #ocaml
15:41
sh0t has quit [Ping timeout: 240 seconds]
15:44
dsheets has quit [Ping timeout: 276 seconds]
15:46
MercurialAlchemi has quit [Ping timeout: 260 seconds]
15:49
dsheets has joined #ocaml
15:53
dsheets_ has quit [Ping timeout: 272 seconds]
15:59
tane has joined #ocaml
16:01
nicholasf has joined #ocaml
16:04
MercurialAlchemi has joined #ocaml
16:05
dsheets_ has joined #ocaml
16:08
dsheets has quit [Ping timeout: 250 seconds]
16:08
jeffmo has joined #ocaml
16:09
rand__ has quit [Quit: leaving]
16:11
foolishmonkey has quit [Remote host closed the connection]
16:14
bobry has quit [Quit: Connection closed for inactivity]
16:15
copy` has joined #ocaml
16:20
slash^ has joined #ocaml
16:22
dsheets has joined #ocaml
16:22
pgiarrusso has quit [Quit: pgiarrusso]
16:22
manizzle has quit [Ping timeout: 240 seconds]
16:23
pgiarrusso has joined #ocaml
16:26
dsheets_ has quit [Ping timeout: 260 seconds]
16:26
pierpa has joined #ocaml
16:38
octachron has quit [Quit: Leaving]
16:41
pgiarrusso has quit [Quit: pgiarrusso]
16:45
shinnya has joined #ocaml
16:46
pgiarrusso has joined #ocaml
16:49
nkhodyunya has joined #ocaml
16:50
<
infinity0 >
is there an equivalent of haskell's liftA2 for ocaml?
16:51
<
infinity0 >
i want to apply a binary operator to two monads and would like to avoid the boilerplate of pattern-matching the internals
16:52
pgiarrusso has quit [Quit: pgiarrusso]
16:55
pgiarrusso has joined #ocaml
16:56
Algebr has joined #ocaml
16:56
Algebr is now known as Guest93708
16:57
dsheets_ has joined #ocaml
16:57
nicholasf has quit [Read error: Connection reset by peer]
16:58
Guest93708 is now known as Algebr2
16:58
foolishmonkey has joined #ocaml
16:59
dsheets has quit [Ping timeout: 240 seconds]
17:01
JacobEdelman_ has joined #ocaml
17:10
Anarchos has joined #ocaml
17:10
jacquev6 has quit [Ping timeout: 240 seconds]
17:12
jacquev6 has joined #ocaml
17:15
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
17:16
Anarchos has joined #ocaml
17:27
nicholasf has joined #ocaml
17:27
jwatzman|work has quit [Quit: jwatzman|work]
17:30
ygrek has joined #ocaml
17:35
jacquev6 has quit [Quit: jacquev6]
17:41
sh0t has joined #ocaml
17:43
<
aantron >
infinity0: im not aware of anything pre-existing in OCaml that does that
17:43
Haudegen has quit [Ping timeout: 240 seconds]
17:45
warp has quit [Ping timeout: 276 seconds]
17:47
ollehar has joined #ocaml
17:52
manizzle has joined #ocaml
17:52
<
hannes >
infinity0: since there is no generalised description (interface) of monads, that's not doable in OCaml in the general case
17:55
<
infinity0 >
hannes: well the batteries and janestreet-core both define the same monad interface as a module, we could add extra functions to those
17:56
dsheets has joined #ocaml
17:57
axiles has quit [Remote host closed the connection]
17:59
dsheets_ has quit [Ping timeout: 248 seconds]
18:00
lokien has joined #ocaml
18:02
Haudegen has joined #ocaml
18:08
<
aantron >
its an external function equivalent to (fun x -> x)
18:08
<
aantron >
essentially a compiler intrinsic
18:10
Haudegen has quit [Ping timeout: 240 seconds]
18:12
kakadu has quit [Quit: Page closed]
18:17
Simn has quit [Quit: Leaving]
18:17
sh0t has quit [Ping timeout: 252 seconds]
18:19
<
flux >
what those don't mention is that %identity also works as an unsafe casting operation, so it's a bit dangerous to use it
18:26
dsheets has quit [Remote host closed the connection]
18:29
ygrek has quit [Ping timeout: 256 seconds]
18:30
orbifx has joined #ocaml
18:32
Haudegen has joined #ocaml
18:35
scrabcakes has joined #ocaml
18:35
kushal has quit [Ping timeout: 272 seconds]
18:36
larhat1 has joined #ocaml
18:36
<
scrabcakes >
is it possible to have a global mutable variable in ocaml
18:37
<
aantron >
yes, just declare "let foo = ref 0" at the module level
18:37
<
scrabcakes >
aantron: and then how do I modify it within another function?
18:37
<
scrabcakes >
just the same?
18:37
<
aantron >
it wont be in a function, but yes, the same. foo := 1
18:38
dhil has quit [Ping timeout: 240 seconds]
18:38
<
aantron >
i mean, there wont be "another" function, because this variable is not in a function to begin with
18:38
kushal has joined #ocaml
18:38
<
aantron >
so yes, you can do that from all functions :)
18:38
<
scrabcakes >
oh I see haha, I was a little confused then. cheers dude
18:44
<
infinity0 >
aantron: but i try it and i get a compiler error
18:44
<
aantron >
which error, which compiler?
18:47
orbifx has quit [Ping timeout: 245 seconds]
18:48
<
infinity0 >
aantron: 4.02.3, this
18:48
<
infinity0 >
Parse error: [expr] expected after [infix operator (level 0) (comparison operators, and some others)] (in [expr])
18:48
<
infinity0 >
it's going through camlp4 first because i'm using sexplib
18:49
<
aantron >
what is the code causing it?
18:51
ygrek has joined #ocaml
18:52
<
infinity0 >
aantron: let join m = m >>= %identity
18:53
nutze has quit [Quit: leaving]
18:53
<
aantron >
its not an identifier in the language, you have to bind an identifier to it using "external"
18:54
<
infinity0 >
oh right ok
18:55
<
infinity0 >
i guess for my case it's unnecessary
19:00
tumdum has joined #ocaml
19:00
tumdum has joined #ocaml
19:05
cat5e has quit [Read error: Connection reset by peer]
19:06
Soni has joined #ocaml
19:12
Soni is now known as cat5e
19:19
nicholasf has quit [Remote host closed the connection]
19:20
kakadu has joined #ocaml
19:22
teknozulu has joined #ocaml
19:22
hcarty has joined #ocaml
19:25
sepp2k has quit [Quit: Leaving.]
19:26
<
hcarty >
It (is supposed to) rewrite ([%defer expr_later]; expr_now) into (let result = expr_now in expr_later; result)
19:26
dsheets has joined #ocaml
19:27
<
hcarty >
For a Go-ish (let ic = open_in_bin "foo" in [%defer close_in ic]; do_stuff_with_ic)
19:29
lokien_ has quit [Quit: Connection closed for inactivity]
19:30
<
hcarty >
Am I using ppx_tools correctly? The code seems simple and the result looks correct... I'm worried that it all looks too simple
19:30
<
hcarty >
s/looks/is/
19:30
<
kakadu >
frankly speaking I have no idea that we can write [%expr ... ] on the left side of arrow
19:31
<
kakadu >
it seems I'm idiot
19:35
<
hcarty >
This code was mostly the result of trial and error... ppx_tools.metaquot is magic
19:36
nkhodyunya has quit [Quit: Leaving.]
19:37
nkhodyunya has joined #ocaml
19:38
<
Drup >
I don't think you should add the attributes of now back to the whole expression
19:40
<
Drup >
Otherwise, you don't add locations properly on the code generated by make_defer
19:41
<
Drup >
Try something like that : ([%defer ...] ; "" : int)
19:41
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
19:41
dsheets has quit [Remote host closed the connection]
19:44
<
Drup >
Finally, I don't think you should emit this code, since it means that "__ppx_defer_actual_result" is accessible inside the expression <later>
19:45
<
Drup >
You should be able to tweak so that it's not the case.
19:55
lokien has quit [Quit: Leaving]
19:58
nicholasf has joined #ocaml
20:08
<
hcarty >
Drup: Thanks! I'll keep playing with it.
20:14
octachron has joined #ocaml
20:16
<
octachron >
kakadu, concerning your polyvariadic woes with tuple, yesterday, there is some dangerous way to circumvent the problem... but you might end up regreting it
20:17
<
kakadu >
I'm listening
20:19
slash^ has quit [Read error: Connection reset by peer]
20:19
<
octachron >
the idea is to redefine a tuple type family using a heteregenous array type, a lot of Obj.magic and even more type-level computations to ensure that everything is type safe
20:21
<
hcarty >
Drup: Any pointers to how to avoid having "__ppx_defer_actual_result" accessible inside of <later>?
20:25
<
hcarty >
Drup: The ("" : int) case seems to work properly, with OCaml pointing out the correct error at the correct location
20:27
chris2 has quit [Ping timeout: 264 seconds]
20:28
<
kakadu >
octachron: I will keep that in my in case it will be really needed
20:28
teknozulu has quit [Ping timeout: 256 seconds]
20:33
<
octachron >
kakadu, I agree that it is best to avoid such "solutions". It is ((probably)) more a curiosity/brainteaser than anything else
20:34
JacobEdelman_ has quit [Quit: Connection closed for inactivity]
20:40
chris2 has joined #ocaml
20:42
cat5e has quit [Remote host closed the connection]
20:42
demus has quit [Quit: Leaving]
20:44
Soni has joined #ocaml
20:45
Soni is now known as cat5e
20:48
sh0t has joined #ocaml
20:48
chris2 has quit [Ping timeout: 250 seconds]
20:49
djellemah_ has joined #ocaml
20:53
kansi has quit [Ping timeout: 245 seconds]
20:53
djellemah has quit [Ping timeout: 256 seconds]
20:54
lmaury has left #ocaml ["Leaving"]
20:55
<
infinity0 >
how do i have a functor take a functor as one of its arguments?
20:56
<
Drup >
module F ( M : functor ( Foo : FOO ) -> BAR ) = struct end
20:56
<
infinity0 >
ah nice thanks
20:57
<
infinity0 >
was a bit hard to web-search for :)
20:57
<
Drup >
hcarty: really ? that's very surprising
21:00
<
Drup >
hcarty: yeah, as I said
21:00
<
Drup >
try to compile it
21:00
<
Drup >
it gives you bad locations
21:01
nkhodyunya has quit [Quit: Leaving.]
21:02
nkhodyunya has joined #ocaml
21:02
<
hcarty >
It gives me the right line, with one too many characters I think?
21:02
<
hcarty >
I can never remember how to interpret the character ranges in OCaml errors
21:02
chris2 has joined #ocaml
21:03
<
Drup >
let x : string =
21:03
<
Drup >
[%defer ()] ;
21:04
teknozulu has joined #ocaml
21:05
<
hcarty >
Ah, I see... "_none_" - interesting
21:09
BitPuffin has quit [Ping timeout: 272 seconds]
21:11
Anarchos has joined #ocaml
21:13
antkong has joined #ocaml
21:14
tane has quit [Quit: Verlassend]
21:18
<
infinity0 >
how do i do the equivalent of Make (MakeR(T = DefaultT.Make(S))) (T) (S) ? "let" appears not to work in that context
21:19
<
aantron >
the analog of "let" for modules is "module"
21:19
<
aantron >
module Foo = Functor (Bar)
21:19
<
infinity0 >
ah ok thanks
21:19
<
aantron >
where Functor is a module name, not the keyword functor :)
21:19
nkhodyunya has quit [Quit: Leaving.]
21:19
nicholasf has quit [Read error: Connection reset by peer]
21:20
<
aantron >
or in general (iirc) a module expression.. anyway you already have it :)
21:20
chris2 has quit [Ping timeout: 245 seconds]
21:21
<
infinity0 >
aantron: er i meant, when i'm applying a functor, and i want to pass the same component to two places
21:21
<
infinity0 >
not merely to define a module
21:22
<
aantron >
"component" ? you mean module?
21:22
<
aantron >
you can give it a name, and then pass it by that name in both places. is this not suitable for some reason?
21:23
nkhodyunya has joined #ocaml
21:23
manizzle has quit [Ping timeout: 252 seconds]
21:24
<
infinity0 >
so i have module Make (R) (T) (S) = struct ... end
21:24
<
infinity0 >
then i want to make another convenience functor, like
21:25
<
infinity0 >
module Make2 (MakeR: functor(T) -> R) (S) : M with [type constraints] =
21:25
<
infinity0 >
let T = DefaultMakeT(S) in Make (MakeR(T)) (T) (S)
21:25
<
infinity0 >
but the "let" is not valid in that position
21:26
<
aantron >
no, you have to write something like
21:26
antkong has quit [Read error: Connection reset by peer]
21:26
<
aantron >
module T = DefaultMakeT(S)
21:27
chris2 has joined #ocaml
21:27
<
aantron >
include Make (MakeR(T)) (T) (S)
21:27
<
infinity0 >
ahhh ok understood, thanks
21:27
<
aantron >
i havent fully parsed what you wrote so i am not sure if this is fully legitimate, it is just a dumb translation..
21:27
<
infinity0 >
i think that works, i now have different type errors that look fixable :) thanks!
21:29
octachron has quit [Quit: Leaving]
21:30
MercurialAlchemi has quit [Ping timeout: 248 seconds]
21:31
th5 has joined #ocaml
21:40
teknozulu has quit [Ping timeout: 276 seconds]
21:44
nkhodyunya has quit [Quit: Leaving.]
21:45
nkhodyunya has joined #ocaml
21:53
ollehar1 has joined #ocaml
21:53
ollehar has quit [Remote host closed the connection]
21:53
ollehar1 is now known as ollehar
21:54
nicholasf has joined #ocaml
22:04
axiles has joined #ocaml
22:08
m-x-v has joined #ocaml
22:21
nkhodyunya has quit [Quit: Leaving.]
22:37
teknozulu has joined #ocaml
22:44
orbifx has joined #ocaml
22:46
silver has quit [Quit: rakede]
23:00
scrabcakes has quit [Quit: Leaving.]
23:05
Stalkr has joined #ocaml
23:10
hcarty has quit [Ping timeout: 240 seconds]
23:13
Algebr2 has quit [Ping timeout: 240 seconds]
23:18
<
infinity0 >
what's the best way to expose the functions of a child module (i.e. argumentns into the functor) to the outside?
23:18
<
infinity0 >
"include Child" could result in name clashes, and also the names were named in the context of the child and don't make sense in the context of the parent
23:19
<
Drup >
module Child = Child
23:19
<
infinity0 >
that's a bit neater than messing around with first-class modules, thanks
23:30
sh0t has quit [Ping timeout: 250 seconds]
23:59
orbifx has quit [Quit: WeeChat 1.3]