amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
amnn has joined #ocaml
amnn has quit [Client Quit]
thomasga has quit [Quit: Leaving.]
AltGr has joined #ocaml
sh0t is now known as gpietro
gpietro has left #ocaml ["Leaving"]
ollehar has quit [Read error: Connection reset by peer]
Nijikokun has joined #ocaml
Nijikokun has quit [Max SendQ exceeded]
JuanDaugherty has quit [Quit: Hibernate, etc.]
ollehar has joined #ocaml
sgnb has quit [Ping timeout: 265 seconds]
copycat has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
Hannibal_Smith has joined #ocaml
swgillespie has joined #ocaml
idegen has left #ocaml [#ocaml]
agarwal1975 has quit [Quit: Connection closed for inactivity]
walter|r has joined #ocaml
<ericbmerritt>
rgrinberg: how do you do the module on the ml side of the equation. In the ml file it seems that `module Foo : Foo_intf` dosen't work
<rgrinberg>
ericbmerritt: why would you want to do that though? It's usually not useful to seal a module in an .ml file
<rgrinberg>
ericbmerritt: if you must though, module Foo2 = (Foo : Foo_intf) is possible
<ericbmerritt>
well, I am continuing what we where talking about before. So I have Foo_intf in an mli file that has the line `module Log : Log_intf`. don't I need to define that in the Foo implementation?
<rgrinberg>
I assume you mean s/Foo_intf/Log_intf/
<rgrinberg>
and yes you can simply define module Log = struct ... end normally without any signatures
<rgrinberg>
only sealing the module in the mli
<rgrinberg>
you just have to make sure Log_intf is visible in mli
Hannibal_Smith has quit [Read error: Connection reset by peer]
<ericbmerritt>
So the Foo implementation takes a log. In Foo_intf is the whole `module Log : Log_intf` in the Foo implementation you would do module Log = struct end?
<ericbmerritt>
sorry to be so obtuse and thanks for your help in this
<rgrinberg>
ok, so Foo is a functor?
<ericbmerritt>
ah. let me just show you the code. Its simpler that way
<ericbmerritt>
one second
<rgrinberg>
i think i understand what you want. so let's see if i can just restate so you can confirm
<rgrinberg>
you have some functor Make that takes a module of type Log_intf and creates a module of type S
<rgrinberg>
ericbmerritt: so you have 2 functors now?
<ericbmerritt>
yea. I am trying to separate out modules with side effects so I can test.
<ericbmerritt>
unfortunately, this particular bit is sideeffecty and several modules one or more modules with side effects
<ericbmerritt>
this is the first time I have tried this approach, its obviously giving me problems
<rgrinberg>
ericbmerritt: in config.ml `module S` is a module while in config.mli it's a module type?
<ericbmerritt>
yes. btw. This should probably follow the same model as log
<ericbmerritt>
that is where its something like defualt and then in config.mli there is a `module Default : S`
<jyc>
is there an option for ocamlbuild to make it statically link the libraries it depends on?
<jyc>
the libraries that the built project depends on*
<rgrinberg>
ericbmerritt: PS in general you should call a module `S`. that's reserved for signatures usually
<rgrinberg>
s/should/shouldn't/
<ericbmerritt>
yes. I agree with that. I already changed it actually
<ericbmerritt>
though it doesn't change the actual error at all
<rgrinberg>
this line is also a bit suspicious.`module Make(Impl : S) : S with type t = Impl.t`
<ericbmerritt>
oh. thats me being an idiot copyng from a different place.
<rgrinberg>
so your functor returns a module of the same type as the argument?
<ericbmerritt>
there is where I am confused. The functor should return a module paramaterized by a concrete implementation of A log module
<rgrinberg>
also i don't seen an implementation of Make anywhere so that kind of limits it for me
<jyc>
The documentation for the ocaml build tools is terrible
<ericbmerritt>
I haven't implemented it yet. I am just slowly worknig through my errors
<rgrinberg>
ericbmerritt: ok so your first step should be to write a `module type S` that's the signature of functors' return type
jonh has left #ocaml ["WeeChat 0.4.2"]
<rgrinberg>
ericbmerritt: if you need to refer to the functor's argument inside `S` you should define some `module FunctorArgument : FunctorArgument_intf` INSIDE S
<ericbmerritt>
thats the `module Log : Nixy_log.S` right?
<rgrinberg>
ericbmerritt: yup that looks ok
<ericbmerritt>
and the next step?
<rgrinberg>
ok, so your functor argument e.g. what you pass to Make
<rgrinberg>
it's type is Log_intf
<ericbmerritt>
ok. that makes sense to me
<rgrinberg>
you need to define `module type Log_intf = sig .. end` in both the ml and mli file
<rgrinberg>
any implementations you expose as module Log1 : Log_intf etc.
<ericbmerritt>
even though its defined nixy_log.ml(i)?
<ericbmerritt>
oh. wait. thats defined is Nixy_log.S right?
<rgrinberg>
ericbmerritt: yes it can be defined elsewhere
noze has quit [Ping timeout: 252 seconds]
<rgrinberg>
as long as you don't introduce circular dependencies
<ericbmerritt>
exactly. thats not a problem
<ericbmerritt>
so thats defined in nixy_log as `Nixy_log.S`
<rgrinberg>
ericbmerritt: ok and your functor is also exposed correctly in the mli
<rgrinberg>
so what's the error?
<ericbmerritt>
File "lib/config.ml", line 8, characters 24-25:
<ericbmerritt>
Parse error: "=" expected after [module_type] (in [module_binding0])
<ericbmerritt>
File "lib/config.ml", line 1:
<rgrinberg>
ericbmerritt: i thought you updated that
<rgrinberg>
you have `module type S` in the mli and `module S = struct` in the ml.
<ericbmerritt>
Updated it to what? The main thing I did was change `module S = struct` to `module Default = struct` in the ml
<rgrinberg>
the former is a type, the latter is a value
<rgrinberg>
ericbmerritt: well you must have changed the mli as well. what is that like?
<ericbmerritt>
let me update the gist with both current
<ericbmerritt>
one second
<rgrinberg>
in general it should be something like module Default = struct
<rgrinberg>
module Log = struct .. end
<rgrinberg>
or module Log = Path.To.Concrete.Log.Module
<ericbmerritt>
ok. gist is updated
<ericbmerritt>
ah. the `struct .. end` has actually be there
<ericbmerritt>
?
<rgrinberg>
module Log : Nixy_log.S is not much different from something like `val log : some_type`
<rgrinberg>
it can never occur in a concrete module
<ericbmerritt>
ok. that makes sense to me.
<ericbmerritt>
since the concrete module is concretized by the functor
<rgrinberg>
ericbmerritt: do you have any implementations of Nixy_log.S?
<ericbmerritt>
it can't be `module Log = Path.To.Log`
<ericbmerritt>
yes. at least two. one real one and one test one
<ericbmerritt>
at least thats the plan
<rgrinberg>
ok so try setting one of those to module Log inside config.ml
<rgrinberg>
and note that your `module type S` is only present in the mli
<rgrinberg>
that's like adding a type xxx only in the mli
<rgrinberg>
ocaml will complain that you have no implementation
<rgrinberg>
which means that you must copy paste it in the ml file as well
<ericbmerritt>
so. how does it get parameterized then?
<rgrinberg>
ericbmerritt: not sure i understand what you mean. but you understand the following right:
<rgrinberg>
anything exposed in the mli must be present in the ml file
BitPuffin|osx has quit [Ping timeout: 240 seconds]
destrius has joined #ocaml
monoprotic_2 is now known as monoprotic
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
manizzle has joined #ocaml
enquora has quit [Quit: enquora]
ygrek has quit [Ping timeout: 240 seconds]
manizzle has quit [Ping timeout: 272 seconds]
walter|r has quit [Remote host closed the connection]
darkf has joined #ocaml
idegen has quit [Quit: Leaving.]
hcarty_ has quit [Ping timeout: 256 seconds]
hcarty has joined #ocaml
walter|r has joined #ocaml
AlexRussia has quit [Ping timeout: 245 seconds]
walter|r has quit [Ping timeout: 256 seconds]
AlexRussia has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
Bhavya has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
pdewacht has quit [Ping timeout: 252 seconds]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
pdewacht has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
The_Mad_Pirate has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
manizzle has joined #ocaml
MercurialAlchemi has joined #ocaml
systmkor has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
MercurialAlchemi has joined #ocaml
sdothum has quit [Ping timeout: 276 seconds]
siddharthv_away is now known as siddharthv
pw03ed has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
pw03ed has left #ocaml [#ocaml]
pw03ed has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
rgrinberg has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
rgrinberg has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
ggole has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
psy_ has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
<pw03ed>
Is there any documentation generator good as opam-doc ?
<Drup>
pw03ed: my advise is "wait a bit more until codoc is ready"
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
<Drup>
AltGr: can you ping me when you see a good example of the new instability check in action on opam-repository ? :)
<Drup>
tokenrove: you should not remove oasis, but you can use oasis to generate an oasis-independent build system. This is why oasis should NEVER be a dependence for a released package (dev packages are another story)
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
swgillespie has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
A1977494 has joined #ocaml
Bhavya has quit [Ping timeout: 276 seconds]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
A1977494 has left #ocaml [#ocaml]
MercurialAlchemi has quit [Ping timeout: 245 seconds]
kushal has joined #ocaml
buddyholly has joined #ocaml
meiji11 has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
keen_________ has joined #ocaml
keen________ has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 250 seconds]
Simn has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
Submarine has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
ollehar1 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
tmtwd has quit [Quit: Leaving]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
ollehar1 has quit [Quit: ollehar1]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
Cyanure has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
Haudegen has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
sgnb has joined #ocaml
pyon has joined #ocaml
srenatus has joined #ocaml
MercurialAlchemi has joined #ocaml
pyon is now known as Guest98438
Guest98438 has joined #ocaml
Guest98438 has quit [Changing host]
Guest98438 has quit [Client Quit]
pyon has joined #ocaml
meiji11 has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 272 seconds]
Bhavya has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 246 seconds]
<t4nk879>
I don't know what I have to put there. If I have to use an "in" or a semicolon, as both seems to fail
MercurialAlchemi has joined #ocaml
<Drup>
nothing
<t4nk879>
Drup ?
<Drup>
you don't have to put anything
<t4nk879>
When I put nothing, it doesn't compile
<Drup>
ah, I see
<Drup>
add ";;" then
<AltGr>
--solver=packup, OPAMEXTERNALSOLVER=packup or `solver: packup` in ~/.opam/config
<t4nk879>
I saw that when I added it, it worked
<t4nk879>
But then, I have a problem :
<t4nk879>
I thought ";;" was meant to be the end of the programm
<t4nk879>
What does it mean then ?
<Drup>
AltGr: I don't have time to play at packaging packup right now, so It'll have to wait
<Drup>
t4nk879: end of "sentence"
<AltGr>
np :)
<Drup>
AltGr: do you use the last aspcud ?
<t4nk879>
Drup : So every typing is a separate "sentence" ?
<t4nk879>
And we can't have local typing ?
<AltGr>
last in debian, 1.9.1
<t4nk879>
(By local typing, I mean typing with scope)
<Drup>
AltGr: so it's indeed a local problem
walter|r has joined #ocaml
<AltGr>
Drup, there is a difference: I only have gringo 4.4.0
<Drup>
*sight*
<AltGr>
it's clasp 3.1.2 too
<Drup>
aspcud might be very good science
<Drup>
but it's annoying software
<Drup>
(note how much self control I am exercising in this sentence :D)
<AltGr>
I know... :/
<Drup>
is packup better ?
zpe has joined #ocaml
manizzle has quit [Ping timeout: 265 seconds]
<AltGr>
I think it's a bit more self-contained
<AltGr>
but I can't say much more
<AltGr>
it doesn't support the most advanced criteria we're using with aspcud
walter|r has quit [Ping timeout: 240 seconds]
<Drup>
are those criterias in the default used by opam ?
<Drup>
(I was rather happy with the latest default, after the various multiple iterations)
<Drup>
(I used to use a custom one, but not anymore)
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
<Drup>
t4nk879: It's "type definition", not "typing". Yes, each is a sentence. You can have local type definition using modules, but it's a bit delicate, so you should ignore that for now.
<t4nk879>
Drup : I see
<t4nk879>
Thank you Drup :)
<AltGr>
it'll switch back to compat criteria ; you can improve on those with custom crits though, the unsupported features aren't the most important.
<Drup>
:/
<Drup>
AltGr: is the build/ directory cleaned up on remove ?
<Drup>
it seems it isn't
<t4nk879>
I have an other question
<Drup>
I realize I have lots of duplicated libraries in /build
<Drup>
(and it's starting to take a lot of space ...)
<t4nk879>
Let's say I have an array, of length n. It's made of a sorted left part, and a sorted right part. How can I sort it in O(n) operations nicely in ocaml ?
<AltGr>
hm, it should
MercurialAlchemi has quit [Ping timeout: 256 seconds]
<AltGr>
you can safely remove it anyway
<Drup>
AltGr: the issue is probably on update
<Drup>
not on remove
<Drup>
yes, I know, but some tooling would be less good ! :p
<AltGr>
(it can even update its own comment rather than reposting now)
<Drup>
nice !
ia0 has joined #ocaml
<companion_cube>
o/
ygrek has quit [Ping timeout: 272 seconds]
<Drup>
t4nk879: Try to write it and show your tentative,
<t4nk879>
I'm thinking of making a new array, but I don't like this
MercurialAlchemi has quit [Ping timeout: 252 seconds]
<t4nk879>
I think I made it without a new array
<t4nk879>
Now I have to put it in Ocaml
MercurialAlchemi has joined #ocaml
rhinoceros has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
nullcat has joined #ocaml
<rhinoceros>
Hi, i'm trying to build the Ocaml tools for a cross-compilation project and could use some advices, has ayone ever done that here ?
nullcat__ has joined #ocaml
nullcat has quit [Ping timeout: 256 seconds]
dsheets has quit [Ping timeout: 265 seconds]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
<t4nk879>
Drup : I coded as you said, now I wanted to test, but I get a syntax error on line 36, on the parenthesis, and I don't know why ( http://pastebin.com/w4QshK3w )
psy_ has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
<lyxia>
t4nk879: let m = b/2; should be let m = b/2 in
<t4nk879>
fak
<t4nk879>
i expected something like that ha ha
<t4nk879>
thanks lyxia :)
MercurialAlchemi has quit [Ping timeout: 264 seconds]
dsheets has joined #ocaml
MercurialAlchemi has joined #ocaml
gargaml has joined #ocaml
nullcat__ has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
mort___ has quit [Quit: Leaving.]
Muzer has joined #ocaml
mort___ has joined #ocaml
MercurialAlchemi has joined #ocaml
nullcat_ has joined #ocaml
emanuelz has quit [Quit: emanuelz]
MercurialAlchemi has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
nullc____ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
nullcat_ has quit [Ping timeout: 272 seconds]
thomasga has quit [Quit: Leaving.]
MercurialAlchemi has joined #ocaml
kakadu has joined #ocaml
nullcat_ has joined #ocaml
nullc____ has quit [Ping timeout: 252 seconds]
whirm has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
rhinoceros has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
jonludlam has quit [Ping timeout: 264 seconds]
thomasga has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
jonludlam has joined #ocaml
<vbmithr>
what are your you trying to do ?
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
Haudegen has quit [Ping timeout: 276 seconds]
MercurialAlchemi has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
Gama11 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
Haudegen has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
rand000 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
hay207 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
_andre has joined #ocaml
MercurialAlchemi has joined #ocaml
copycat has quit [Ping timeout: 265 seconds]
myst|work has quit [Quit: Lost terminal]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
BitPuffin|osx has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
Haudegen has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
myst|work has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
<tokenrove>
Drup: so, for a library going into opam, I should probably commit a "weak" setup.ml rather than having an oasis build dependency? That makes sense, but it also feels a bit like committing the output of autoconf to version control.
MercurialAlchemi has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
sdothum has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat has joined #ocaml
MercurialAlchemi has joined #ocaml
Hannibal_Smith has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
fraggle_ has quit [Read error: Connection reset by peer]
MercurialAlchemi has joined #ocaml
AltGr has left #ocaml [#ocaml]
<whirm>
I'm trying to build a linux amd64->arm crosscompiler and I'm not sure it's compiling the right bits for each arch. Is there somewhere I can check what should be built for what or anybody that can tell me? I've looked at this: https://github.com/whitequark/opam-android/tree/master/packages/ocaml-android32.4.02.1 but it seems to be cross compiling the whole thing instead of building a cross compiler.
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
Hannibal_Smith has quit [Quit: Leaving]
fraggle_ has joined #ocaml
MercurialAlchemi has joined #ocaml
Haudegen has joined #ocaml
rand000 has quit [Quit: leaving]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
<Leonidas>
flux: you know what we evaluate to use at my job? hipchat.
MercurialAlchemi has joined #ocaml
<flux>
leonidas, noooooo ;-)
<flux>
I don't recall why we chose to use Slack over Hipchat, but I think some arguments were made
<Leonidas>
flux: currently thinking on building a hipchat to IRC interface.
<flux>
not sure if hipchat might be cheaper, though
<Leonidas>
flux: "Not by Atlassian" is a pretty compelling reason.
<Leonidas>
Except for Stash, I didn
<Leonidas>
't like any of their products
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
idegen has joined #ocaml
MercurialAlchemi has joined #ocaml
dsheets has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
siddharthv is now known as siddharthv_away
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
rgrinberg has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
bezirg has quit [Ping timeout: 246 seconds]
Submarine has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
kushal has quit [Quit: Leaving]
darkf has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
darkf has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
SomeDamnBody has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
zaquest has quit [Read error: Connection reset by peer]
Submarine has quit [Ping timeout: 244 seconds]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
ollehar1 has joined #ocaml
MercurialAlchemi has joined #ocaml
milosn_ has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
bezirg has joined #ocaml
Submarine has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
Submarine has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
milosn_ is now known as milosn
pw03ed has quit [Ping timeout: 246 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
kdas_ has joined #ocaml
MercurialAlchemi has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
contempt has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
contempt has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
mcclurmc_ has joined #ocaml
MercurialAlchemi has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
kdas_ has quit [Ping timeout: 244 seconds]
kdef has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
rgrinberg has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
Submarine has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 250 seconds]
Haudegen has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
shinnya has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
tmtwd has joined #ocaml
MercurialAlchemi has joined #ocaml
sepp2k has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
kushal has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
maufred_ has quit [Ping timeout: 255 seconds]
zaquest has joined #ocaml
darkf has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
tane has joined #ocaml
slash^ has joined #ocaml
maufred has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
Hannibal_Smith has joined #ocaml
MercurialAlchemi has joined #ocaml
dsheets has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
mort___1 has joined #ocaml
MercurialAlchemi has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
mort___ has quit [Ping timeout: 265 seconds]
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
bezirg has quit [Ping timeout: 255 seconds]
robink has quit [Ping timeout: 255 seconds]
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
robink_ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
mort___1 has quit [Ping timeout: 265 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
thomasga has quit [Ping timeout: 244 seconds]
jwatzman|work has joined #ocaml
MercurialAlchemi has joined #ocaml
zpe has quit [Remote host closed the connection]
jeffmo has joined #ocaml
pyon has quit [Quit: fix config]
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
sdothum has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
Submarine has quit [Quit: Leaving]
gabemc has joined #ocaml
whirm has quit [Quit: WeeChat 1.2]
systmkor has quit [Ping timeout: 245 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
nullca___ has joined #ocaml
MercurialAlchemi has joined #ocaml
copycat1 has joined #ocaml
nullcat has quit [Ping timeout: 256 seconds]
mort___ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
copycat1 has quit [Ping timeout: 264 seconds]
pyon has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
robink_ is now known as robink
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
mort___ has quit [Quit: Leaving.]
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
systmkor has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 265 seconds]
mort___ has joined #ocaml
jonludlam has quit [Ping timeout: 252 seconds]
MercurialAlchemi has quit [Ping timeout: 250 seconds]
ollehar1 has quit [Ping timeout: 256 seconds]
rand000 has joined #ocaml
MercurialAlchemi has joined #ocaml
mort___ has quit [Client Quit]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
nullca___ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
wraithm has joined #ocaml
cml has joined #ocaml
MercurialAlchemi has joined #ocaml
srenatus has quit [Quit: Connection closed for inactivity]
<cml>
I am using Lwt_io.establish_server to create a tcp server
<cml>
Is there any way to extract ip address of the input connection?
<cml>
Lwt_io.establish_server socket fun
<cml>
and function is of this form:
Submarine has joined #ocaml
yomimono has quit [Ping timeout: 244 seconds]
<cml>
let fun (ic, oc) = Lwt.ignore_result ( lwt read = Lwt.io.read_line ic in ... )
MercurialAlchemi has quit [Ping timeout: 252 seconds]
walter|r has joined #ocaml
The_Mad_Pirate has quit [Quit: Konversation terminated!]
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
MercurialAlchemi has joined #ocaml
adrien has quit [Ping timeout: 244 seconds]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
hbar has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 250 seconds]
SomeDamnBody has quit [Ping timeout: 276 seconds]
<companion_cube>
looks nice
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
adrien has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 246 seconds]
mort___ has joined #ocaml
MrScout has joined #ocaml
MercurialAlchemi has joined #ocaml
ggole has quit []
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
thomasga has joined #ocaml
thomasga1 has joined #ocaml
thomasga has quit [Ping timeout: 245 seconds]
MercurialAlchemi has quit [Ping timeout: 250 seconds]
jeffmo has quit [Quit: jeffmo]
psy_ has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
psy_ has joined #ocaml
kdas_ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
hbar has joined #ocaml
kdas_ has quit [Read error: Connection reset by peer]
moei has quit [Quit: Leaving...]
ygrek has joined #ocaml
dsheets has joined #ocaml
kushal has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
swgillespie has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
swgillespie has quit [Client Quit]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
tane has quit [Quit: Verlassend]
mort___ has quit [Quit: Leaving.]
Submarine has quit [Ping timeout: 250 seconds]
Submarine has joined #ocaml
MercurialAlchemi has joined #ocaml
mort___ has joined #ocaml
Submarine has quit [Ping timeout: 245 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
kakadu has quit [Quit: Page closed]
MercurialAlchemi has joined #ocaml
Submarine has joined #ocaml
kushal has joined #ocaml
slash^ has left #ocaml [#ocaml]
slash^ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
tane has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
jonludlam has joined #ocaml
labichn has joined #ocaml
Cyanure has quit [Ping timeout: 246 seconds]
MercurialAlchemi has quit [Ping timeout: 245 seconds]
<tobiasBora>
Hello !
MercurialAlchemi has joined #ocaml
Denommus has joined #ocaml
<tobiasBora>
I didn't annoy you with my problem during a few days, but I'm back :P
<tobiasBora>
I can't manage to give to ocamlbuild an include folder that contains .cmo files.
jeffmo has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
Submarine has quit [Remote host closed the connection]
<tobiasBora>
Here is the command I run : ocamlbuild -use-ocamlfind -plugin-tags "package(eliom.ocamlbuild),package(containers),package(fileutils)" -Is "root/src/System/PhTools/_build/_server" _server/./TestHelloServices.cmo
<tobiasBora>
(_brick/root/src/System/PhTools/_build/_server is a symlink to a folder that contains the cmo files)
<tobiasBora>
and the compilation break on the line ocamlfind ocamlc -I '' -I _server -I _type -i -thread -package eliom.server -package eliom.syntax.predef -package eliom.syntax.type -syntax camlp4o _type/TestHelloServices.ml > _type/TestHelloServices.inferred.mli
<tobiasBora>
As you can see the -I option isn't reported to "ocamlfind ocamlc -i"
walter|r has quit [Remote host closed the connection]
<tobiasBora>
When I do it by hand it works
<tobiasBora>
but if not I have the error "Unbound module PhTools"
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
wraithm has quit [Quit: leaving]
pyon is now known as lptm
Cyanure has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
kdef has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
jonludlam has quit [Ping timeout: 265 seconds]
MrScout has quit [Ping timeout: 265 seconds]
kakadu has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
bezirg has joined #ocaml
jeffmo has quit [Quit: jeffmo]
sdothum has joined #ocaml
BitPuffin|osx has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
manizzle has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
SomeDamnBody has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
mort___ has quit [Quit: Leaving.]
MercurialAlchemi has quit [Ping timeout: 276 seconds]
jonludlam has joined #ocaml
MercurialAlchemi has joined #ocaml
<Simn>
(How) can I define a `class` and a `type` that depend on each other?
<Denommus>
maybe I should learn the object system
MercurialAlchemi has quit [Ping timeout: 245 seconds]
MercurialAlchemi has joined #ocaml
rbocquet has quit [Quit: WeeChat 1.0.1]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
<Denommus>
is it my impression, or I can emulate prototype inheritance with OCaml's object system?
MercurialAlchemi has joined #ocaml
<S11001001>
Denommus: if you can't mutate, prototype inheritance isn't observably different from prototype copying. And you can't mutate. So...
<Denommus>
ah
<Denommus>
okay
<flux>
simn, well, there are a few approaches, sadly not 'one right'.. the easiest is probably to make the class polymorphic regarding the type, is possible. class ['type] foo = object .. end and then later on type bar = int foo
<flux>
simn, another is to forgo 'class' altogether and use type foo = < i : string -> int; .. > etc, so you get to use the recursive references
<flux>
simn, and the third one is to use recursive modules, but that's a lot of writing.
MercurialAlchemi has quit [Ping timeout: 264 seconds]
<flux>
I wish this issue was fixed (ie. just have a way to recursively define classes and types) but I guess the OCaml community isn't overly eager to embrace the object side, which I think is a bit shame.
<flux>
maybe the syntax could be: class foo = object end and type i = int and similarly for types and classes
<Simn>
I see, thank you for the detailed information!
<Denommus>
flux: this first approach is using shadow types, right?
hay207 has quit [Quit: Leaving]
<flux>
shadow types?
MercurialAlchemi has joined #ocaml
<flux>
if you mean phantom types, then no
<flux>
if shadow types, then I don't know what they are :)
<Denommus>
phantom types, yes
<Denommus>
sorry
<flux>
phantom types would involve making a parametrized type that doesn't use the parameter
<flux>
but in this case we do use it
<flux>
this is more akin to the concept "tying the knot", where you first introduce a polymorphic type, then introduce the type you really wanted to use and then finally constructing the type you really wanted by parametrizing the first type with the second
_andre has quit [Quit: leaving]
kushal has quit [Quit: Leaving]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
yomimono has joined #ocaml
tane has quit [Quit: Verlassend]
<tobiasBora>
I would like to create an opam entry for a big project that isn't in Opam right now.
<tobiasBora>
However, I don't know what is the good way to proceed to do that :
<tobiasBora>
Indeed the "make install" command install it in the $prefix/lib/ folder but do not create a subfolder for the current library
<tobiasBora>
Moreover, the lib/ folder contains the C compiled files, and a subfolder ocaml/
<tobiasBora>
So I thing that I need to do something like moving every C files into a subfolder plplot/, and do the same thing with the content of the folder ocaml/
<tobiasBora>
but
<tobiasBora>
I don't know what is the good way to proceed :
<tobiasBora>
- should I make a fork of this project, with my own Makefile, and periodically do a "git pull"
<tobiasBora>
- should I do only a github project that contains only a kind of shell script that do "git clone ...", and do the installation
johnf has joined #ocaml
<tobiasBora>
(I'm affraid that with this way it's pretty hard to say "the code on the plplot github changed")
tmtwd has quit [Ping timeout: 252 seconds]
mfp has quit [Remote host closed the connection]
Submarine has joined #ocaml
rbocquet has joined #ocaml
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 246 seconds]
mfp has joined #ocaml
Haudegen has quit [Ping timeout: 255 seconds]
emanuelz has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
Denommus` is now known as Denommus
rand000 has quit [Ping timeout: 244 seconds]
gabemc has quit [Ping timeout: 255 seconds]
Cyanure has quit [Remote host closed the connection]
bezirg has quit [Ping timeout: 276 seconds]
gargaml has quit [Quit: WeeChat 1.2]
<Denommus>
the object system seems kinda interesting
<Denommus>
but I don't see myself using it. Is that normal?
mort___ has joined #ocaml
mort___ has quit [Quit: Leaving.]
chicoenslips has joined #ocaml
enquora has joined #ocaml
moei has joined #ocaml
thomasga1 has quit [Quit: Leaving.]
Gama11 has quit [Read error: Connection reset by peer]
freling has quit [Quit: Leaving.]
shinnya has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
Submarine has quit [Remote host closed the connection]
<struktured>
Denommus: extremely, in ocaml realm
kakadu has quit [Remote host closed the connection]
swgillespie has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
rand000 has joined #ocaml
darryn has joined #ocaml
darryn has quit [Quit: Lost terminal]
rand000 has quit [Quit: leaving]
systmkor has quit [Ping timeout: 245 seconds]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
obadz has joined #ocaml
labichn has quit [Quit: Page closed]
obadz has quit [Remote host closed the connection]