adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org and http://caml.inria.fr | http://ocaml.org/releases/4.02.0.html | Public channel logs at http://irclog.whitequark.org/ocaml
rgrinberg has quit [Quit: Leaving.]
cesar has joined #ocaml
cesar is now known as Guest7082
hellome has joined #ocaml
Guest7082 has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
gngrwzrd has joined #ocaml
eikke has quit [Ping timeout: 272 seconds]
Thooms has quit [Quit: WeeChat 0.4.3]
gngrwzrd has quit [Quit: gngrwzrd]
gngrwzrd has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
ygrek has joined #ocaml
seangrove has joined #ocaml
<seangrove> Hey all, if you're using emacs + merlin + tuareg + utop, how do you start a web server (say cohttp) and still be able to update code in the process interactively, and inspect the server state?
<seangrove> I know that's a preetty big process, but I'm struggling with this
AltGr has joined #ocaml
iorivur has quit [Ping timeout: 245 seconds]
Drup has quit [Ping timeout: 256 seconds]
Drup has joined #ocaml
badkins has quit [Remote host closed the connection]
lordkryss has quit [Quit: Connection closed for inactivity]
badkins has joined #ocaml
iorivur has joined #ocaml
q66 has quit [Quit: Leaving]
rgrinberg has joined #ocaml
taion809 has joined #ocaml
fold has quit [Quit: WeeChat 0.4.0]
fold has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
WraithM has joined #ocaml
tnguyen has joined #ocaml
tnguyen1 has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
tnguyen has quit [Ping timeout: 246 seconds]
rgrinberg has quit [Quit: Leaving.]
cesar has joined #ocaml
cesar is now known as Guest50563
rgrinberg has joined #ocaml
Guest50563 has quit [Ping timeout: 260 seconds]
tnguyen1 has quit [Ping timeout: 244 seconds]
tnguyen has joined #ocaml
badon has joined #ocaml
ygrek has joined #ocaml
segmond has joined #ocaml
<seangrove> In the line: let person = `Assoc [ ("name", `String "Anil") ] ;; , what are the ` ticks indicating?
<seangrove> Nevermind, googled it
iorivur has quit [Ping timeout: 272 seconds]
manizzle has quit [Ping timeout: 246 seconds]
badkins has quit []
jao has quit [Ping timeout: 260 seconds]
deemo105 has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Disconnected by services]
darkf_ is now known as darkf
deemo105 has left #ocaml [#ocaml]
taion809 has quit [Remote host closed the connection]
larhat has joined #ocaml
gngrwzrd has quit [Quit: gngrwzrd]
simulacrum has joined #ocaml
lgm has quit [Ping timeout: 258 seconds]
iorivur has joined #ocaml
manizzle has joined #ocaml
larhat has quit [Quit: Leaving.]
philtom has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest70573
Guest70573 has quit [Ping timeout: 272 seconds]
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
axiles has joined #ocaml
iorivur has quit [Ping timeout: 245 seconds]
iorivur has joined #ocaml
darkf has quit [Ping timeout: 272 seconds]
WraithM has quit [Ping timeout: 260 seconds]
keen___ has joined #ocaml
keen__ has quit [Ping timeout: 245 seconds]
iorivur has quit [Ping timeout: 260 seconds]
claudiuc_ has quit [Ping timeout: 240 seconds]
iorivur has joined #ocaml
marchdown has joined #ocaml
marchdown has quit [Quit: marchdown]
marchdown has joined #ocaml
marchdown has quit [Client Quit]
darkf has joined #ocaml
marchdown has joined #ocaml
philtom has quit [Ping timeout: 244 seconds]
iorivur has quit [Ping timeout: 260 seconds]
cesar has joined #ocaml
cesar is now known as Guest82862
Guest82862 has quit [Ping timeout: 260 seconds]
marchdown has quit [Quit: marchdown]
tac_ has joined #ocaml
larhat has joined #ocaml
hhugo has joined #ocaml
meiji11 has quit [Remote host closed the connection]
Unhammer has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
iorivur has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
tnguyen1 has joined #ocaml
tnguyen has quit [Ping timeout: 240 seconds]
hhugo has quit [Quit: Leaving.]
slash^ has joined #ocaml
zpe has joined #ocaml
willy__ has joined #ocaml
cago has joined #ocaml
willy_ has quit [Ping timeout: 245 seconds]
willy__ has quit [Remote host closed the connection]
c74d has quit [Read error: Connection reset by peer]
Muzer has quit [Quit: ZNC - http://znc.sourceforge.net]
c74d has joined #ocaml
Muzer has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest88349
ollehar has joined #ocaml
Guest88349 has quit [Ping timeout: 272 seconds]
Submarine has quit [Ping timeout: 272 seconds]
marchdown has joined #ocaml
tac_ has quit [Quit: Leaving]
ygrek has joined #ocaml
ggole has joined #ocaml
iorivur has quit [Ping timeout: 260 seconds]
tac_ has joined #ocaml
pyon has quit [Quit: brb restarting emacs]
eugene_klm has joined #ocaml
zpe has quit [Remote host closed the connection]
pyon has joined #ocaml
eugene_klm has quit [Ping timeout: 260 seconds]
iorivur has joined #ocaml
eikke has joined #ocaml
huza has joined #ocaml
simulacrum has quit [Remote host closed the connection]
huza has quit [Client Quit]
huza has joined #ocaml
<flux> hmph, running 'ninja' as per llpp's instructions does nothing but wait for something
deavid has quit [Ping timeout: 245 seconds]
<adrien> ninja \o/
<adrien> </sarcasm>
<flux> ah-ha
<flux> it was the wrong ninja :-)
manizzle has quit [Ping timeout: 260 seconds]
hhugo has joined #ocaml
Simn has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
simulacrum has joined #ocaml
zpe has joined #ocaml
thomasga has joined #ocaml
marchdown has quit [Quit: marchdown]
tane has joined #ocaml
Kakadu has joined #ocaml
simulacrum has quit [Remote host closed the connection]
eikke has quit [Ping timeout: 244 seconds]
thomas__ has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest98537
iorivur has quit [Ping timeout: 272 seconds]
Guest98537 has quit [Ping timeout: 260 seconds]
NoNNaN has joined #ocaml
Antoine59 has quit [Ping timeout: 260 seconds]
iorivur has joined #ocaml
marchdown has joined #ocaml
hhugo has quit [Quit: Leaving.]
eikke has joined #ocaml
tac_ has quit [Ping timeout: 272 seconds]
hhugo has joined #ocaml
marchdown has quit [Quit: marchdown]
thomas__ has quit [Quit: Page closed]
deavid has joined #ocaml
voglerr has quit [Quit: WeeChat 0.4.3]
vogler has joined #ocaml
ysz has joined #ocaml
vogler has quit [Client Quit]
vogler has joined #ocaml
Antoine59 has joined #ocaml
thomasga has quit [Quit: Leaving.]
ontologiae has joined #ocaml
cross has quit [Quit: Lost terminal]
dsheets has joined #ocaml
ysz has quit [Quit: This computer has gone to sleep]
thomasga has joined #ocaml
hhugo has quit [Quit: Leaving.]
iorivur has quit [Ping timeout: 260 seconds]
tnguyen1 has quit [Ping timeout: 260 seconds]
tnguyen has joined #ocaml
rand000 has joined #ocaml
pyon has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
ysz has joined #ocaml
<ysz> has anybody success with opam and Yosemite?
marchdown has joined #ocaml
marchdown has quit [Client Quit]
pyon has joined #ocaml
ysz has quit [Quit: This computer has gone to sleep]
BitPuffin has joined #ocaml
rand000 has quit [Ping timeout: 250 seconds]
avsm has joined #ocaml
rand000 has joined #ocaml
Submarine has joined #ocaml
ysz has joined #ocaml
dotfelix has joined #ocaml
dotfelix has quit [Client Quit]
marchdown has joined #ocaml
simulacrum has joined #ocaml
eikke has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 260 seconds]
cesar has joined #ocaml
cesar is now known as Guest50545
Guest50545 has quit [Ping timeout: 260 seconds]
slash^1 has joined #ocaml
zpe has joined #ocaml
_andre has joined #ocaml
tnguyen has quit [Quit: tnguyen]
slash^ has quit [Ping timeout: 272 seconds]
igstan has joined #ocaml
hhugo has joined #ocaml
ysz has quit [Quit: This computer has gone to sleep]
rand000 has quit [Ping timeout: 260 seconds]
rand000 has joined #ocaml
eikke has joined #ocaml
simulacrum has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
hhugo has quit [Quit: Leaving.]
rand000 has quit [Ping timeout: 260 seconds]
hhugo has joined #ocaml
marchdown has quit [Quit: marchdown]
rand000 has joined #ocaml
igstan has quit [Read error: No route to host]
Hannibal_Smith has joined #ocaml
tnguyen has joined #ocaml
hhugo has quit [Quit: Leaving.]
slash^1 has left #ocaml [#ocaml]
slash^ has joined #ocaml
<ggole> Hmm, it's vaguely annoying that universal quantification has to be wrapped in a record.
<flux> write a patch :-)
<flux> (my guess is it might turn out to be non-trivial)
<ggole> Yeah, it's not crushingly important
<ggole> I was typing church-encoded pairs, not the most burningly practical programming task.
simulacrum has joined #ocaml
AltGr has left #ocaml [#ocaml]
slash^ has quit [Read error: Connection reset by peer]
darkf has quit [Quit: Leaving]
thomasga has joined #ocaml
kaustuv has joined #ocaml
<kaustuv> What does the PRJ directive in .merlin do?
simulacrum has quit [Remote host closed the connection]
igstan has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest69520
simulacrum has joined #ocaml
Guest69520 has quit [Ping timeout: 246 seconds]
<kaustuv> Also, is there any way in which I can restrct a PKG list to certain files? E.g., use PKG ocamlbuild just for myocamlbuild.ml.
thomasga has quit [Quit: Leaving.]
badkins has joined #ocaml
avsm1 has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
ysz has joined #ocaml
avsm has quit [Ping timeout: 244 seconds]
avsm1 has quit [Client Quit]
<ggole> PRJ just names the project, I think
<ggole> It isn't documented.
slash^ has joined #ocaml
Thooms has joined #ocaml
<flux> kaustuv, does it really matter you have a few extra modules there?
ysz has quit [Quit: This computer has gone to sleep]
ysz has joined #ocaml
ygrek has joined #ocaml
SethTIsue has joined #ocaml
ysz has quit [Quit: This computer has gone to sleep]
tnguyen has quit [Ping timeout: 258 seconds]
Hannibal_Smith has quit [Quit: Sto andando via]
ysz has joined #ocaml
tnguyen has joined #ocaml
ysz has quit [Quit: This computer has gone to sleep]
ysz has joined #ocaml
ysz has quit [Client Quit]
bezirg has joined #ocaml
tnguyen has quit [Read error: Connection reset by peer]
tnguyen has joined #ocaml
yomimono has joined #ocaml
hhugo has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
iorivur has joined #ocaml
tnguyen has quit [Ping timeout: 246 seconds]
mawuli_ has quit [Ping timeout: 260 seconds]
mawuli_ has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
shinnya has joined #ocaml
larhat has quit [Quit: Leaving.]
hhugo has quit [Quit: Leaving.]
bezirg has quit [Quit: Leaving.]
rand000 has quit [Ping timeout: 272 seconds]
<_obad_> opam question. I need to install a specific version of a package. how do I do that? (specifically I want lacaml 7.0.13)
<_obad_> I think it's opam pin...
<Drup> _obad_: opam install lacaml.7.0.13
<Drup> and yes, opam pin to force opam not to update it
ontologiae has joined #ocaml
<_obad_> thanks
tane has quit [Quit: Verlassend]
kaustuv has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
cross has joined #ocaml
morphles has joined #ocaml
dsheets has joined #ocaml
SethTIsue has quit [Quit: SethTisue]
Submarine has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
iorivur has quit [Ping timeout: 245 seconds]
hhugo has joined #ocaml
oscar_toro has joined #ocaml
tnguyen has joined #ocaml
cago has left #ocaml [#ocaml]
iorivur has joined #ocaml
tnguyen has quit [Quit: tnguyen]
tnguyen has joined #ocaml
siddharthv_away is now known as siddharthv
morphles has quit [Ping timeout: 245 seconds]
thomasga has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
tane has joined #ocaml
bytbox has quit [Remote host closed the connection]
hhugo has quit [Quit: Leaving.]
eikke has quit [Ping timeout: 260 seconds]
ysz has joined #ocaml
siddharthv is now known as siddharthv_away
ollehar has joined #ocaml
ollehar has quit [Client Quit]
thomasga has quit [Ping timeout: 272 seconds]
ontologiae has joined #ocaml
tnguyen has quit [Remote host closed the connection]
morphles has joined #ocaml
tnguyen has joined #ocaml
enquora has joined #ocaml
tnguyen has quit [Ping timeout: 245 seconds]
tnguyen has joined #ocaml
hhugo has joined #ocaml
tnguyen has quit [Ping timeout: 245 seconds]
SethTIsue has joined #ocaml
zpe has quit [Remote host closed the connection]
hhugo has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
slash^ has joined #ocaml
thomasga has joined #ocaml
sivoais has quit [Remote host closed the connection]
sivoais has joined #ocaml
Anarchos has joined #ocaml
SethTIsue has quit [Read error: Connection reset by peer]
Submarine has joined #ocaml
jonludlam has quit [Quit: Coyote finally caught me]
rgrinberg has quit [Quit: Leaving.]
Thooms has quit [Quit: WeeChat 0.4.3]
shinnya has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
ysz has quit [Quit: This computer has gone to sleep]
robink is now known as SacredChao
shinnya has joined #ocaml
SacredChao is now known as robink
igstan has quit [Quit: igstan]
<seangrove> Hey all, can I get some help cleaning up the resp assignment? https://www.refheap.com/91057
<seangrove> I have to repeat the ("server", "ocaml") structure twice, when I'm more used to simply defining a tuple of some sort with it in, and the assoc'ing a new value in, and getting a new structure back (ideally with structural sharing)
igstan has joined #ocaml
<smondet> seangrove: what kind of cleaning? you indentation on lines 33-35 is weird
<smondet> s/you/your/
<seangrove> Sorry for the indentation, just when with the default emacs setup
srcerer has joined #ocaml
<seangrove> the form that starts... let resp : Yojson.Basic.json
srcerer has quit [Client Quit]
<smondet> checkout ocp-indent and "wire" it with your editor
<smondet> you should not need ';;'
<seangrove> smondet: https://www.refheap.com/91058 there we go, hopefully that's a bit better?
<smondet> (have to go, sorry)
<seangrove> No problem, thanks for the help
<seangrove> Without the ;;, heh https://www.refheap.com/91059
srcerer has joined #ocaml
<ggole> seangrove: if you want to pull out that pair, go ahead
Kakadu has quit [Quit: Page closed]
<ggole> It's just a matter of introducing a let
contempt has quit [Ping timeout: 246 seconds]
<ggole> Also, line 21 could do with being split up
jc2 has joined #ocaml
contempt has joined #ocaml
jc2 has left #ocaml [#ocaml]
<seangrove> ggole: I know I can pull out the base entry `Assoc [("server", `String "ocaml")], but that seems to create a Yojson.Basic.json type, and I can't then modify that structure (or associate an entry and get a new structure back, without mutability)
Hannibal_Smith has joined #ocaml
tnguyen has joined #ocaml
<ggole> Er, aren't you just trying to not have ("server", `String "ocaml") twice?
<seangrove>
<seangrove>
<seangrove> ggole: Yeah, exactly. Let me write a bit of corresponding code...
<ggole> You can just bind it and name it twice easily enough.
<seangrove> ggole: I suppose this is the Clojure code I would write for it https://www.refheap.com/91060
contempt has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
contempt has joined #ocaml
<seangrove> Is there an equivalent of (assoc {} key value) that returns a new associative list/hashmap?
<seangrove> I think there is, from reading RWOcaml, but then I can't get that to be a Yojson.Basic.json type
<seangrove> Sorry for the type-newb questions, trying to learn
ontologiae has joined #ocaml
<ggole> Well, you can do it like this: let base = "server", `String "ocaml" in match foo with | ... -> `Assoc ("a", "b"::base) | ... -> `Assoc base
eugene_klm has joined #ocaml
<ggole> Er, that should be let base = ["server", `String "ocaml"] in ...
<seangrove> Ok, that makes some sense. I'll play around with that - thank you
<ggole> :: simply adds an element on the front of the list
<ggole> Which should be pretty much what you want (in this case).
<seangrove> And doesn't modify the original list, right?
WraithM has joined #ocaml
<ggole> No, lists can't be modified in OCaml
<Anarchos> ggole even list of refs ?
<adrien> unless you want to be kicked by people on the caml-list that is :P
<adrien> Anarchos: you don't mutate the list :)
<Anarchos> Obj.black_magic ?
<ggole> First rule of Obj.magic, you don't talk about Obj.magic
<seangrove> Hehe, yeah, not looking to get around immutability at all, just making sure that it behaves how I'm expecting
<ggole> Coming from Clojure, you should be fairly comfortable with persistent data structures.
hhugo has joined #ocaml
<flux> just toady/yesterday there was some discussion about Batteries' List.map that coerces a mutable list into an immutable one with the function that is not to be mentioned
<flux> ..and how this might be broken with the forecoming (I hope..) OCaml for Multicore
FatDarrel has joined #ocaml
<flux> so, even when it looks like the safest use, it might not be :)
<ggole> Sigh, good old List.map trouble again. It'd be nice if OCaml supported tail-consing by TRMC.
* adrien points his finger at someone on the channel
<flux> tail recursive.. mutating call? no?-)
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
<ggole> Tail recursion modulo cons.
<flux> but apparently Core's List.map is fast and does no trickery
<ggole> It's an old Prolog implementation trick for rewriting applicative list operations to use mutation under the hood, safely.
<flux> I'm not sure if that would solve O4MC's trouble, other than needing it to solve it :)
<flux> (the problem it has is that immutable data structures cannot in its view refer to more recent objects)
<ggole> Usually the write barrier takes care of that, no?
<flux> how does it take care of that? I'm not sure what the mechanism is, but it's related to what O4MC decides to move to shared heap and what not
<flux> but I don't really know how it works, so can't properly discuss it :)
<ggole> Oh I see, that's a different concern to the usual write barrier
<flux> it apparently enforces that shared heap has no pointers to private heap
<ggole> Usually the issue is that the generational GC needs to know when an old object points into the minor heap
shinnya has quit [Ping timeout: 260 seconds]
<flux> I wonder if it somehow changes the memory management so that it can know what data is mutable what what not. or is that somehow already known?
<ggole> No, you can ignore all that
<ggole> The write barrier applies only to writes to an existing object
<ggole> Immutable objects simply aren't the target of such writes.
<ggole> But the new GC may have different rules.
Kakadu has joined #ocaml
<ggole> Like a read barrier.
bytbox has joined #ocaml
yomimono has quit [Ping timeout: 272 seconds]
ontologiae has quit [Ping timeout: 272 seconds]
ysz has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
tnguyen has quit [Ping timeout: 260 seconds]
zpe has quit [Remote host closed the connection]
bytbox has quit [Ping timeout: 272 seconds]
ollehar has joined #ocaml
bytbox has joined #ocaml
WraithM has quit [Quit: Lost terminal]
dsheets has quit [Ping timeout: 272 seconds]
hhugo has quit [Quit: Leaving.]
lordkryss has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
bytbox has quit [Remote host closed the connection]
shinnya has joined #ocaml
BitPuffin has quit [Ping timeout: 244 seconds]
bytbox has joined #ocaml
bytbox has quit [Remote host closed the connection]
sh1ken has joined #ocaml
slash^ has joined #ocaml
malo has joined #ocaml
cyanure__ has joined #ocaml
cyanure__ has quit [Max SendQ exceeded]
zpe has joined #ocaml
cyanure__ has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
zpe has quit [Remote host closed the connection]
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
bytbox has joined #ocaml
jc2 has joined #ocaml
bytbox has quit [Remote host closed the connection]
jc2 has quit [Client Quit]
SrPx has joined #ocaml
sinelaw has joined #ocaml
<sinelaw> hi. about alternatives/refinements to the value restriction. why can't we exempt all pure functions?
<sinelaw> a pure value expression being one that: 1. has no variables free in it, 2. if it's a function, takes only pure values, and returns only pure values,
<ggole> You'd need a way to talk about pure and nonpure things in the type system, which would be quite a complication
<sinelaw> ggole, they did it the other way around in SML 90
<sinelaw> and SML/NJ
<sinelaw> they tagged "imperative" type variables, but why not do it the other way around? assume everything is imperative except for what I defined above
<ggole> With the annotations? I thought that was usually considered a mistake.
<sinelaw> ggole, it was inferred if i understand correctly
<sinelaw> and it may have been a mistake, i'm asking about a different approach
<ggole> Signatures are not inferred, so the details inevitably have to be taken care of.
<ggole> Like variance with OCaml's approach.
<sinelaw> ggole, let's ignore modules for a moment
<sinelaw> what are you saying about variance? i'm not all that familiar with ocaml
<ggole> If you go and look at the .mli of the Set module, you'll see a variance annotation: type +'a t
jc2 has joined #ocaml
<ggole> This is an explicit form of the "extra" information inferred due to the extended value restriction in OCaml
<sinelaw> ggole, that's related to subtyping though
avsm1 has quit [Quit: Leaving.]
<sinelaw> let's ignore subtyping too :)
<ggole> It's a matter of polymorphism, really
<sinelaw> right
jc2 has left #ocaml [#ocaml]
<sinelaw> I mean not the variance, the value restriction
<ggole> The type +'a t indicates that the type variable should be polymorphic
<sinelaw> hmm
<ggole> Which is what this whole value restriction thing is about.
<sinelaw> isn't just to say that it's covariant
<sinelaw> ?
paddymahoney has joined #ocaml
<def`> type variables in covariant position can be generalized
<sinelaw> they can be generalized to a supertype
<ggole> That's a better way to put it.
<sinelaw> not to any type
<ggole> Generalisation in the context of inference means "make polymorphic".
<ggole> (Roughly speaking.)
<ggole> So it isn't simply a matter of subtyping.
<sinelaw> variance is directly related to subtyping, inference with polymorphism doesn't have to include subtyping at all
<sinelaw> and you still need the value restriction once you have mutable cells
<sinelaw> so my question is, more precisely, limited only to polymorphism and mutability: can't we relax value restriction for values that are provably pure?
<ggole> There's still a value restriction, it's just relaxed a bit
<ggole> I'll dig up the paper for yout.
<ggole> caml.inria.fr/pub/papers/garrigue-value_restriction-fiwflp04.pdf
<sinelaw> thanks. I actually have that one open already! :)
q66 has joined #ocaml
<sinelaw> didn't read it yet :)
<sinelaw> it says "subtyping-based approach" :(
igstan has quit [Ping timeout: 260 seconds]
paddymahoney has quit [Ping timeout: 260 seconds]
<ggole> The comments at https://blogs.janestreet.com/a-and-a/ might also be interesting
<sinelaw> hmm
<sinelaw> if it's based on subtyping, it's not what I'm looking for. but I should read the paper anyway.
rgrinberg has joined #ocaml
ysz has quit [Quit: This computer has gone to sleep]
paddymahoney has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
typedlambda has quit [Ping timeout: 250 seconds]
jonludlam has joined #ocaml
typedlambda has joined #ocaml
ysz has joined #ocaml
ontologiae has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest52592
ontologiae has quit [Ping timeout: 240 seconds]
seangrove has quit [Ping timeout: 260 seconds]
Guest52592 has quit [Ping timeout: 246 seconds]
Thanassis has joined #ocaml
Thanassis has quit [Client Quit]
rand000 has joined #ocaml
sinelaw has quit [Ping timeout: 246 seconds]
ollehar has quit [Ping timeout: 260 seconds]
dsheets has joined #ocaml
<SrPx> Hello, does anyone know where is a talk of some guy who claimed type systems are good, but most statically typed languages get modules wrong?
<SrPx> not a talk, a blog pos
<ggole> Gilad Bracha, maybe
zpe has joined #ocaml
ollehar has joined #ocaml
<mrvn> so which don't get them wrong?
<mrvn> specifically where does ocaml fall?
<mrvn> n8
zpe has quit [Ping timeout: 260 seconds]
oscar_toro has quit [Ping timeout: 260 seconds]
morphles has quit [Ping timeout: 245 seconds]
Kakadu has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
Kakadu has joined #ocaml
cyanure__ has quit [Remote host closed the connection]
<SrPx> ggole: it was robert harper :) thanks
thomasga has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
seangrove has joined #ocaml
simulacrum has quit [Remote host closed the connection]
_andre has quit [Quit: leaving]
tnguyen has joined #ocaml
bytbox has joined #ocaml
rand000 has quit [Ping timeout: 260 seconds]
SrPx has quit [Quit: Page closed]
rand000 has joined #ocaml
ollehar has quit [Quit: ollehar]
WraithM has joined #ocaml
thomasga has joined #ocaml
ggherdov has quit [Ping timeout: 272 seconds]
tnguyen has quit [Read error: Connection reset by peer]
tnguyen has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
<nlucaroni> which post by him? I don't recall that one.
ggherdov has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
<nlucaroni> ah, Modules Matter Most. It's really most statically typed languages don't get modules wrong, but just don't have them.
dsheets has joined #ocaml
SethTIsue has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
hnrgrgr has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
axiles has quit [Remote host closed the connection]
tnguyen has quit [Ping timeout: 260 seconds]
Submarine has quit [Remote host closed the connection]
tac_ has joined #ocaml
shinnya has quit [Ping timeout: 272 seconds]
thomasga has quit [Quit: Leaving.]
nlucaroni has quit [Quit: leaving]
nicoo has quit [Write error: Broken pipe]
thomasga has joined #ocaml
nicoo has joined #ocaml
shinnya has joined #ocaml
clog has quit [Ping timeout: 245 seconds]
jave has quit [Ping timeout: 258 seconds]
jave has joined #ocaml
dsheets has quit [Read error: Connection reset by peer]
cesar has joined #ocaml
cesar is now known as Guest38944
jao has quit [Ping timeout: 260 seconds]
tobiasBora has quit [Quit: Kthxbye]
tobiasBora has joined #ocaml
Guest38944 has quit [Ping timeout: 272 seconds]
jonludlam has quit [Quit: Coyote finally caught me]
lordkryss has quit [Quit: Connection closed for inactivity]
ontologiae has joined #ocaml
tac_ has quit [Quit: Leaving]
ontologiae has quit [Ping timeout: 260 seconds]
clog has joined #ocaml
gabemc has joined #ocaml
ysz has quit [Quit: This computer has gone to sleep]
ggole has quit []
rgrinberg has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
olasd has quit [Ping timeout: 272 seconds]
badkins has quit []
badon has quit [Ping timeout: 272 seconds]
badon has joined #ocaml
tane has quit [Quit: Verlassend]
es917 has joined #ocaml
es917 has quit [Read error: Connection reset by peer]
SrPx has joined #ocaml
eugene_klm has quit [Ping timeout: 272 seconds]
Simn has quit [Quit: Leaving]
hhugo has joined #ocaml
enquora has quit [Quit: enquora]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
rand000 has quit [Quit: leaving]
thomasga has quit [Quit: Leaving.]
ontologiae has joined #ocaml
thomasga has joined #ocaml
malo has quit [Remote host closed the connection]
SethTIsue has quit [Quit: SethTisue]
olasd has joined #ocaml
thomasga has quit [Quit: Leaving.]
<Denommus> guys
<Denommus> I'm trying to use eliom, but when using eliom-distillery, I have this error: Fatal error: cannot load shared library dllunix
<Denommus> Reason: /usr/lib/ocaml/stublibs/dllunix.so: undefined symbol: caml_strdup
gabemc has quit [Ping timeout: 244 seconds]
<Denommus> but... I'm using ocaml installed from opam
<whitequark> something tries to use system ocaml
<whitequark> did you do eval `opam config env`? do you have stale OASIS files in your project?
<whitequark> (try removing setup.data and running ./configure)
<Denommus> I'm running eliom-distillery, so there isn't an oasis file yet
<whitequark> hmm
<Denommus> oh, eval worked
<whitequark> yeah, you need that in your profile file (~/.bash_profile or whatever)
<whitequark> and after switching you need to type it manually
<FatDarrel> does ocaml have any things for linux's /proc nodes?
<whitequark> no
<FatDarrel> no opam for proc node love?
<whitequark> I've never ever seen any libraries for /proc
<whitequark> the format isn't even stable
hhugo has quit [Quit: Leaving.]
hhugo has joined #ocaml
hhugo has quit [Client Quit]
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
<FatDarrel> whitequark: that is why i was asking
NoNNaN has joined #ocaml
eikke has joined #ocaml
badon has quit [Ping timeout: 245 seconds]
eikke has quit [Ping timeout: 250 seconds]
eikke has joined #ocaml
olasd has quit [Quit: WeeChat 0.4.3]
olasd has joined #ocaml
<seangrove> How can I reference this from my project? https://github.com/mirage/mirage/blob/master/lib/mirage.ml#L1473
<seangrove> I'm trying to build a mirage project and getting "Error: Unbound value conduit_direct"
<seangrove> That's the only definition of conduit_direct I can find - I'm trying to wrap my head around how one module might just refer to conduit_direct bare like that
<seangrove> Here's the actual config.ml I'm working with: https://www.refheap.com/91077
<seangrove> Line 40 (https://www.refheap.com/91077#L-40) just refers to conduit_direct, but it only calls open on Mirage at the beginning of the file
<seangrove> Maybe my mirage module is borked. Is there a way to see the source of what was installed via `opam install mirage`?