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
javamonn has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
badkins has quit []
AltGr has joined #ocaml
philtor has joined #ocaml
yomimono_ has quit [Ping timeout: 272 seconds]
javamonn has quit [Remote host closed the connection]
philtor has quit [Ping timeout: 245 seconds]
badkins has joined #ocaml
javamonn has joined #ocaml
javamonn has quit [Remote host closed the connection]
gabemc has quit [Ping timeout: 265 seconds]
claudiuc has quit [Remote host closed the connection]
javamonn has joined #ocaml
johnelse is now known as johnel_away
javamonn has quit [Remote host closed the connection]
lordkryss has quit [Quit: Connection closed for inactivity]
javamonn has joined #ocaml
javamonn has quit [Remote host closed the connection]
javamonn has joined #ocaml
javamonn has quit [Read error: Connection reset by peer]
javamonn has joined #ocaml
Sorella has joined #ocaml
s1n4 has joined #ocaml
pyon is now known as ytse-pyon
lnr has joined #ocaml
lnr has left #ocaml [#ocaml]
ygrek has joined #ocaml
gabemc has joined #ocaml
keen____ has joined #ocaml
keen___ has quit [Ping timeout: 250 seconds]
SomeDamnBody has quit [Ping timeout: 240 seconds]
SomeDamnBody has joined #ocaml
BitPuffin has quit [Ping timeout: 255 seconds]
darkf has joined #ocaml
vanila has quit [Quit: Leaving]
badkins has quit []
seanmcl has joined #ocaml
idegen has quit [Ping timeout: 246 seconds]
MrScout has quit [Ping timeout: 245 seconds]
olibjerd has joined #ocaml
javamonn has quit [Remote host closed the connection]
MrScout has joined #ocaml
badon has joined #ocaml
javamonn has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 265 seconds]
badon_ has joined #ocaml
badon has quit [Disconnected by services]
swgillespie has joined #ocaml
badon_ has quit [Ping timeout: 245 seconds]
meteo has quit [Read error: Connection reset by peer]
meteo has joined #ocaml
javamonn has quit [Remote host closed the connection]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
nojb has joined #ocaml
gabemc has quit [Ping timeout: 252 seconds]
ggole has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 276 seconds]
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 252 seconds]
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
MrScout has quit [Ping timeout: 245 seconds]
ggole_ is now known as ggole
MercurialAlchemi has joined #ocaml
Bhavya has joined #ocaml
freling has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
mengu has joined #ocaml
mengu has quit [Remote host closed the connection]
tane has joined #ocaml
seangrove has joined #ocaml
ingsoc has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
ygrek has joined #ocaml
<apache2> I'm getting complaints about my opam not being 'recent enough'. will `opam upgrade` take care of that?
fraggle-boate__ has quit [Ping timeout: 256 seconds]
<ggole> No, that will upgrade your packages
<ggole> You need to install another version afaik
<apache2> ok, thank you ! :)
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
MrScout has joined #ocaml
fraggle-boate__ has joined #ocaml
thomasga has joined #ocaml
javamonn has joined #ocaml
mengu has joined #ocaml
javamonn has quit [Ping timeout: 240 seconds]
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
larhat has joined #ocaml
nojb has quit [Quit: nojb]
nojb has joined #ocaml
lordkryss has joined #ocaml
nojb has quit [Client Quit]
Haudegen has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
nonuby has joined #ocaml
nonuby has quit [Changing host]
nonuby has joined #ocaml
nonuby has joined #ocaml
<nonuby> is there a way for oasis to pull dependencies automatically via opam install, kind of like one would do with npm or lein or other package managers
nonuby has left #ocaml [#ocaml]
jonludlam has joined #ocaml
MrScout has quit [Remote host closed the connection]
fraggle-boate__ has quit [Ping timeout: 272 seconds]
kakadu has joined #ocaml
SomeDamnBody has quit [Ping timeout: 250 seconds]
nojb has joined #ocaml
mort___ has joined #ocaml
fraggle-boate__ has joined #ocaml
Nijikokun has joined #ocaml
milosn has quit [Ping timeout: 245 seconds]
yomimono has joined #ocaml
johnel_away is now known as johnelse
dsheets has quit [Quit: Leaving]
AltGr has left #ocaml [#ocaml]
mengu has quit [Remote host closed the connection]
nojb has quit [Quit: nojb]
axiles has joined #ocaml
ygrek has joined #ocaml
milosn has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
<Leonidas> I can't alias inside pattern matches? https://gist.github.com/Leonidas-from-XIV/3f178cb9e89b7bfab2dc
<Leonidas> without the "as rexpr" part it works. Or do I need to do something else to make it work?
<apache2> sometimes it helps putting () around things before "as". I'm not sure why, so this is a pretty uninformed answer, but sometimes that works for me.
<Leonidas> good idea. should've tried this, but unfortunately, it doesn't work
<Leonidas> it just says that Ne_let expects 3 arguments but got 2
<Leonidas> oh well, putting the whole expression with "as rexpr" in params helped
<ousado> the `as` precedence rules sometimes bite
yomimono has quit [Ping timeout: 264 seconds]
mort___ has quit [Ping timeout: 250 seconds]
mort___ has joined #ocaml
kakadu has quit [Ping timeout: 246 seconds]
_2can has quit [Ping timeout: 245 seconds]
_2can has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
tane has quit [Quit: Verlassend]
milosn has joined #ocaml
AlexRussia has quit [Ping timeout: 256 seconds]
jonludlam has quit [Ping timeout: 264 seconds]
milosn has quit [Read error: Connection reset by peer]
freling has quit [Quit: Leaving.]
milosn has joined #ocaml
mort___ has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 264 seconds]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mort___ has joined #ocaml
zump has quit [Ping timeout: 246 seconds]
yomimono has joined #ocaml
zump has joined #ocaml
_andre has joined #ocaml
Haudegen has joined #ocaml
<Leonidas> many ocaml precedence rules bite, in my experience :-/
milosn has quit [Ping timeout: 245 seconds]
<flux> well, it is rare for such a mistake to get into runtime, hardly a severe bite ;)
Nijikokun has quit [Ping timeout: 250 seconds]
Bhavya has quit [Quit: Quit the channel]
milosn has joined #ocaml
Gama11 has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
sdothum has joined #ocaml
TheLemonMan has joined #ocaml
milosn has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
Hannibal_Smith has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
thomasga has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 256 seconds]
yomimono has joined #ocaml
<Leonidas> that's true
<Leonidas> this doesn't seem to work.
<Leonidas> I get a type error, but Merlin infers it correctly
<Leonidas> I want a SomeMap.add_with (fun a b -> b) map key value function
<Leonidas> Error: This expression has type 'a t = 'a Map.Make(Ord).t but an expression was expected of type key = Ord.t
thomasga has joined #ocaml
<Leonidas> It seems I've switched the argument order, but I have double-checked and can't find it. Probably something trivial :-/
<Leonidas> nevermind, found it
* Leonidas :)
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
zoetus has joined #ocaml
thomasga has quit [Quit: Leaving.]
<zoetus> hello everyone
<zoetus> anyone know how to send '-pa-ounit-lib foo' through to camlp4 using ocamlbuild?
milosn has joined #ocaml
Hannibal_Smith has quit [Read error: Connection reset by peer]
milosn has quit [Ping timeout: 265 seconds]
BitPuffin has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Client Quit]
<zump> who here likes jane street
<zump> I stoll dont understand folding
<zump> is there a folding 4 dummies pdf
thomasga has joined #ocaml
<haesbaert> zump: it took me a while also, I suggest writing the simplest case possible, like adding numbers
<zump> that seems fine
<zump> but i dont understand any use cases after that
<zump> It's like
thomasga has quit [Client Quit]
<zump> using fold doesnt pop out at me
<zump> like iterating at a list does
<haesbaert> but folding is more or less iterating a list with a final result
<haesbaert> if you use List.iter (), you can't return anything, you do it just for the side effects
<haesbaert> I think it's easier to just code, and then you'll realize the need for Fold
olibjerd has quit [Remote host closed the connection]
zoetus has quit [Quit: Page closed]
<Leonidas> I cannot apply optional arguments to functions which do not take them, right?
<companion_cube> well, no? optional arguments appear in the signature anyway
<companion_cube> f ~x y only works if f : ?x:a -> b -> ... or f : x:a -> b -> ...
<Leonidas> yeah, I basically need the reverse of optional arguments
<Leonidas> where the caller might supply optional arguments and the function decides not to use them.
<Leonidas> but I guess that would be tricky to typecheck
<companion_cube> I don't see the difference with optional arguments that won't be used
<companion_cube> (say, an optional argument that is used only if not None)
<thizanne> the place where it happens if I understand
<Leonidas> (background was, I am implementing insertWith, and it would be neat to have the function that merges the arguments take a key, but do not make the key-taking mandatory
<thizanne> like, you already have a function, but somewhere else you want to say "ok this argument might not be expected but I'll give it anyway"
<companion_cube> Leonidas: just pass the key, the caller will ignore it if it doesn't require it
<companion_cube> insertWith (fun _ -> ...)
<Leonidas> companion_cube: yes, but that changes the signature to ('k -> 'a -> 'a -> 'a)
<companion_cube> yes
<companion_cube> that's part of life :p
<Leonidas> I'm currently doing it the other way round, partially applying the key to my key-taking function which returns ('a -> 'a -> 'a)
<Leonidas> that's fine with me, I was just looking if there was a way to make it less awkward
thomasga has joined #ocaml
<thizanne> it's not that awkward, a function that takes a parameter has the only right to be constant on this parameter
olauzon has joined #ocaml
<Leonidas> I've now added both variants, the one without the key just passes (fun _ -> f) as the function
idegen has joined #ocaml
<Leonidas> that is the least ugly solution, I think
<thizanne> that's how it is done in stdlib and Batteries, and the convention there seems to have insert_with and insert_withi for the key-taking function
<Leonidas> but doesn't the i stand for an integral number?
<Leonidas> can't name it add_withk either, as that would imply CPS
<thizanne> no, i means the key
<thizanne> (or "index", even if it's not an integer)
<Leonidas> alright, renamed it
milosn has joined #ocaml
badkins has joined #ocaml
<Leonidas> thanks :)
seanmcl has joined #ocaml
cmtptr has quit [Ping timeout: 245 seconds]
struktured has quit [Ping timeout: 245 seconds]
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #ocaml
ljs has joined #ocaml
Haudegen has quit [Ping timeout: 252 seconds]
jonludlam has joined #ocaml
yomimono has quit [Ping timeout: 272 seconds]
ollehar has quit [Remote host closed the connection]
agarie has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
milosn has joined #ocaml
mengu has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
mengu has quit [Remote host closed the connection]
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
madroach has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
mengu has joined #ocaml
milosn has quit [Ping timeout: 264 seconds]
s1n4 has quit [Ping timeout: 245 seconds]
darkf has quit [Quit: Leaving]
ollehar has joined #ocaml
milosn has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
mengu has quit [Remote host closed the connection]
struk|work has joined #ocaml
slash^ has joined #ocaml
ygrek has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
ygrek has quit [Remote host closed the connection]
milosn has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
ljs has quit [Quit: Be back later ...]
s1n4 has joined #ocaml
ljs has joined #ocaml
mengu has joined #ocaml
ljs has quit [Ping timeout: 240 seconds]
thomasga has quit [Quit: Leaving.]
mengu has quit [Ping timeout: 244 seconds]
olibjerd has joined #ocaml
mengu has joined #ocaml
mengu has joined #ocaml
Gama11_ has joined #ocaml
AlexRussia has joined #ocaml
Gama11 has quit [Ping timeout: 272 seconds]
Hannibal_Smith has joined #ocaml
shinnya has joined #ocaml
lvgx has joined #ocaml
badkins has quit [Read error: Connection reset by peer]
freling has joined #ocaml
<ollehar> can I replace a string WITHOUT a regexp? the string to replace is like `{this
<ollehar> ugh
<ollehar> {this|that}
<ollehar> so the bar | fuck it up
larhat has quit [Quit: Leaving.]
martintrojer has quit [Read error: Connection reset by peer]
martintrojer has joined #ocaml
kdef has joined #ocaml
<mrvn> ollehar: fucking for peace is like fighting for virginity or how did that saying go?
martintrojer has quit [Max SendQ exceeded]
<ollehar> hm
<ollehar> sorry for the language
<ggole> You could escape the regexp
martintrojer has joined #ocaml
<ollehar> please
<ollehar> no
<ggole> ?
<ollehar> manually?
<ggole> God, no. Regexp libraries usually have a quote or escape function for that.
mengu has quit []
<ollehar> wait no
<ollehar> it's there
madroach has joined #ocaml
<ollehar> thanks!
lvgx has left #ocaml ["Konversation terminated!"]
agarie has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
ljs has joined #ocaml
ljs has quit [Client Quit]
ljs has joined #ocaml
ljs has quit [Read error: Connection reset by peer]
ljs has joined #ocaml
<seliopou> what's up with the result type PR?
<ggole> In what sense?
badkins has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
milosn has joined #ocaml
TheLemonMan has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
Meths_ has joined #ocaml
Meths has quit [Ping timeout: 245 seconds]
madroach has quit [Ping timeout: 264 seconds]
freling has quit [Quit: Leaving.]
<ollehar> help? function returning module, what's wrong? http://pastebin.com/DPdFa7pX
<ollehar> unknown constructor T on last line
<ggole> You have to indicate that T is a module value
hbar has quit [Ping timeout: 264 seconds]
<ggole> And give a module type
<ggole> (module M : MType)
<ollehar> aha, so I have to make the sig explicit?
<ggole> Yep
<ollehar> ok thanks
<ggole> You can put the type somewhere else if it is syntactically convenient, but inference can't decide it for you
madroach has joined #ocaml
<ollehar> I have a Make functor in module Tellstory
struktured has joined #ocaml
jwatzman|work has joined #ocaml
<ggole> By somewhere else I meant, say, in the function signature
<ggole> let test () : (module Ty) = ...
javamonn has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
ontologiae has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
agarie has joined #ocaml
<ollehar> still wrong, added sig in Tellstory.T
ljs has quit [Read error: Connection reset by peer]
agarie has quit [Ping timeout: 276 seconds]
ljs has joined #ocaml
madroach has joined #ocaml
mort___ has quit [Ping timeout: 250 seconds]
<ggole> let make_module dice_results : (module Tellstory.T) =
<ollehar> nope
<ollehar> damn
<ggole> Can't really say any more with this little snippet of code
<ollehar> ok, well, have to go anyway
<ollehar> maybe post stackoverflow later
<ollehar> thanks, tho!
ollehar has quit [Quit: ollehar]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
MrScout has joined #ocaml
agarie has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
swgillespie has joined #ocaml
AlexRussia has quit [Ping timeout: 272 seconds]
ontologiae has quit [Ping timeout: 276 seconds]
claudiuc has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
Meths_ is now known as Meths
AlexRussia has joined #ocaml
agarie has quit [Read error: Connection reset by peer]
claudiuc_ has joined #ocaml
claudiuc has quit [Read error: No route to host]
s1n4 has quit [Ping timeout: 264 seconds]
Submarine has joined #ocaml
Haudegen has joined #ocaml
ljs has quit [Quit: None]
olauzon has quit [Quit: olauzon]
jwatzman|work has quit [Quit: jwatzman|work]
javamonn has quit [Remote host closed the connection]
javamonn has joined #ocaml
struktured has quit [Ping timeout: 245 seconds]
jwatzman|work has joined #ocaml
WraithM has joined #ocaml
Hannibal_Smith has joined #ocaml
ggole has quit []
s1n4 has joined #ocaml
Choups314 has joined #ocaml
Submarine has quit [Remote host closed the connection]
kakadu has joined #ocaml
Choups314 has quit [Client Quit]
javamonn has quit [Remote host closed the connection]
hbar has joined #ocaml
jbrown has quit [Ping timeout: 244 seconds]
javamonn has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
ericwa has joined #ocaml
ollehar has joined #ocaml
ontologiae has joined #ocaml
nojb has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
jbrown has joined #ocaml
concave has joined #ocaml
concave has left #ocaml [#ocaml]
WraithM has quit [Remote host closed the connection]
mort___ has joined #ocaml
milosn has quit [Ping timeout: 255 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
claudiuc_ has quit [Remote host closed the connection]
axiles has quit [Quit: Quitte]
milosn has joined #ocaml
mengu has joined #ocaml
gabemc has joined #ocaml
Gama11_ has quit [Remote host closed the connection]
_andre has quit [Quit: leaving]
MercurialAlchemi has quit [Ping timeout: 276 seconds]
claudiuc has joined #ocaml
javamonn has quit [Remote host closed the connection]
badkins has quit []
philtor has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
mv has joined #ocaml
mengu has quit [Remote host closed the connection]
milosn_ has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn_ is now known as milosn
gabemc has quit [Ping timeout: 252 seconds]
philtor has quit [Ping timeout: 248 seconds]
seanmcl_ has joined #ocaml
seanmcl has quit [Ping timeout: 256 seconds]
seanmcl_ has quit [Client Quit]
ingsoc has quit [Quit: Leaving.]
Nijikokun has joined #ocaml
ontologiae has joined #ocaml
philtor has joined #ocaml
MrScout_ has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
MrScout has quit [Ping timeout: 245 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
javamonn has joined #ocaml
Muzer has quit [Excess Flood]
javamonn has quit [Ping timeout: 264 seconds]
thomasga has joined #ocaml
swgillespie has joined #ocaml
Muzer has joined #ocaml
Muzer has quit [Excess Flood]
jwatzman|work has quit [Quit: jwatzman|work]
mengu has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
Muzer has joined #ocaml
struktured has joined #ocaml
mengu has quit [Ping timeout: 252 seconds]
thomasga has quit [Client Quit]
mort___ has quit [Quit: Leaving.]
kakadu has quit [Remote host closed the connection]
keen____ has quit [Read error: Connection reset by peer]
keen____ has joined #ocaml
nojb has quit [Quit: nojb]
javamonn has joined #ocaml
javamonn has quit [Ping timeout: 252 seconds]
kdef has quit [Quit: Leaving]
Muzer has quit [Excess Flood]
MrScout_ has quit [Remote host closed the connection]
jonludlam has quit [Ping timeout: 250 seconds]
MrScout has joined #ocaml
ollehar has quit [Quit: ollehar]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Muzer has joined #ocaml
philtor has quit [Ping timeout: 276 seconds]
hilquias has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
lordkryss has joined #ocaml