yegods has quit [Read error: Connection reset by peer]
python476 has quit [Ping timeout: 246 seconds]
<struk|desk>
can exceptions have generic type parameters?
<mrvn>
only if they are universal I would think
<mrvn>
# exception 'a Foo of 'a;;
<mrvn>
Error: Syntax error
<mrvn>
maybe not
<struk|desk>
yeah..
yegods has joined #ocaml
<mrvn>
to be any use you need to put it in a record with universal function ro GADT.
nicoo has quit [Quit: WeeChat 1.3]
nicoo has joined #ocaml
<mrvn>
type 'a r = { data : 'a; fn : 'a -> string; };;
<mrvn>
type rr = { r : 'a. 'a r };;
<mrvn>
exception Foo of rr;;
<mrvn>
does that solve your problem?
<struk|desk>
mrvn: maybe so, although I already have a couple work arounds too, none of them I liked
<mrvn>
why not check the current CPL?
<mrvn>
ups
<struk|desk>
wow, in other news, Printexc has a "to string" implementation for all exceptions
<struk|desk>
thats powerful
<zozozo>
well, it most likely uses some black magic from the compiler internals
madroach has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
<ygrek>
Printexc.register_printer is no magic
<struk|desk>
sigh, found another syntax highlighter bug with vim. why me
<struk|desk>
(this one, is when I define functors of like make Foo() = struct ... end )
<zozozo>
ygrek: I know, but when there is no custom printer for an exception, Printexc.to_string uses quite a lot of Obj functions to return a string which describes the exception
<struk|desk>
** make/module
^elyse^ has quit [Quit: Leaving...]
<ygrek>
that's true
<mrvn>
struk|desk: why does your make take 2 constant arguments?
<mrvn>
and is that the right syntax for returning a local module?
moei has joined #ocaml
averell has joined #ocaml
<struk|desk>
mrvn: it was like "module Make () = struct ... end". its just a no arg functor
lobo has quit [Quit: leaving]
sz0 has quit [Quit: Connection closed for inactivity]
moei has quit [Quit: Leaving...]
coody is now known as cody`
moei has joined #ocaml
nullcatx_ has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 240 seconds]
bobry has quit [Quit: Connection closed for inactivity]
yegods has quit [Ping timeout: 240 seconds]
yegods has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
infinity0 has quit [Remote host closed the connection]
nullcatxxx_ has joined #ocaml
nullcatx_ has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 246 seconds]
Algebr has joined #ocaml
yegods_ has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods_ has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
Algebr has quit [Ping timeout: 240 seconds]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
Algebr has joined #ocaml
Bahman has joined #ocaml
Bahman has quit [Client Quit]
yegods has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 260 seconds]
yegods has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
shinnya has joined #ocaml
yegods has joined #ocaml
Bahman has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
Sorella has quit [Quit: Connection closed for inactivity]
yegods has joined #ocaml
aaronelkins has joined #ocaml
b0mbastus has joined #ocaml
b0mbastus has quit [Remote host closed the connection]
b0mbastus has joined #ocaml
b0mbastus has quit [Remote host closed the connection]
bombastus has joined #ocaml
darkf has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
mcc has quit [Quit: Connection closed for inactivity]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
abbe_ has joined #ocaml
dch_ has joined #ocaml
mehdi__ has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
vpm_ has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 264 seconds]
OnkV has joined #ocaml
vpm has quit [Ping timeout: 246 seconds]
demonimin has quit [Ping timeout: 246 seconds]
Maelan_ has joined #ocaml
nicoo has quit [Ping timeout: 264 seconds]
demonimin has joined #ocaml
agumonkey_ has joined #ocaml
Maelan has quit [*.net *.split]
Haudegen has quit [*.net *.split]
psy_ has quit [*.net *.split]
mac10688 has quit [*.net *.split]
dch has quit [*.net *.split]
mehdi_ has quit [*.net *.split]
abbe has quit [*.net *.split]
agumonkey has quit [*.net *.split]
zaquest has quit [*.net *.split]
averell has quit [*.net *.split]
agumonkey_ is now known as agumonkey
dch_ is now known as dch
switchy has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
eikke has quit [*.net *.split]
Intensity has quit [*.net *.split]
seangrove has quit [Ping timeout: 260 seconds]
yegods has quit [Ping timeout: 240 seconds]
Algebr has quit [Ping timeout: 240 seconds]
apache2_ has joined #ocaml
patronus_ has joined #ocaml
flx_ has joined #ocaml
yaewa has joined #ocaml
psy_ has joined #ocaml
mac10688 has joined #ocaml
msch_ has joined #ocaml
cyraxjoe_ has joined #ocaml
mankyKitty_ has joined #ocaml
ejcx_ has joined #ocaml
rfv_ has joined #ocaml
pootler_ has joined #ocaml
struk|desk2 has joined #ocaml
sspi_ has joined #ocaml
strmpnk_ has joined #ocaml
ousado_ has joined #ocaml
ir2ivps4__ has joined #ocaml
jerith_ has joined #ocaml
Pepe_ has quit [Ping timeout: 240 seconds]
tvaalen_ has joined #ocaml
Cypi_ has joined #ocaml
k1000_ has joined #ocaml
_2can_ has joined #ocaml
mrvn_ has joined #ocaml
GooseYAr1 has joined #ocaml
theblatt1 has joined #ocaml
zaquest has joined #ocaml
vpm has joined #ocaml
Mercuria1Alchemi has joined #ocaml
riveter_ec2 has joined #ocaml
an has joined #ocaml
mal``` has joined #ocaml
vpm_ has quit [*.net *.split]
moei has quit [*.net *.split]
madroach has quit [*.net *.split]
theblatte has quit [*.net *.split]
ejcx has quit [*.net *.split]
msch has quit [*.net *.split]
mrvn has quit [*.net *.split]
jimt has quit [*.net *.split]
zapu has quit [*.net *.split]
adrien_znc has quit [*.net *.split]
mal`` has quit [*.net *.split]
MercurialAlchemi has quit [*.net *.split]
_2can has quit [*.net *.split]
Cypi has quit [*.net *.split]
pootler has quit [*.net *.split]
riveter has quit [*.net *.split]
patronus has quit [*.net *.split]
sspi has quit [*.net *.split]
ir2ivps4_ has quit [*.net *.split]
apache2 has quit [*.net *.split]
struk|desk has quit [*.net *.split]
chris2 has quit [*.net *.split]
ousado has quit [*.net *.split]
cyraxjoe has quit [*.net *.split]
GooseYArd has quit [*.net *.split]
strmpnk has quit [*.net *.split]
mankyKitty has quit [*.net *.split]
trystero has quit [*.net *.split]
emias has quit [*.net *.split]
rfv has quit [*.net *.split]
AlexRussia has quit [*.net *.split]
jerith has quit [*.net *.split]
flux has quit [*.net *.split]
troydm has quit [*.net *.split]
tvaalen has quit [*.net *.split]
wagle has quit [*.net *.split]
ia0 has quit [*.net *.split]
k1000 has quit [*.net *.split]
flx_ is now known as flux
M-Illandan has quit [Remote host closed the connection]
riveter_ec2 is now known as riveter
msch_ is now known as msch
pootler_ is now known as pootler
jimt has joined #ocaml
Algebr has joined #ocaml
madroach has joined #ocaml
Pepe_ has joined #ocaml
sspi_ is now known as sspi
mankyKitty_ is now known as mankyKitty
relrod_ has joined #ocaml
relrod_ has quit [Changing host]
relrod_ has joined #ocaml
chris2 has joined #ocaml
relrod has quit [*.net *.split]
rfv_ is now known as rfv
trystero has joined #ocaml
strmpnk_ is now known as strmpnk
AlexRussia has joined #ocaml
zapu has joined #ocaml
yegods has joined #ocaml
FreeBirdLjj has joined #ocaml
mac10688 has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 240 seconds]
yegods has joined #ocaml
ygrek has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
M-Illandan has joined #ocaml
yegods has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
Bahman_ has joined #ocaml
Bahman has quit [Ping timeout: 260 seconds]
python476 has joined #ocaml
ia0 has joined #ocaml
emias has joined #ocaml
wagle has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
yegods has quit [Read error: Connection reset by peer]
nicoo has joined #ocaml
MercurialAlchemi has joined #ocaml
troydm has joined #ocaml
yegods has joined #ocaml
seangrove has joined #ocaml
seangrove has quit [Ping timeout: 240 seconds]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
ontologiae_ has joined #ocaml
yaewa has quit [Quit: Leaving...]
moei has joined #ocaml
octachron has joined #ocaml
ontologiae_ has quit [Ping timeout: 240 seconds]
JacobEdelman has quit [Quit: Connection closed for inactivity]
Algebr has quit [Ping timeout: 240 seconds]
Cypi_ is now known as Cypi
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
Maelan has joined #ocaml
Maelan has quit [Client Quit]
Maelan_ is now known as Maelan
seangrove has joined #ocaml
ianhedoesit has joined #ocaml
IbnFirnas has joined #ocaml
eikke has joined #ocaml
Intensity has joined #ocaml
seangrove has quit [Ping timeout: 246 seconds]
switchy has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
M-Illandan has joined #ocaml
M-Illandan has quit [Changing host]
python476 has quit [Changing host]
python476 has joined #ocaml
IbnFirnas has quit [Changing host]
IbnFirnas has joined #ocaml
cody` has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
Simn has joined #ocaml
bombastus has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
quater-nyan has joined #ocaml
<quater-nyan>
Can I say in a module signature that a type constructor is bivariant on a specific argument?
<zozozo>
quater-nyan: what do you mean by bivariant ?
<quater-nyan>
both covariant and contravariant
<quater-nyan>
e.g., type 'a foo = int (* bivariant on 'a *)
<companion_cube>
it's called invariant
<zozozo>
oh, well basically, it just means that you don't really use the argument in the definition
<quater-nyan>
I thought invariant was something like this: type 'a foo = 'a -> 'a
<quater-nyan>
that is, neither covariant nor contravariant
<companion_cube>
oh
<companion_cube>
yes it is
<quater-nyan>
This code forgets that `foo` is contravariant: module FOO : sig type +'a foo end = struct type 'a foo = int end
<quater-nyan>
This code forgets that `foo` is covariant: module FOO : sig type -'a foo end = struct type 'a foo = int end
<quater-nyan>
I'd like something that doesn't forget either, while still keeping foo abstract.
<companion_cube>
I'm not sure it's possible; that would mean that you can cast 'a to almost anything
<quater-nyan>
Yeah, any 'a foo could be converted to any 'b foo
<companion_cube>
say, you start with [`Foo] t, youcan widen to [`Bar | `Foo] t, then to [`Bar] t
<quater-nyan>
Yep.
<companion_cube>
it's a bit weird to have such a type parameter, it doesn't indicate anything
<zozozo>
quater-nyan: in that case, just drop the 'a
<zozozo>
type foo = int
<companion_cube>
:D
<quater-nyan>
The point is that such a module can be used as argument for functors that expect covariant foo and contravariant foo.
<companion_cube>
are there many such functors?
<companion_cube>
I only remember invariant functors
<quater-nyan>
Errr, I mean, two separate functors.
<quater-nyan>
One expects foo to be covariant. The other expects foo to be contravariant.
<companion_cube>
ok, but do you really have such functors?
<quater-nyan>
Yep.
<companion_cube>
I think you'll have to give two distinct arguments to your functors, sorry
<quater-nyan>
Oh, well... Not the end of the world. :-)
Guest87039 is now known as kandu
FreeBirdLjj has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
Algebr has joined #ocaml
yegods has joined #ocaml
<octachron>
quater-nyan, unfortunately this is part of the type system that is not exported to the surface language ( injectivity being another example )
Kakadu has joined #ocaml
<quater-nyan>
Ah, so the internal representation used by ocamlc actually supports this?
<octachron>
as far as I understand, yes: the compiler can infer bivariance, but there is a no way to declare an abstract type as bivariant
<companion_cube>
interesting
yegods has quit [Read error: Connection reset by peer]
<octachron>
Another example is injectivity: when creating an empty type, it is advised to declare it as type empty = private Nothingness
yegods has joined #ocaml
<octachron>
sorry type 'a empty = private Nothingness rather than just "type 'a empty"
<octachron>
because in the second case the compiler cannot infer injectivity in the 'a parameter
Algebr has quit [Ping timeout: 240 seconds]
<quater-nyan>
octachron: that sounds like a bug...
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
<flux>
as I understand it, there is no syntax for defining empty types in the interface. type 'a empty defines an abstract type, it might not be empty.
<flux>
..but I'm not sure how it helps to say private Nothingness, I mean, the module itself can still create those instances?
<companion_cube>
yes
rand has joined #ocaml
<Enjolras>
if you declare type 'a empty = private Nothing in the module too, it will be empty because you cannot build such an instance
yegods has quit [Read error: Connection reset by peer]
nullcatxxx_ has joined #ocaml
tane has joined #ocaml
nullcatxxx_ has quit [Client Quit]
nullcatxxx_ has joined #ocaml
<octachron>
quater-nyan, it is more a complicated feature of the type system that is not fully exposed in the user space
<flux>
oh, had forgotten that
<octachron>
the problem with an abstract type "type 'a empty" is how to decide the type equality " int empty =? string empty "
nullcatxxx_ has quit [Ping timeout: 240 seconds]
aaronelkins has quit [Quit: aaronelkins]
yegods has joined #ocaml
seangrove has joined #ocaml
aaronelkins has joined #ocaml
seangrove has quit [Ping timeout: 240 seconds]
Bahman_ has quit [Read error: Connection reset by peer]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
tvaalen_ has quit [Changing host]
tvaalen_ has joined #ocaml
tvaalen_ is now known as tvaalen
ygrek has joined #ocaml
dsheets has joined #ocaml
ianhedoesit has quit [Quit: leaving]
Algebr has joined #ocaml
<Maelan>
quater-nyan, it’s more typing, but you can leave apparent in your signature than your type 'a t equals int, then define two more interfaces for your module that both abstract 'a t, one with the +'a annotation, the other with -'a
dsheets has quit [Ping timeout: 240 seconds]
<reynir>
±'a t :)
<Maelan>
would be nice
<Maelan>
then i would like → instead of ->
<Maelan>
and α instead of 'a
FreeBirdLjj has quit [Ping timeout: 240 seconds]
yegods has quit [Read error: Connection reset by peer]
<Maelan>
and ×, too
yegods has joined #ocaml
FreeBirdLjj has joined #ocaml
<tane>
lol, pretty distinguishable
ygrek has quit [Ping timeout: 240 seconds]
<Maelan>
but the only really important one: λ instead of fun
<tane>
the fancy haskell plugin for vim displays \ as λ :)
<Maelan>
i assume this would not be difficult to extend the OCaml lexer for that, since non-ASCII characters are currently simply rejected ^^
OnkV has quit [Ping timeout: 240 seconds]
Algebr has quit [Ping timeout: 240 seconds]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
Haudegen has joined #ocaml
agumonkey has quit [Read error: Connection reset by peer]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
pierpa has joined #ocaml
^elyse^ has joined #ocaml
<Drup>
Maelan: there are emacs mode to do those things
Sorella has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
AlexRussia has quit [Ping timeout: 240 seconds]
seangrove has joined #ocaml
yegods has joined #ocaml
seangrove has quit [Ping timeout: 240 seconds]
agumonkey has quit [Ping timeout: 240 seconds]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
erider has joined #ocaml
erider has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
mengu has joined #ocaml
mengu has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
mac10688 has joined #ocaml
Bahman has joined #ocaml
larhat1 has joined #ocaml
nicoo has quit [Ping timeout: 246 seconds]
demonimin has quit [Quit: No Ping reply in 180 seconds.]
bobry has joined #ocaml
demonimin has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
FreeBirdLjj has quit [Ping timeout: 246 seconds]
<bobry>
Why "~/.opam/4.02.2/lib/findlib/findlib.cmxa" might be missing? I have findlib installed, everything except the cmxa file is in place. I'm using OCaml 4.02.2 and findlib 1.5.6.
FreeBirdLjj has joined #ocaml
nicoo has joined #ocaml
ncthom91 has joined #ocaml
AlexRussia has joined #ocaml
BitPuffin|osx has joined #ocaml
yegods has joined #ocaml
seangrove has joined #ocaml
python476 has quit [Quit: Page closed]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
seangrove has quit [Ping timeout: 246 seconds]
lobo has joined #ocaml
<tane>
is there a way to tell oasis to link a library against the object file generated from the "CSources" parameter for "external" function definitions?
<tane>
if I follow the usual tutorial on stubs files etc it gives me a link error (which is what I intended to get) while oasis just compiles everything without any error
<mrvn_>
CLibs iirc
yegods has quit []
octachron has quit [Quit: Leaving]
Pepe_ has quit [Ping timeout: 260 seconds]
mengu has quit []
python476 has joined #ocaml
aaronelkins has quit [Quit: aaronelkins]
JacobEdelman has joined #ocaml
Fleurety has joined #ocaml
^elyse^ has quit [Quit: Leaving]
Mandus has quit [Quit: Changing server]
Bahman has quit [Ping timeout: 240 seconds]
Bahman has joined #ocaml
Algebr has joined #ocaml
Mandus has joined #ocaml
tobiasBora has quit [Ping timeout: 264 seconds]
tobiasBora has joined #ocaml
^elyse^ has joined #ocaml
<Maelan>
i got to quickly used to match x with exception e -> … :-(
<Maelan>
now i have to target 4.01 and i am feeling sad about it
<^elyse^>
Is there an equivalent of the Perl pack function or the Python struct module?
<reynir>
Maelan: maybe you can add it in using ppx (?)
<bobry>
@Algebr I've asked yesterday about findlib.cmxa being missing. You suggested I do `opam config env`. This didn't help because the file findlib.cmxa is indeed missing. Do you have any other thoughts on why this might be?
IbnFirnas has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
Pepe_ has joined #ocaml
larhat1 has quit [Read error: Connection reset by peer]
larhat1 has joined #ocaml
tmtwd has joined #ocaml
jonludlam has quit [Ping timeout: 240 seconds]
Pepe_ has quit [Ping timeout: 240 seconds]
groovy2shoes has quit [Quit: Leaving]
ygrek has joined #ocaml
groovy2shoes has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
relrod_ is now known as relrod
nuuit has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
madroach has joined #ocaml
<def`>
bobry: have you tried just reinstalling findlib?
<bobry>
def`: yep, actually I've even tried reinstalling opam
<def`>
wow and findlib.cmxa never appeared...
<def`>
Maybe try downgrading finblib
<def`>
findlib*
<bobry>
thanks, I'll give it a try
<bobry>
bah, it did help. I wonder if this is just a bug in Makefile for findlib 1.5.6
nullcatxxx_ has joined #ocaml
JacobEdelman has quit [Quit: Connection closed for inactivity]
IbnFirnas has joined #ocaml
cyraxjoe_ is now known as cyraxjoe
contempt has quit [Ping timeout: 260 seconds]
contempt has joined #ocaml
groovy2shoes has quit [Quit: Leaving]
Kakadu has joined #ocaml
^elyse^ has quit [Quit: Leaving]
<tane>
what's the preferred way to have oasis link a stubsfile statically against some other c library?
slash^ has quit [Read error: Connection reset by peer]
tmtwd has quit [Ping timeout: 246 seconds]
tmtwd has joined #ocaml
^elyse^ has joined #ocaml
^elyse^ has quit [Quit: Leaving]
<def`>
bobry: it would be nice to report
^elyse^ has joined #ocaml
psy_ has quit [Read error: Connection reset by peer]
ontologiae_ has quit [Ping timeout: 260 seconds]
tianon has quit [Ping timeout: 260 seconds]
seangrove has joined #ocaml
tianon has joined #ocaml
<seangrove>
Can anyone describe what ocamlmktop actually does on top of e.g. ocamlc? Seems kind of minor, so I'm surprised it needs another tool
<flux>
well, better its own tool than integrated into ocamlc I think..
^elyse^ has quit [Quit: Leaving...]
quater-nyan has quit [Quit: Angels fall, all for you, heretic! Demon heart, bleed for us! (My soul is yours, Dark Master. I will fight for you.)]
<Drup>
seangrove: cat `which ocamlmktop`
<Drup>
you will have your answer
<Drup>
:D
<seangrove>
hah!
<seangrove>
Thanks Drup :)
tmtwd has quit [Ping timeout: 260 seconds]
Bahman has quit [Quit: Ave atque vale]
<seangrove>
So I'm trying to manually compile my app, and I get and error `Reference to undefined global `Cohttp_lwt_unix'`
<seangrove>
Ah, nevermind, I was looking for a cmo file, there was a cma
<seangrove>
Lots of fiddly pieces here :P
<seangrove>
Okay, and it looks like ocamlc is order dependent (I have to list all of the dependencies before a module) - is there any way to programmatically know the package dependencies of a module?
<Drup>
yes, it's called ocamlfind. :]
<Drup>
well, actually it depends what you mean exactly
<seangrove>
I suppose I should look into how ocamlfind works
<Drup>
what are you trying to do exactly ?
<seangrove>
Drup: Mainly understand how all the pieces work together, so I could build things by hand (just using ocamlc) if I wanted to
vpm_ has joined #ocaml
<seangrove>
Some things break here and there and I don't know what to do because of the (super nice) magic boxes
<Drup>
so, ocamlfind is the equivalent pkgconf for the C word
<seangrove>
In this case I'm trying to build a custom toplevel using just ocamlc, but running into the "Reference to undefined global `Topfind'" problem, so just peeling away the different pieces
<Drup>
I don't know much about building toplevels
<seangrove>
Drup: That's alright, please go on about ocamlfind and friends, eager to understand more
<seangrove>
(I have to step out for 30 minutes, but will read everything when I get back)
<Drup>
packages are groups of *.cmfoo
<Drup>
and are managed by ocamlfind
demonimin_ has joined #ocaml
<Drup>
well, actually, scrap that, pretty sure there is very detailed on ocaml.org that present all that much better that I will now
<fds>
Hm yeah, I've read this one. It would be nice if someone knowledgeable could improve it... *hint hint*
enamex has quit [Ping timeout: 260 seconds]
Fleurety has quit [Read error: Connection reset by peer]
Simn has quit [Quit: Leaving]
seangrove has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
nullcatx_ has joined #ocaml
Fleurety has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 240 seconds]
agumonkey has joined #ocaml
johnf has quit [Remote host closed the connection]
AlexRussia has quit [Quit: WeeChat 1.4-dev]
AlexRussia has joined #ocaml
Fleurety has quit [K-Lined]
^elyse^ has joined #ocaml
JacobEdelman has joined #ocaml
ontologiae_ has joined #ocaml
seangrove has joined #ocaml
ontologiae_ has quit [Ping timeout: 260 seconds]
shinnya has joined #ocaml
nullcatxxx_ has joined #ocaml
JacobEdelman has quit [Changing host]
JacobEdelman has joined #ocaml
nullcatx_ has quit [Ping timeout: 246 seconds]
jonludlam has joined #ocaml
<Maelan>
outch, the Unix sockets binding from C is missing some socket options :-(
Haudegen has quit [Ping timeout: 240 seconds]
python476 has quit [Ping timeout: 246 seconds]
seangrove has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Verlassend]
Haudegen has joined #ocaml
seangrove has joined #ocaml
seangrove has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
larhat1 has quit [Quit: Leaving.]
Kakadu has quit [Remote host closed the connection]
seangrove has joined #ocaml
seangrove has quit [Ping timeout: 260 seconds]
badon has quit [Ping timeout: 240 seconds]
jonludlam has quit [Ping timeout: 240 seconds]
seangrove has joined #ocaml
<ahf>
heya. i'm playing a bit around with ocaml for the first time. if i have a parameterized module: module M (C : X) = struct ... end, how do i define the matching signature for that?
nullcatx_ has joined #ocaml
<ahf>
i need C for one of my type constructor functions
<companion_cube>
module M(C : X) : sig .... end
<ahf>
hm, i tried that but got an error. let me retry
nullcatxxx_ has quit [Ping timeout: 240 seconds]
<ahf>
hm, apparantly that was unrelated. in the same .mli file i have another signature defining a type t. shouldn't i be able to refer to Other.t in my M signature?