flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
tianon has quit [Ping timeout: 246 seconds]
talzeus has quit [Read error: Connection reset by peer]
Simn has quit [Quit: Leaving]
travisbrady has joined #ocaml
osa1 has joined #ocaml
tianon has joined #ocaml
breakds has quit [Quit: Konversation terminated!]
talzeus has joined #ocaml
mort___ has quit [Quit: Leaving.]
mcclurmc has joined #ocaml
michael_lee has joined #ocaml
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
adhollander has quit [Quit: Leaving]
csakatoku has quit [Remote host closed the connection]
mye has quit [Ping timeout: 240 seconds]
csakatoku has joined #ocaml
breakds has joined #ocaml
Xenasis has quit [Remote host closed the connection]
manizzle has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
cesar_ has joined #ocaml
cesar_ has quit [Remote host closed the connection]
cesar_ has joined #ocaml
cesar_ is now known as Guest81082
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 245 seconds]
csakatoku has joined #ocaml
ollehar has joined #ocaml
yacks has quit [Ping timeout: 245 seconds]
_5kg has quit [Ping timeout: 245 seconds]
metasyntax has quit [Ping timeout: 245 seconds]
yacks has joined #ocaml
_5kg has joined #ocaml
Derander has quit [Ping timeout: 246 seconds]
Derander has joined #ocaml
strobegen has joined #ocaml
BitPuffin has quit [Ping timeout: 245 seconds]
manizzle has joined #ocaml
maufred has quit [Ping timeout: 245 seconds]
travisbrady has quit [Quit: travisbrady]
jpdeplaix has quit [Ping timeout: 265 seconds]
maufred has joined #ocaml
Guest81082 has quit [Remote host closed the connection]
jpdeplaix has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 252 seconds]
ggole has joined #ocaml
yroeht has quit [Ping timeout: 272 seconds]
yroeht has joined #ocaml
breakds has quit [Remote host closed the connection]
justdit has joined #ocaml
justdit has left #ocaml []
mcclurmc has quit [Remote host closed the connection]
tov has quit [Ping timeout: 245 seconds]
jao has quit [Ping timeout: 245 seconds]
w0rm has joined #ocaml
w0rm has quit [Client Quit]
w0rm_x has joined #ocaml
peterbb has quit [Ping timeout: 252 seconds]
w0rm_x has quit [Client Quit]
peterbb has joined #ocaml
AdmWiggin has joined #ocaml
osa1_ has joined #ocaml
metasyntax has joined #ocaml
wagle_ has joined #ocaml
wagle_ has quit [Excess Flood]
mariusae has joined #ocaml
tianon has quit [Ping timeout: 245 seconds]
robink has quit [Ping timeout: 245 seconds]
wagle has quit [Ping timeout: 245 seconds]
osa1 has quit [Ping timeout: 245 seconds]
mariusae_ has quit [Ping timeout: 245 seconds]
so has quit [Ping timeout: 245 seconds]
scripty has joined #ocaml
wagle has joined #ocaml
so has joined #ocaml
mcclurmc has joined #ocaml
csakatoku has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
scripty has left #ocaml []
ggole has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
w0rm_x has joined #ocaml
yacks has quit [Ping timeout: 260 seconds]
w0rm_x has quit [Client Quit]
ggole has joined #ocaml
gustav__ is now known as gustav___
osa1__ has joined #ocaml
osa1_ has quit [Ping timeout: 260 seconds]
mcclurmc has quit [Remote host closed the connection]
Neros has quit [Ping timeout: 240 seconds]
kyrylo has quit [Read error: Operation timed out]
ulfdoz has joined #ocaml
Arzaga has joined #ocaml
mchqwerty has joined #ocaml
ttamttam has joined #ocaml
peterbb has quit [Ping timeout: 246 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
mcclurmc has joined #ocaml
csakatoku has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
mcclurmc has quit [Ping timeout: 246 seconds]
csakatoku has joined #ocaml
baz_ has joined #ocaml
Yoric has joined #ocaml
contempt has quit [Ping timeout: 272 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest29108
w0rm_x has joined #ocaml
ttamttam has quit [Quit: ttamttam]
kizzx2 has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 245 seconds]
zenspider has joined #ocaml
w0rm_x has quit [Ping timeout: 245 seconds]
<zenspider> hiya. I'm trying to get set up to work through real world ocaml and am hitting snags. I don't have enough experience to know how to remedy them yet.
<zenspider> https://github.com/realworldocaml/book/wiki/Installation-Instructions says to add a bunch of lines to ~/.ocamlinit to enhance utop, but when I put them in as-is, I get errors from utop
talzeus has quit [Read error: Connection reset by peer]
<zenspider> Invalid argument: "ident_of_expr: this expression is not an identifier"
talzeus has joined #ocaml
<zenspider> utop still seems to work, and I don't have any more info to know which line(s) it is that is borking
<zenspider> looks like if I have any 2 lines, it goes bad. should there be terminators?
<zenspider> totally guessing... but it looks like each line should have ";;" on them
zbroyar has joined #ocaml
robink has joined #ocaml
Guest29108 has quit [Read error: Connection reset by peer]
djcoin has joined #ocaml
zpe has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
cago has joined #ocaml
mika1 has joined #ocaml
ddosia has quit [Ping timeout: 245 seconds]
ddosia has joined #ocaml
mchqwerty has quit [Quit: Odcházím]
mcclurmc has joined #ocaml
zenspider has quit [Read error: Connection reset by peer]
zenspider has joined #ocaml
<orbitz> zenspider: still having issues?
Yoric has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Ping timeout: 245 seconds]
Leonidas has quit [Ping timeout: 240 seconds]
osa1__ has quit [Remote host closed the connection]
osa1__ has joined #ocaml
Leonidas has joined #ocaml
Simn has joined #ocaml
Kakadu has joined #ocaml
Arzaga has quit [Quit: Computer has gone to sleep.]
AltGr has joined #ocaml
acieroid` has joined #ocaml
flx_ has joined #ocaml
sgnb` has joined #ocaml
flx_ is now known as Guest14489
ousado_ has joined #ocaml
ttamttam has joined #ocaml
jzelinskie_ has joined #ocaml
jlouis_ has joined #ocaml
<Kakadu> o/
<Kakadu> I have some issues with opem repo where source should be taken from git
wolfnn has joined #ocaml
<Kakadu> When I execute `opam-admin make` it grabs current source to `archives` folder and pack it. But if don't commit archives folder to web I can't use this repo in opam
vpm_ has joined #ocaml
sgnb has quit [*.net *.split]
ousado has quit [*.net *.split]
jzelinskie has quit [*.net *.split]
rwmjones has quit [*.net *.split]
vpm has quit [*.net *.split]
acieroid has quit [*.net *.split]
jlouis has quit [*.net *.split]
flux has quit [*.net *.split]
Guest14489 is now known as flux
<Kakadu> Should I commit `archives` directory even when I want to grab sources from Git? Is it described somewhere?
jzelinskie_ is now known as jzelinskie
<Kakadu> Drup: If you have created `ocsigen-dev` opam repo you'll probably know something....
ulfdoz has quit [Ping timeout: 246 seconds]
rwmjones has joined #ocaml
thomasga has joined #ocaml
acieroid` is now known as acieroid
cdidd has quit [Ping timeout: 246 seconds]
peregrin_ has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
peterbb has joined #ocaml
rand000 has joined #ocaml
mcclurmc has joined #ocaml
csakatoku has quit [Ping timeout: 260 seconds]
snyp has joined #ocaml
snyp has quit [Max SendQ exceeded]
cdidd has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
_andre has joined #ocaml
baz_ has quit [Remote host closed the connection]
ttamttam has quit [Ping timeout: 245 seconds]
ttamttam has joined #ocaml
<zenspider> orbitz: haven't tried any further. filed a bug on the book's github
w0rm_x has joined #ocaml
w0rm_x has left #ocaml []
<orbitz> zenspider: what was the issueagain?
thomasga has quit [Quit: Leaving.]
pminten has joined #ocaml
yezariaely has joined #ocaml
yezariaely is now known as arj
thomasga has joined #ocaml
Xenasis has joined #ocaml
Xenasis has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
peterbb has quit [Ping timeout: 240 seconds]
Kakadu_ has joined #ocaml
Kakadu has quit [Ping timeout: 240 seconds]
mye has joined #ocaml
_andre has quit [Ping timeout: 245 seconds]
_5kg has quit [Ping timeout: 246 seconds]
rand000 has quit [Quit: leaving]
baz_ has joined #ocaml
_andre has joined #ocaml
_5kg has joined #ocaml
zbroyar has quit [Quit: Leaving.]
michael_lee has quit [Ping timeout: 252 seconds]
jonludlam has joined #ocaml
avsm has joined #ocaml
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml
avsm has quit [Client Quit]
avsm has joined #ocaml
thomasga has quit [Quit: Leaving.]
ttamttam has quit [Ping timeout: 245 seconds]
ttamttam has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
noddy has joined #ocaml
avsm has quit [Client Quit]
avsm has joined #ocaml
mcclurmc has joined #ocaml
talzeus has quit [Remote host closed the connection]
mcclurmc has quit [Ping timeout: 246 seconds]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
BitPuffin has joined #ocaml
csakatoku has joined #ocaml
avsm has quit [Ping timeout: 260 seconds]
<Drup> Kakadu_: I didn't create it, but this seems to be a different issue
<Drup> Kakadu_: just put the correct informations in the individual opam files should be enough
<Kakadu_> Drup: I already found issue, thanks
<Kakadu_> have*
sepp2k has joined #ocaml
_andre has quit [Ping timeout: 248 seconds]
csakatoku has quit [Ping timeout: 260 seconds]
snyp has joined #ocaml
snyp has quit [Max SendQ exceeded]
_5kg has quit [Ping timeout: 246 seconds]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
_andre has joined #ocaml
milosn_ is now known as milosn
avsm has joined #ocaml
talzeus has joined #ocaml
skchrko has quit [Quit: Leaving]
talzeus__ has joined #ocaml
talzeus__ has quit [Read error: Connection reset by peer]
talzeus__ has joined #ocaml
peterbb has joined #ocaml
talzeus__ has quit [Read error: Connection reset by peer]
talzeus has quit [Ping timeout: 246 seconds]
wolfnn has quit [Read error: Operation timed out]
avsm has quit [Ping timeout: 245 seconds]
darkf has quit [Quit: Leaving]
breakds has joined #ocaml
talzeus has joined #ocaml
Yoric has joined #ocaml
dsheets has joined #ocaml
arj has quit [Quit: Leaving.]
yezariaely has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 246 seconds]
snyp has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
avsm has joined #ocaml
jao has quit [Ping timeout: 272 seconds]
avsm has quit [Ping timeout: 264 seconds]
thomasga has joined #ocaml
avsm has joined #ocaml
yezariaely is now known as arj
breakds has quit [Quit: Konversation terminated!]
breakds has joined #ocaml
snyp has quit [Quit: "bbl"]
osa1__ has quit [Quit: Konversation terminated!]
skchrko has joined #ocaml
thomasga1 has joined #ocaml
thomasga has quit [Ping timeout: 245 seconds]
tovarish has joined #ocaml
ollehar has joined #ocaml
peregrin_ has quit [Ping timeout: 250 seconds]
ontologiae_ has joined #ocaml
yacks has joined #ocaml
breakds has quit [Remote host closed the connection]
mort___ has joined #ocaml
amirmc has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 246 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
mort___ has quit [Client Quit]
avsm has quit [Quit: Leaving.]
ollehar has quit [Ping timeout: 245 seconds]
travisbrady has joined #ocaml
tovarish has quit [Quit: Leaving]
amirmc has quit [Quit: Leaving.]
shinnya has joined #ocaml
amirmc has joined #ocaml
travisbrady has quit [Quit: travisbrady]
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
_5kg has joined #ocaml
ttamttam has quit [Client Quit]
mcclurmc has joined #ocaml
metasyntax has quit [Quit: Leaving]
ttamttam has joined #ocaml
cago has left #ocaml []
amirmc has quit [Ping timeout: 264 seconds]
pminten has quit [Quit: Leaving]
Xenasis has joined #ocaml
WraithM_ has joined #ocaml
<ggole> Is there a way to indicate that the type of a GADT is unknown, without introducing an existential wrapper?
<ggole> I would like to have, say, an array of GADT values, each of which could be any variant. A wrapper type any = Any : 'a t -> any will do the job, but is a little clumsy (and introduces an indirection).
mika1 has quit [Quit: Leaving.]
travisbrady has joined #ocaml
Kakadu_ has quit [K-Lined]
<sgnb`> ggole: you can (for example) use first-class modules: module type THING = sig type stuff val thing : stuff t end;; type any = Any of (module THING);;
sgnb` is now known as sgnb
<ggole> Hmm... that seems pretty close to the wrapper type (if I understand it right).
<Simn> I came across the same question today, but in a different language.
<ggole> It turns up naturally when you can't represent the structure you want in the type system, I think.
<ggole> For instance, in the canonical typed interpreter example, when you try to represent arbitrary tuples
<whitequark> hm, how do I do fsync(2) in ocaml?
peterbb has quit [Ping timeout: 248 seconds]
<whitequark> hm, extunix has that, but is not in opam...
yacks has quit [Ping timeout: 252 seconds]
yacks has joined #ocaml
vpm_ is now known as vpm
amirmc has joined #ocaml
mort___ has joined #ocaml
AdmWiggin is now known as tianon
amiller has quit [Excess Flood]
Guest15832 has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
travisbrady has quit [Quit: travisbrady]
eikke has joined #ocaml
<eikke> anyone ever tried to encode the 'free monad' concept in ocaml?
travisbrady has joined #ocaml
shinnya has quit [Ping timeout: 250 seconds]
peterbb has joined #ocaml
osa1 has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest86873
contempt has joined #ocaml
Simn is now known as Simn|gone
contempt has quit [Ping timeout: 264 seconds]
contempt has joined #ocaml
contempt has quit [Ping timeout: 260 seconds]
contempt has joined #ocaml
<orbitz> Finally! All prop tests pasing
contempt has quit [Ping timeout: 240 seconds]
contempt has joined #ocaml
lopho has quit [Ping timeout: 240 seconds]
jonludlam has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
AltGr has left #ocaml []
eikke has quit [Ping timeout: 246 seconds]
lopho has joined #ocaml
Yoric has joined #ocaml
Guest86873 has quit [Remote host closed the connection]
djcoin has quit [Quit: WeeChat 0.4.1]
mfp_ has quit [Ping timeout: 246 seconds]
ttamttam has quit [Quit: ttamttam]
sepp2k has quit [Quit: Konversation terminated!]
Yoric has quit [Ping timeout: 246 seconds]
wolfnn has joined #ocaml
dsheets has quit [Ping timeout: 252 seconds]
travisbrady has joined #ocaml
amirmc has quit [Quit: Leaving.]
Yoric has joined #ocaml
mfp has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
rand000 has joined #ocaml
peterbb has quit [Ping timeout: 272 seconds]
peterbb has joined #ocaml
BitPuffin has quit [Quit: WeeChat 0.4.2]
avsm has joined #ocaml
Neros has joined #ocaml
thomasga1 has quit [Quit: Leaving.]
snyp has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
avsm has quit [Ping timeout: 246 seconds]
Simn|gone has quit [Ping timeout: 245 seconds]
arj has quit [Quit: Leaving.]
mcclurmc has quit [Remote host closed the connection]
AltGr has joined #ocaml
eikke has joined #ocaml
mfp has joined #ocaml
AltGr has left #ocaml []
metasyntax has joined #ocaml
mfp has quit [Read error: Connection reset by peer]
<eikke> The expression has type a -> b but an expression was expected of type a -> b. The type constructor a would escape its scope
<eikke> confusing error messages are chasing me :p
<adrien> basically, a type constructor that is only available inside a given environment would need to be made accessible from outside this environment
<adrien> because the expression which ocaml complains about is visible from outside the environment
<adrien> did I make sense? :P
<eikke> I sorta know what it means, but dunno how to work around ;-)
mfp has joined #ocaml
<eikke> I sorta know what it means, but dunno how to work around ;-)
<eikke> oops, sorry
osa1 has quit [Ping timeout: 240 seconds]
<ggole> Are you using GADTs?
<eikke> nope
<eikke> I'll provide a sample in a minute, food first
<eikke> would love to get this sorted out
<ggole> Local modules?
<ggole> If you have, say, let f x = let M = struct ... end in ..., you can't return a value with a type containing type constructors from M
Simn has joined #ocaml
<ggole> (Since the module is supposed to be local.)
skchrko has quit [Quit: Leaving]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 272 seconds]
ollehar has joined #ocaml
snyp has quit [Quit: Leaving]
BitPuffin has joined #ocaml
_andre has quit [Quit: leaving]
<eikke> ggole, adrien: here's the gist of it: http://codepad.org/5E047nAc
<eikke> looks like codepad's compiler is older than mine or something
<eikke> it's a bad example since it'll keep recursing, but that's not the point
<ggole> You can remove that problem by simply deleting the (type a) (type b), but your code will still not typecheck
<eikke> I tried without those type annotations
<ggole> Er, by deleting the (type a) (type b) and making those variables instead
<eikke> This expression has type 'a I.t t I.t but is here used with type 'a t I.t
<eikke> that sounds like 'go' not being polymorphic enough to me
<ggole> I'm trying to figure out what it should do
sepp2k has joined #ocaml
<eikke> trying to encode free monads over a functor
<ggole> Hmm, compiles with -rectypes if I change some things
<ggole> I think ocaml is unhappy because the type of go is infinite
<eikke> I'll update the demo
mye has quit [Quit: mye]
<ggole> I lack the monad-fu to be able to tell whether this is what you are trying to do.
<eikke> let me try to incorporate :)
<ggole> Again, to make it clear: it needs -rectypes to compile
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
jlouis_ is now known as jlouis
<eikke> the rectypes option seems to be what I needed
mye has joined #ocaml
<ggole> Just in time - I have to leave o/
<ggole> Good luck with your problem.
<eikke> thanks!
ggole has quit []
rand000 has quit [Quit: leaving]
Anarchos has joined #ocaml
Nahra has quit [Quit: Lost terminal]
sepp2k has quit [Quit: Konversation terminated!]
travisbrady has quit [Quit: travisbrady]
jonludlam has joined #ocaml
mcclurmc has joined #ocaml
Nahra has joined #ocaml
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
mcclurmc has quit [Ping timeout: 272 seconds]
baz_ has quit [Remote host closed the connection]
talzeus has quit [*.net *.split]
travisbrady has joined #ocaml
Guest15832 is now known as amiller
amiller has quit [Changing host]
amiller has joined #ocaml
<swistak35> Hi, I have a quetion. Let's say I have passed a list `l1` as an argument to function `foo`. Inside this function I'm using "ref l1". Does Ocaml will copy this list and put contents to reference, or maybe reference will be pointing to l1, until I will change it to something else?
kyrylo has joined #ocaml
baz_ has joined #ocaml
Yoric has quit [Remote host closed the connection]
<smondet> swistak35: it does not copy the list, the ref is a 'pointer' to the head
<swistak35> smondet: thank you : )
dch has left #ocaml []
Neros has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
tane has joined #ocaml
ontologiae_ has quit [Ping timeout: 246 seconds]
NoNNaN has joined #ocaml
baz_ has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.9.7-H-280704]: i've been blurred!]
manud_ has joined #ocaml
manud has quit [Ping timeout: 240 seconds]
manud_ is now known as manud
<ericbmerritt> guys, I am wondering where the best place to get some help on atdgen might be.
<adrien> mailing-list?
amirmc has joined #ocaml
<ericbmerritt> adrien: no specific maling list, just the ocaml list. I figured that was the answer, but it never hurts to check
<adrien> yeah, it should be good
darkf has joined #ocaml
tane has quit [Quit: Verlassend]
manizzle has quit [Ping timeout: 248 seconds]
smondet has quit [Quit: leaving]
w0rm_x has joined #ocaml
w0rm_x has quit [Max SendQ exceeded]
tobiasBora has joined #ocaml
<tobiasBora> Hello,
w0rm_x has joined #ocaml
w0rm_x has quit [Max SendQ exceeded]
w0rm_x has joined #ocaml
w0rm_x has left #ocaml []
<tobiasBora> I'd like to know if it's possible to exports the comments for ocamldoc from a .ml file to a .mli ?
mye has quit [Quit: mye]
thomasga has joined #ocaml
strobegen has quit [Quit: Leaving.]
jao has quit [Ping timeout: 240 seconds]
<tobiasBora> And when I generate a mli file, if I don't want that the function secret_function appear in it (it will have an implication only in the documentation isn't it ?) I can remove it, but when I'll generate a new mli my modifications will be removed isn't it ?
WraithM_ has quit [Ping timeout: 240 seconds]
mye has joined #ocaml
eikke has quit [Ping timeout: 264 seconds]
mort___ has quit [Quit: Leaving.]
wolfnn has quit [Ping timeout: 272 seconds]
osa1 has joined #ocaml
kyrylo has quit [Ping timeout: 240 seconds]
thomasga has quit [Quit: Leaving.]
shinnya has joined #ocaml
WraithM has quit [Quit: Lost terminal]
travisbrady has quit [Ping timeout: 250 seconds]
amirmc has quit [Quit: Leaving.]
mye has quit [Quit: mye]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
WraithM has joined #ocaml
amirmc has joined #ocaml
shinnya has quit [Ping timeout: 272 seconds]