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
reem has joined #ocaml
rgrinberg has joined #ocaml
<SomeDamnBody> thizanne, now that I've installed the package I still can't load the libraries
<SomeDamnBody> in utop
<SomeDamnBody> or even baptop
reem has quit [Ping timeout: 256 seconds]
badon_ has joined #ocaml
badon has quit [Disconnected by services]
bytbox has joined #ocaml
badon_ is now known as badon
jao has quit [Ping timeout: 250 seconds]
nullcat has quit [Quit: gone...]
reem has joined #ocaml
Flakers has quit [Quit: Page closed]
<SomeDamnBody> oh wait, installation didn't complete
ghostpl_ has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
Guest94374 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
madroach has joined #ocaml
ptc has joined #ocaml
ptc is now known as Guest66520
reem has quit [Remote host closed the connection]
ghostpl_ has quit [Ping timeout: 252 seconds]
reem has joined #ocaml
reem has quit [Ping timeout: 256 seconds]
waneck has joined #ocaml
swistak35 has left #ocaml [#ocaml]
jwatzman|work has quit [Quit: jwatzman|work]
contempt has quit [Ping timeout: 250 seconds]
contempt has joined #ocaml
Algebr has quit [Remote host closed the connection]
bytbox has quit [Remote host closed the connection]
Guest66520 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
reem has joined #ocaml
yminsky has joined #ocaml
ptc_ has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
WraithM has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
paolooo has joined #ocaml
MrScout_ has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
yminsky has quit [Quit: yminsky]
reem has quit [Remote host closed the connection]
reem has joined #ocaml
WraithM has quit [Quit: leaving]
reem has quit [Remote host closed the connection]
yminsky has joined #ocaml
yminsky has quit [Client Quit]
yminsky has joined #ocaml
yminsky has quit [Client Quit]
shinnya has quit [Ping timeout: 245 seconds]
wagle_ has joined #ocaml
haesbaer1 has joined #ocaml
darkf has joined #ocaml
fraggle-boate_ has joined #ocaml
BitPuffin has quit [Ping timeout: 250 seconds]
fraggle-boate__ has quit [Ping timeout: 250 seconds]
axiles has quit [Ping timeout: 250 seconds]
wagle has quit [Ping timeout: 250 seconds]
Drup has quit [Ping timeout: 250 seconds]
haesbaert has quit [Ping timeout: 250 seconds]
tristero has quit [Ping timeout: 250 seconds]
trystero has joined #ocaml
Druup has joined #ocaml
wagle_ is now known as wagle
ghostpl_ has joined #ocaml
antkong has quit [Quit: antkong]
ghostpl_ has quit [Ping timeout: 245 seconds]
axiles has joined #ocaml
paolooo has quit [Quit: Page closed]
SomeDamnBody has quit [Ping timeout: 272 seconds]
ptc_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
paolooo has joined #ocaml
antkong has joined #ocaml
ygrek has joined #ocaml
yminsky has joined #ocaml
reem has joined #ocaml
reem has quit [Remote host closed the connection]
travisbrady has joined #ocaml
reem has joined #ocaml
monoprotic has joined #ocaml
reem has quit [Remote host closed the connection]
dwoos has quit [Quit: ZNC - http://znc.in]
yminsky has quit [Quit: yminsky]
reem has joined #ocaml
claudiuc has quit [Remote host closed the connection]
ptc has joined #ocaml
ptc is now known as Guest43565
reem has quit [Remote host closed the connection]
WraithM has joined #ocaml
reem has joined #ocaml
hilquias has quit [Ping timeout: 264 seconds]
reem has quit [Remote host closed the connection]
reem has joined #ocaml
yminsky has joined #ocaml
yminsky has quit [Client Quit]
keen__________78 has joined #ocaml
keen__________77 has quit [Ping timeout: 264 seconds]
reem has quit [Remote host closed the connection]
swgillespie has joined #ocaml
nullcat has joined #ocaml
keen__________78 has quit [Read error: Connection reset by peer]
keen__________78 has joined #ocaml
reem has joined #ocaml
reem has quit [Remote host closed the connection]
larhat1 has joined #ocaml
larhat has quit [Ping timeout: 245 seconds]
ghostpl_ has joined #ocaml
Guest43565 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
BitPuffin has joined #ocaml
ptc has joined #ocaml
ptc is now known as Guest39913
ghostpl_ has quit [Ping timeout: 272 seconds]
reem_ has joined #ocaml
larhat1 has quit [Quit: Leaving.]
reem_ has quit [Remote host closed the connection]
Guest39913 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
bytbox has joined #ocaml
SomeDamnBody has joined #ocaml
divyansh_ has joined #ocaml
SomeDamnBody has quit [Ping timeout: 244 seconds]
ptc_ has joined #ocaml
divyansh_ has quit [Ping timeout: 245 seconds]
divyansh_ has joined #ocaml
reem has joined #ocaml
divyansh_ has quit [Client Quit]
reem has quit [Remote host closed the connection]
reem has joined #ocaml
travisbrady has quit [Quit: travisbrady]
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
reem has quit [Remote host closed the connection]
reem_ has joined #ocaml
mcc has joined #ocaml
rgrinberg has quit [Ping timeout: 245 seconds]
mcc has quit [Client Quit]
jbrown has quit [Ping timeout: 244 seconds]
reem_ has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
ptc_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
reem has joined #ocaml
divyansh_ has joined #ocaml
WraithM has quit [Quit: leaving]
reem has quit [Remote host closed the connection]
reem has joined #ocaml
paolooo has quit [Ping timeout: 246 seconds]
reem has quit [Remote host closed the connection]
divyansh_ has quit [Quit: Textual IRC Client: www.textualapp.com]
MercurialAlchemi has joined #ocaml
reem has joined #ocaml
reem has quit [Remote host closed the connection]
ghostpl_ has joined #ocaml
ghostpl_ has quit [Ping timeout: 255 seconds]
ebzzry has quit [Ping timeout: 255 seconds]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
reem has quit [Ping timeout: 245 seconds]
reem has joined #ocaml
ygrek_ has quit [Ping timeout: 252 seconds]
Submarine has joined #ocaml
reem has quit [Remote host closed the connection]
antkong has quit [Quit: antkong]
ptc has joined #ocaml
ptc is now known as Guest74134
reem has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Submarine has quit [Quit: Leaving]
swgillespie has joined #ocaml
Simn has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ygrek_ has joined #ocaml
ghostpl_ has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Guest74134 has quit [Ping timeout: 252 seconds]
ghostpl_ has quit [Ping timeout: 246 seconds]
oscar_toro has quit [Quit: Lost terminal]
larhat has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
avsm has joined #ocaml
MrScout_ has joined #ocaml
reem has quit [Remote host closed the connection]
nullcat has joined #ocaml
reem has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
sol__ has quit [Ping timeout: 240 seconds]
reem has quit [Remote host closed the connection]
sol__ has joined #ocaml
avsm has quit [Quit: Leaving.]
Haudegen has joined #ocaml
ggole has joined #ocaml
reem has joined #ocaml
ontologiae_ has joined #ocaml
WraithM has joined #ocaml
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
reem has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 272 seconds]
Pepe_ has quit [Remote host closed the connection]
ghostpl_ has joined #ocaml
Pepe_ has joined #ocaml
ghostpl_ has quit [Ping timeout: 264 seconds]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
reem has joined #ocaml
ygrek_ has quit [Ping timeout: 264 seconds]
reem has quit [Remote host closed the connection]
Kakadu has joined #ocaml
reem has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
sol__ has quit [Ping timeout: 246 seconds]
sol__ has joined #ocaml
laughing-octo-sh has joined #ocaml
reem has quit [Remote host closed the connection]
tane has joined #ocaml
freling has joined #ocaml
antkong has joined #ocaml
reem has joined #ocaml
moei has quit [Quit: Leaving...]
reem has quit [Remote host closed the connection]
moei has joined #ocaml
badon_ has joined #ocaml
badon has quit [Disconnected by services]
badon_ is now known as badon
reem has joined #ocaml
antkong has quit [Ping timeout: 265 seconds]
laughing-octo-sh has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
reem has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
reem has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
reem has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
ghostpl_ has joined #ocaml
reem has joined #ocaml
antkong has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
arj has joined #ocaml
ghostpl_ has quit [Remote host closed the connection]
antkong has quit [Ping timeout: 246 seconds]
mort___ has joined #ocaml
dav has quit [Ping timeout: 255 seconds]
dav__ has joined #ocaml
zpe has quit [Remote host closed the connection]
dsheets has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
MrScout_ has quit [Remote host closed the connection]
Haudegen has joined #ocaml
ghostpl_ has joined #ocaml
avsm has joined #ocaml
avsm has quit [Quit: Leaving.]
leowzukw has joined #ocaml
rand000 has joined #ocaml
mcclurmc_ has joined #ocaml
Haudegen has quit [Ping timeout: 252 seconds]
mcclurmc has quit [Ping timeout: 256 seconds]
reem has quit [Remote host closed the connection]
Haudegen has joined #ocaml
avsm has joined #ocaml
rgrinberg has joined #ocaml
avsm has quit [Client Quit]
_andre has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
yminsky has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
haesbaer1 has quit [Quit: leaving]
haesbaert has joined #ocaml
Fullma has joined #ocaml
seangrov` has quit [Ping timeout: 264 seconds]
waneck has quit [Ping timeout: 264 seconds]
reem has joined #ocaml
reem has quit [Ping timeout: 256 seconds]
AlexRussia has quit [Ping timeout: 264 seconds]
tane has quit [Quit: Verlassend]
yomimono has joined #ocaml
ygrek_ has quit [Ping timeout: 250 seconds]
yminsky has quit [Quit: yminsky]
dsheets has quit [Ping timeout: 264 seconds]
yomimono has quit [Ping timeout: 264 seconds]
matason has joined #ocaml
ghostpl_ has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
AlexRussia has joined #ocaml
paradoja has joined #ocaml
reem has joined #ocaml
reem has quit [Ping timeout: 272 seconds]
avsm has joined #ocaml
<freling> Is there a way to print a variant value (for logging purpose)?
<dmbaturin> freling: You can make a formatter for it (or just a string_of_foo function).
<freling> Right now I have a function that matches | Foo -> "Foo" | Bar -> "Bar"
<dmbaturin> Or use a syntax extension that produces pretty printers for you.
<freling> Where should I look to do that?
<freling> Thanks
<tizoc> does anyone know how to use lwt's ppx extension (or ppx in general) with merlin?
avsm has quit [Quit: Leaving.]
shinnya has joined #ocaml
<thizanne> with PKG ppx_deriving.std in my .merlin, I can use this syntax extension
keen__________79 has joined #ocaml
<companion_cube> or, to try just once: :Use ppx_deriving.std
keen__________78 has quit [Ping timeout: 256 seconds]
<tizoc> adding "FLG -ppx ppx_lwt" to .merlin works, but looking at the source it seems it should be able to find .ppx subpackages by itself?
ghostpl_ has joined #ocaml
moviuro has quit [Quit: ZNC on a FreeBSD jail, from an Archlinux laptop and OpenBSD openVPN server... what else?]
<def`> tizoc: don't use flag, do as thizanne and companion_cube said
rgrinberg has joined #ocaml
<tizoc> that worked (I think I didn't restart the process before)
<tizoc> thanks
<companion_cube> :Reload is very useful
<tizoc> M-x merlin-restart-process in my case
rossberg has quit [Ping timeout: 265 seconds]
rgrinberg has quit [Ping timeout: 246 seconds]
moviuro has joined #ocaml
<companion_cube> yes, sorry
moviuro has quit [Remote host closed the connection]
moviuro has joined #ocaml
rossberg has joined #ocaml
rgrinberg has joined #ocaml
sol__ has quit [Ping timeout: 244 seconds]
matason has quit [Quit: leaving]
dsheets has joined #ocaml
sol__ has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
lordkryss has joined #ocaml
zpe has joined #ocaml
mort___ has quit [Ping timeout: 265 seconds]
rgrinberg has joined #ocaml
yomimono has joined #ocaml
jbrown has joined #ocaml
yminsky has joined #ocaml
struktured has joined #ocaml
`eeks has joined #ocaml
mort___ has joined #ocaml
Algebr has joined #ocaml
psy_ has quit [Ping timeout: 244 seconds]
gargaml has quit [Quit: WeeChat 1.1.1]
leowzukw has quit [Remote host closed the connection]
ghostpl_ has quit [Remote host closed the connection]
ghostpl_ has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
mort___ has quit [Quit: Leaving.]
`eeks has quit [Ping timeout: 246 seconds]
shinnya has quit [Ping timeout: 246 seconds]
mort___ has joined #ocaml
badkins has joined #ocaml
Druup is now known as Drup
mort___ has quit [Quit: Leaving.]
`eeks has joined #ocaml
yminsky has quit [Quit: yminsky]
rgrinberg has quit [Ping timeout: 244 seconds]
larhat has quit [Quit: Leaving.]
slash^ has joined #ocaml
mort___1 has joined #ocaml
ghostpl_ has quit [Remote host closed the connection]
mort___2 has joined #ocaml
mort___1 has quit [Read error: Connection reset by peer]
mort___2 has quit [Ping timeout: 246 seconds]
ghostpl_ has joined #ocaml
struktured has quit [Ping timeout: 244 seconds]
psy_ has joined #ocaml
arj has quit [Quit: Leaving.]
darkf has quit [Quit: Leaving]
tnguyen has quit [Quit: tnguyen]
MercurialAlchemi has quit [Remote host closed the connection]
paradoja has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
sol__ has quit [Ping timeout: 272 seconds]
AlexRussia has quit [Ping timeout: 256 seconds]
travisbrady has joined #ocaml
ddosia has quit [Quit: Connection closed for inactivity]
lordkryss has quit [Quit: Connection closed for inactivity]
rgrinberg has joined #ocaml
nicoo has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Ping timeout: 252 seconds]
AlexRussia has joined #ocaml
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
yomimono has quit [Ping timeout: 252 seconds]
yomimono has joined #ocaml
bjorkintosh has quit [Ping timeout: 245 seconds]
<seliopou> is there any way to make the type checker recognize a class type parameter as being a polymorphic variant?
fedjo has quit [Remote host closed the connection]
<Drup> how would that work ?
<Drup> ah
<companion_cube> you mean, you have class ['a] foo = .... ?
<Drup> ok, I got it
<seliopou> yeah so i wanna do something like this
<Drup> no, there is not
<companion_cube> you can add constraint 'a = [> `foo | `bar]
<seliopou> class ['a constraint [> `Empty] = 'a] foo = ...
<companion_cube> unless you mean, any poly variant
<seliopou> but that doesn't work :/
<companion_cube> put the constraint outside
<seliopou> in the mli?
<seliopou> Drup: D:
<Drup> seliopou: actually, if you have a minimal poly variant, you can
<seliopou> yup I have the minimal one
<Drup> you can't say "any poly variant, as long as it's a poly variant"
<seliopou> [> `Empty] is what I
<seliopou> m looking for
jbrown has quit [Quit: Client exiting]
<seliopou> what's the syntax look like tho? I've tried a few things with no luck
<companion_cube> class virtual ['a] ref = object constraint 'a = [>`foo | `bar] method virtual set: 'a -> unit method virtual get: 'a end ;;
<seliopou> oh dang
<seliopou> ok gonna try
<seliopou> companion_cube: _within_ the object?
seangrove has joined #ocaml
<companion_cube> apparently
<seliopou> WOOOO
<seliopou> thanks guys!
<seliopou> it works
<seliopou> (so far)
<seliopou> :P
<seliopou> this is gonna be amazing
<companion_cube> :D
<Drup> All the most fabulous disaster started like that.
<seliopou> hahaha
<seliopou> Drup: knock on wood for me :)
paradoja has joined #ocaml
seangrove has quit [Ping timeout: 272 seconds]
rand000 has quit [Ping timeout: 250 seconds]
Nahra has quit [Remote host closed the connection]
seangrove has joined #ocaml
nicoo has joined #ocaml
bjorkintosh has joined #ocaml
arj has joined #ocaml
ptc has joined #ocaml
ptc is now known as Guest54767
<nlucaroni> \q
<nlucaroni> opps this isn't postgres
zpe has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
hilquias has joined #ocaml
igitoor has quit [Ping timeout: 250 seconds]
igitoor has joined #ocaml
Muzer has quit [Ping timeout: 256 seconds]
jwatzman|work has joined #ocaml
ghostpl_ has quit [Remote host closed the connection]
mort___ has joined #ocaml
yomimono has quit [Ping timeout: 265 seconds]
ptc_ has joined #ocaml
Guest54767 has quit [Read error: Connection reset by peer]
Muzer has joined #ocaml
igitoor has joined #ocaml
igitoor has quit [Changing host]
arj has quit [Quit: Leaving.]
yomimono has joined #ocaml
ontologiae_ has quit [Ping timeout: 272 seconds]
Kakadu has quit [Quit: Page closed]
jprakash has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
TheLemonMan has joined #ocaml
ggole has quit []
zpe has joined #ocaml
nullcat has joined #ocaml
travisbrady has quit [Quit: travisbrady]
zpe has quit [Ping timeout: 245 seconds]
`eeks has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
travisbrady has joined #ocaml
Kakadu has joined #ocaml
netABCs has joined #ocaml
`eeks has joined #ocaml
ptc_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mort___ has quit [Quit: Leaving.]
tnguyen has joined #ocaml
nlucaroni has quit [Quit: leaving]
ptc has joined #ocaml
ptc is now known as Guest75711
ghostpl_ has joined #ocaml
nullcat has quit [Read error: Connection reset by peer]
ghostpl__ has joined #ocaml
ghostpl_ has quit [Ping timeout: 255 seconds]
MrScout has quit [Ping timeout: 256 seconds]
mort___ has joined #ocaml
paradoja has quit [Ping timeout: 272 seconds]
<haesbaert> what are my options for network library ? should I just use sockets directly ?
<haesbaert> I want to build something with lwt and udp
<_obad_> haesbaert: I myself just use Lwt_unix
<haesbaert> will try that, one less library
yomimono has quit [Ping timeout: 255 seconds]
ollehar1 has joined #ocaml
<haesbaert> hmm does lwt actually spawns pthreads ?
<haesbaert> ahh no, read the documentation, wrong, it says "for syscalls that cannot be made asynchronously"
<_obad_> haesbaert: I'm using Lwt_preemptive to do just that but it's a very specific case (I'm just lazy to update a kernel driver with non-blocking calls)
<_obad_> you usually don't need that
<haesbaert> nah I totally don't want it
<haesbaert> I'd be fine just using poll/select directly, but learning lwt seems like a good thing
bytbox has quit [Remote host closed the connection]
<adrien> lwt is way better than epoll() which is way better than poll() which is way better than select()
<haesbaert> which is all worse than libevent(3) :D
<adrien> I'm not sure libevent beats lwt :)
<haesbaert> if you're coding C, libevent is really awesome, I mean really awesome
<adrien> reminds me: lwt uses libeve
<adrien> libev*
<haesbaert> hmmm
<adrien> so you get OCaml and more than libev
<adrien> shouldn't be limitating :)
<haesbaert> \o/
<adrien> (the fact that it uses libev is completely invisible)
<haesbaert> I want to implement a netcat clone, just for learning
<haesbaert> it makes sense, having a backend for poll/select/epoll/kevent instead of just using libev would be a pain for lwt I guess
<adrien> especially the windows support ;-)
<haesbaert> ohh, did not think of that
<flux> haesbaert, btw, though this doesn't affect your project goal ;-), socat it great
rand000 has joined #ocaml
<haesbaert> ahh I've heard of
<haesbaert> seems to be a good improvement over gnu's netcat
<haesbaert> which kinda sucks
<haesbaert> I use the openbsd rewrite which is pretty ok imho
AlexRussia has quit [Ping timeout: 255 seconds]
<adrien> socat is netcat on steroids
<adrien> you can listen on a port and open a connectiong to another host upon receiving a connection
<adrien> possibly forking for doing so
<adrien> it can do soooo many things
<haesbaert> cool
<flux> I suppose the concept could be extended even further
nullcat has joined #ocaml
<flux> connect unix domain socket with a builtin web server ;-)
<adrien> I think it does ;-)
<haesbaert> no clock_gettime() in Unix :(
AlexRussia has joined #ocaml
<adrien> well, it isn't built-in
<haesbaert> how do I get monotonic time ?
<adrien> haesbaert: no, it's very "light"
<adrien> haesbaert: have a look at ExtUnix or maybe somewhere in lwt
<haesbaert> ack
oriba has joined #ocaml
<haesbaert> hmm not in ExtUnix, might have found my first diff to send
<flux> well, I _think_ Core has it
slash^ has quit [Read error: Connection reset by peer]
<adrien> I'm fairly sure I've seen it in extunis
dsheets has quit [Ping timeout: 256 seconds]
alkoma has joined #ocaml
AlexRussia has quit [Quit: WeeChat 1.2-dev]
AlexRussia has joined #ocaml
jprakash has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 265 seconds]
laughing-octo-sh has joined #ocaml
Guest75711 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
Submarine has quit [Quit: Leaving]
swgillespie has joined #ocaml
mort___ has quit [Quit: Leaving.]
_andre has quit [Quit: leaving]
MrScout has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
monod has joined #ocaml
dsheets has joined #ocaml
MrScout has quit [Ping timeout: 246 seconds]
jbalint has quit [Ping timeout: 245 seconds]
AlexRussia has quit [Ping timeout: 245 seconds]
enquora has joined #ocaml
MrScout has joined #ocaml
MrScout has quit [Client Quit]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ptc has joined #ocaml
ptc is now known as Guest98304
antkong has joined #ocaml
claudiuc has joined #ocaml
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
jbalint has joined #ocaml
jbalint has joined #ocaml
bytbox has joined #ocaml
antkong has quit [Quit: antkong]
nullcat has quit [Read error: Connection reset by peer]
antkong has joined #ocaml
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
jprakash has joined #ocaml
antkong has quit [Quit: antkong]
<ollehar1> can I force the structure of a type on type level, e.g. a list where the first element always is type a?
enquora has quit [Remote host closed the connection]
Guest98304 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<def`> with gadts
swgillespie has joined #ocaml
tnguyen has quit [Ping timeout: 256 seconds]
ptc_ has joined #ocaml
netABCs has quit [Ping timeout: 250 seconds]
tnguyen has joined #ocaml
struktured has joined #ocaml
<haesbaert> hi, stupid question, hi do I test for the optional value of something with "if", not match ?
<haesbaert> insteach of: match foo with | Some foo -> gotfoo | _ -> nofoo
<haesbaert> if Some foo then...
<Drup> haesbaert: why would you want to do that ?
Fullma has quit [Ping timeout: 245 seconds]
dwoos has joined #ocaml
<haesbaert> Drup: I was just making some tests and wanting to print something if the argument was passed
<haesbaert> nothing real, but got me puzzled
Kakadu has quit [Remote host closed the connection]
<haesbaert> something tells me it is not possible
Fullma has joined #ocaml
<`eeks> Option.Monad_infix if you want a one-liner
<Drup> haesbaert: you can get Option functions in various libraries
<Drup> In your case, Option.iter
<haesbaert> ack
Anarchos has joined #ocaml
tnguyen has quit [Quit: tnguyen]
claudiuc has quit [Quit: Leaving...]
monod has quit [Quit: Sto andando via]
claudiuc has joined #ocaml
antkong has joined #ocaml
BitPuffin has quit [Ping timeout: 244 seconds]
ptc_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Muzer has quit [Ping timeout: 256 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
reem has joined #ocaml
MrScout_ has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
arj has joined #ocaml
arj has quit [Client Quit]
travisbrady has quit [Quit: travisbrady]
Muzer has joined #ocaml
pyon has left #ocaml ["test"]
hilquias has quit [Ping timeout: 264 seconds]
netABCs has joined #ocaml
netABCs has quit [Ping timeout: 272 seconds]
ptc has joined #ocaml
ptc is now known as Guest28295
swgillespie has joined #ocaml
ghostpl__ has quit [Remote host closed the connection]
bytbox has quit [Remote host closed the connection]
TheLemonMan has quit [Remote host closed the connection]
bytbox has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
pyon has joined #ocaml
jprakash has quit [Ping timeout: 250 seconds]
ebzzry has joined #ocaml
ollehar1 has quit [Ping timeout: 252 seconds]
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
nullcat has joined #ocaml
shinnya has joined #ocaml
travisbrady has joined #ocaml
laughing-octo-sh has quit [Ping timeout: 245 seconds]
swgillespie has joined #ocaml
freling has quit [Quit: Leaving.]
oriba has quit [Quit: Verlassend]
ghostpl_ has joined #ocaml