ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
rgrinberg has joined #ocaml
dav has quit [Quit: leaving]
ineol has quit [Quit: ineol]
<seangrove> Leonidas: Could be a good suggestion :)
<seangrove> Maybe it's something local then, owell
artagnon has joined #ocaml
<artagnon> Btw, that core_kernel failure was due to the fact that my VM was i686.
<artagnon> I didn't even realize.
<artagnon> I've thrown it away now, and got a new VM.
madroach has quit [Ping timeout: 250 seconds]
ineol has joined #ocaml
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
rgrinberg1 has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
manizzle has joined #ocaml
<rgrinberg1> Drup: waiting for your obligatory get off my eliom lawn: http://www.reddit.com/r/haskell/comments/2q9qzl/a_seamless_clientcentric_programming_model_for/
<Drup> Nope :)
<Drup> 1) I know the author 2) eliom is cited in the state of the art :p
Tekk_ has joined #ocaml
Bluddy has quit [Quit: Connection closed for inactivity]
thizanne has quit [Ping timeout: 250 seconds]
alkoma` has joined #ocaml
alkoma` has quit [Remote host closed the connection]
hugomg has quit [Quit: Leaving]
michael_lee has joined #ocaml
<artagnon> whitequark: The feature is basically done; for some reason the function gets executed automagically.
<artagnon> So, without link_gc_components, it works just as well.
<whitequark> static initializer perhaps?
<artagnon> I'm not sure what it is.
<artagnon> When I remove the call to LLVMGCLinkComponents from link_gc_components, it's not initialized anymore.
<artagnon> I should probably send you the diff.
<artagnon> I've been looking over this for too long.
<Tekk_> Could someone explain why it's permissible to append a list of a to the end of a new list of as, but not in the middle? 1 :: 2 :: [3] vs 1 :: [2] :: 3
<Tekk_> the former is fine, yet the latter complains about an 'a list where an int was expected
<artagnon> Tekk_: The type of (::) is 'a -> 'a list -> 'a list
<artagnon> You're trying to give it 'a list -> 'a in the second example.
<artagnon> 'a is int here, if you're finding that hard to read.
michael_lee has quit [Ping timeout: 256 seconds]
lordkryss has quit [Quit: Connection closed for inactivity]
<Tekk_> yeah
<Tekk_> OH
* Tekk_ thought that :: worked with 'a there
<Tekk_> is there any way to look at the type of something from the repl?
manizzle has quit [Ping timeout: 244 seconds]
<Tekk_> like :t with ghci I guess
<rgrinberg1> Tekk_: typing in the expression should be enough to print the type
<rgrinberg1> E.g. # List.iter;;
<Tekk_> cool
<rgrinberg1> Drup: wtf new projects use mantis? http://www.impredicative.com/ur/
Thooms has joined #ocaml
ygrek has joined #ocaml
<Drup> Ur is not new
<rgrinberg1> the website doesn't look new :/
manizzle has joined #ocaml
anemator has joined #ocaml
manizzle has quit [Max SendQ exceeded]
anemator has quit [Client Quit]
manud_ has joined #ocaml
manizzle has joined #ocaml
<artagnon> whitequark: Any leads on how to sidestep the static initializer issue?
manizzle has quit [Max SendQ exceeded]
manizzle has joined #ocaml
<whitequark> I'm not sure what is the issue
<artagnon> So, if there is a caller to the cpp file or a #include to the header file somewhere in the codebase, the values contained within are initialized at startup.
manud_ has quit [Ping timeout: 264 seconds]
<artagnon> We're trying to control which static variables will be instantiated at runtime.
<artagnon> The issue is that it's decided immediately during the compile.
<artagnon> The "runtime" control we have in the cpp world is to #include a header (which is a preprocessor directive; decided at compile time)
<whitequark> look at how LLVMInitializeNativeTarget works
<whitequark> do the same
* artagnon nods
manizzle has quit [Ping timeout: 264 seconds]
ineol has quit [Quit: ineol]
liweijian has joined #ocaml
rgrinberg1 has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
darkf has joined #ocaml
kapil__ has joined #ocaml
huza has joined #ocaml
<artagnon> whitequark: Watch this: http://pastie.org/9797990 is still fine :)
<artagnon> LLVMLinkInMCJIT isn't happening where you think it is.
marynate has joined #ocaml
<artagnon> InitializeNativeTarget manipulates a global target object.
<artagnon> It's not hinged on a static declaration.
<artagnon> We have exactly one option, I think: Link these in for all OCaml users :)
<whitequark> well, no, package(llvm) will not link in codegen.
<artagnon> Okay, then make another package?
<artagnon> It's Codegen and AsmWriter btw.
marynate has quit [Ping timeout: 255 seconds]
marynate has joined #ocaml
marynate has quit [Read error: Connection reset by peer]
struktured has joined #ocaml
BitPuffin has quit [Ping timeout: 265 seconds]
<artagnon> whitequark: Sent.
<artagnon> The package is called "gc" :)
marynate has joined #ocaml
oscar_toro has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Quit: Leaving.]
huza has quit [Quit: WeeChat 0.3.8]
struktured has quit [Quit: Konversation terminated!]
samrat has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
artagnon has left #ocaml [#ocaml]
kakadu has joined #ocaml
samrat has joined #ocaml
pyon has joined #ocaml
samrat has quit [Ping timeout: 264 seconds]
samrat has joined #ocaml
hannes` has joined #ocaml
hnrgrgr has joined #ocaml
BitPuffin has joined #ocaml
BitPuffin has quit [Ping timeout: 255 seconds]
kandu has quit [Ping timeout: 272 seconds]
kandu has joined #ocaml
kandu is now known as Guest20351
Guest20351 has quit [Ping timeout: 240 seconds]
kandu_ has joined #ocaml
enitiz has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
axiles has joined #ocaml
milosn has joined #ocaml
psy_ has quit [Quit: Leaving]
cdidd has joined #ocaml
psy has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
samrat has joined #ocaml
samrat has quit [Ping timeout: 245 seconds]
samrat has joined #ocaml
liweijian has left #ocaml ["Textual IRC Client: www.textualapp.com"]
rgrinberg1 has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
samrat has quit [Ping timeout: 252 seconds]
samrat has joined #ocaml
larhat has joined #ocaml
kandu_ has quit [Ping timeout: 244 seconds]
Pepe_ has quit [Ping timeout: 250 seconds]
Pepe_ has joined #ocaml
natrium1970 has joined #ocaml
<natrium1970> In the Janestreet performance notes, one suggestion is to “ry to avoid writing functions that have free variables - instead pass all the arguments explicitly.” I’m not sure I understand what a “free variable” means in this context. I know what it means in predicate logic.
rgrinberg1 has quit [Quit: Leaving.]
<acieroid> natrium1970: eg. let foo x = let bar y = x + y in bar 3, bar has x as free variable
rgrinberg has joined #ocaml
kandu has joined #ocaml
<natrium1970> acieroid: And the alternative is to pass foo’s x into bar as a parameter, I guess. Is one or the other considered better style? The Janestreet also mentions that some of their performance suggestions might conflict with good programming style, but I’m not sure if that’s one of those cases.
sinelaw has joined #ocaml
<sinelaw> hi. with -rectypes, how does the type inference avoid infinite loops?
<acieroid> natrium1970: yup I would say that passing foo's x is a performance trick that doesn't really conform with good style
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
<sinelaw> Where can I see ocaml PRs?
rgrinberg has quit [Read error: Connection reset by peer]
<sinelaw> (the change log mentions fixes as "PR#3999" etc.)
<natrium1970> On the other hand, I kind of like the idea that a function depends only on the values passed to it.
<sinelaw> bbc, thanks! just found it too :)
<sinelaw> bbc, there a way to see the source code changes that were made as part of a bug fix? the page for the bug doesn't link to anything
natrium1970 has quit [Quit: natrium1970]
<bbc> sinelaw: I'm not sure
ygrek has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
kandu has quit [Ping timeout: 245 seconds]
chinglish has joined #ocaml
milosn has quit [Ping timeout: 245 seconds]
kandu has joined #ocaml
kandu is now known as Guest21408
Guest21408 has quit [Remote host closed the connection]
kandu_ has joined #ocaml
Simn has joined #ocaml
alkoma has quit [Remote host closed the connection]
kandu_ is now known as kandu
milosn has joined #ocaml
marynate has quit [Ping timeout: 258 seconds]
marynate has joined #ocaml
tharugrim has quit [Ping timeout: 258 seconds]
tharugrim has joined #ocaml
tane has joined #ocaml
tani has joined #ocaml
tane has quit [Read error: Connection reset by peer]
tani has quit [Ping timeout: 245 seconds]
lordkryss has joined #ocaml
demonimin_ has joined #ocaml
demonimin has quit [Ping timeout: 258 seconds]
pminten has joined #ocaml
myyst has quit [Quit: Leaving]
myyst has joined #ocaml
myyst has quit [Read error: Connection reset by peer]
myyst has joined #ocaml
badon has quit [Ping timeout: 258 seconds]
marynate has quit [Ping timeout: 258 seconds]
marynate has joined #ocaml
ineol has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
marynate has quit [Read error: Connection reset by peer]
marynate has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
ontologiae has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
pminten has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/]
axiles has quit [Ping timeout: 244 seconds]
ontologiae has quit [Ping timeout: 272 seconds]
axiles has joined #ocaml
shinnya has joined #ocaml
sheijk has quit [Remote host closed the connection]
sheijk has joined #ocaml
hugomg has joined #ocaml
BitPuffin has joined #ocaml
ingsoc has joined #ocaml
_5kg has quit [Ping timeout: 255 seconds]
ggole has joined #ocaml
milosn has quit [Remote host closed the connection]
samrat has joined #ocaml
_5kg has joined #ocaml
seangrove has quit [Ping timeout: 245 seconds]
oscar_toro has joined #ocaml
ingsoc1 has joined #ocaml
ingsoc has quit [Read error: Connection reset by peer]
Riviera_ has quit [Ping timeout: 272 seconds]
ineol has quit [Quit: ineol]
Riviera_ has joined #ocaml
Riviera_ has quit [Ping timeout: 244 seconds]
kapil__ has quit [Quit: Connection closed for inactivity]
darkf has quit [Quit: Leaving]
ontologiae has joined #ocaml
ingsoc1 has quit [Quit: Leaving.]
seangrove has joined #ocaml
seangrove has quit [Ping timeout: 255 seconds]
q66[lap]_ has joined #ocaml
q66[lap] has quit [Ping timeout: 250 seconds]
milosn has joined #ocaml
ontologiae has quit [Ping timeout: 265 seconds]
larhat has quit [Quit: Leaving.]
oscar_toro has quit [Ping timeout: 240 seconds]
oscar_toro has joined #ocaml
axiles has quit [Ping timeout: 240 seconds]
axiles has joined #ocaml
q66[lap]_ has quit [Remote host closed the connection]
q66[lap] has joined #ocaml
tane has joined #ocaml
seangrove has joined #ocaml
ingsoc has joined #ocaml
tani has joined #ocaml
tane is now known as Guest98445
Guest98445 has quit [Killed (wolfe.freenode.net (Nickname regained by services))]
tani is now known as tane
AlexRussia has quit [Ping timeout: 245 seconds]
artagnon has joined #ocaml
AlexRussia has joined #ocaml
MercurialAlchemi has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
ineol has joined #ocaml
sinelaw has quit [Quit: Leaving]
jpdeplaix has quit [Quit: WeeChat 0.3.8]
jpdeplaix has joined #ocaml
testcocoon has joined #ocaml
tane has quit [Quit: Verlassend]
gdsfh1 has quit [Ping timeout: 264 seconds]
AlexRussia has quit [Ping timeout: 265 seconds]
ingsoc has quit [Quit: Leaving.]
Hannibal_Smith has joined #ocaml
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
marynate has quit [Quit: Leaving]
gdsfh has joined #ocaml
Arsenik has joined #ocaml
gdsfh1 has joined #ocaml
AlexRussia has joined #ocaml
gdsfh has quit [Ping timeout: 244 seconds]
Thooms has joined #ocaml
thizanne has joined #ocaml
Arsenik has quit [Ping timeout: 252 seconds]
mearnsh has quit [Ping timeout: 272 seconds]
AlexRussia has quit [Changing host]
AlexRussia has joined #ocaml
Anarchos has joined #ocaml
mearnsh has joined #ocaml
ingsoc has joined #ocaml
mearnsh has quit [Ping timeout: 272 seconds]
mearnsh has joined #ocaml
Thooms has quit [Ping timeout: 250 seconds]
mearnsh has quit [Ping timeout: 272 seconds]
sol__ has quit [Quit: Leaving]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
mearnsh has joined #ocaml
raphaelss has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
mearnsh has quit [Ping timeout: 272 seconds]
mearnsh has joined #ocaml
ingsoc has quit [Quit: Leaving.]
milosn has quit [Ping timeout: 264 seconds]
axiles has quit [Remote host closed the connection]
larhat has joined #ocaml
raphaelss has quit [Quit: leaving]
nicoo has quit [Read error: Connection reset by peer]
nicoo has joined #ocaml
milosn has joined #ocaml
ggole has quit []
Hannibal_Smith has quit [Quit: Leaving]
rgrinberg has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
Thooms has joined #ocaml
Thooms has quit [Ping timeout: 258 seconds]
Submarine has quit [Remote host closed the connection]
ineol has quit [Quit: ineol]
Thooms has joined #ocaml
keen__________13 has joined #ocaml
keen__________12 has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]
Thooms has quit [Quit: WeeChat 1.0.1]
koderok has joined #ocaml
koderok has quit [Quit: koderok]
Simn has quit [Quit: Leaving]
koderok has joined #ocaml
koderok has quit [Quit: koderok]
waneck has joined #ocaml
PryMar56 has joined #ocaml
<Leonidas> whitequark: is there a way to register custom conversion functions from JSON to OCaml in ppx_deriving_yojson?
zozozo has quit [Ping timeout: 272 seconds]
<whitequark> what do you man register?
<Leonidas> ok, it seems it calls mytype_to_yojson anyway, if it doesn't know the type.
rgrinberg has quit [Quit: Leaving.]
<whitequark> yes