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
mcclurmc_ has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
Muzer has joined #ocaml
<dmbaturin> kotee: Well, true; what I was confused about was theoretical interpretation.
regnat has joined #ocaml
Yoric has quit [Remote host closed the connection]
NSA360 has joined #ocaml
asakim has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
<Tekk_> Has anyone made games in ocaml before? Working on a relatively small one to go with my sdl binding but I'm not quite sure what the best way to organize it would be.
<Tekk_> mainly as far as either using objects or doing something like a tuple of the module and M.t
<Tekk_> but I'm sure there's other stuff I'm not forseeing yet too
osa1 has joined #ocaml
<osa1> hi all, OCaml noob here. is there a way to express this Haskell function in OCaml: `let x = \(a :: forall a. a -> a) -> (a True, a 1)` ?
<Drup> yes, but it's annoying.
<Drup> you have to go through a record
<Drup> type id = { id : 'a . 'a -> 'a } ;;
<Drup> let f g = (g.id true, g.id 1) ;;
Muzer has quit [Ping timeout: 264 seconds]
madroach has quit [Ping timeout: 264 seconds]
<osa1> interesting, are there any theoretical problems that prevents lambda expressions with explicitly specified polymorphic arguments from working?
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
jonludlam has quit [Quit: Coyote finally caught me]
jao has joined #ocaml
Muzer has joined #ocaml
seggy is now known as segmond
asakim has quit [Remote host closed the connection]
asakim has joined #ocaml
osa1_ has joined #ocaml
osa1 has quit [Ping timeout: 244 seconds]
nullcat has joined #ocaml
AltGr has joined #ocaml
NSA360 has quit [Quit: Leaving]
pyon has quit [Ping timeout: 252 seconds]
rgrinberg1 has joined #ocaml
rgrinberg has quit [Ping timeout: 255 seconds]
nullcat has quit [Read error: Connection reset by peer]
demonimin_ has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
demonimin has quit [Ping timeout: 245 seconds]
raphaelss has joined #ocaml
antegallya has quit [Ping timeout: 264 seconds]
asakim has quit [Remote host closed the connection]
shinnya_ has quit [Quit: ZNC - http://znc.in]
shinnya_ has joined #ocaml
AlexRussia has quit [Ping timeout: 255 seconds]
vanila has joined #ocaml
nojb has joined #ocaml
pyon has joined #ocaml
M-x has joined #ocaml
raphaelss has left #ocaml [#ocaml]
marynate has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
pyon has quit [Ping timeout: 264 seconds]
q66 has quit [Quit: Leaving]
kapil__ has joined #ocaml
araujo has quit [Quit: Leaving]
oriba_ has joined #ocaml
ygrek has joined #ocaml
f[x] has quit [Remote host closed the connection]
oriba has quit [Ping timeout: 244 seconds]
shinnya_ has quit [Quit: ZNC - http://znc.in]
darkf has joined #ocaml
shinnya_ has joined #ocaml
nojb has quit [Quit: nojb]
pyon has joined #ocaml
chinglish has joined #ocaml
asakim has joined #ocaml
rgrinberg1 has quit [Quit: Leaving.]
Nahra` has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
M-x has quit [Remote host closed the connection]
asakim has quit [Remote host closed the connection]
osa1_ has quit [Ping timeout: 265 seconds]
oriba_ has quit [Quit: Verlassend]
c74d has quit [Remote host closed the connection]
larhat1 has quit [Quit: Leaving.]
c74d has joined #ocaml
enitiz has quit [Ping timeout: 256 seconds]
kdef has joined #ocaml
kdef_ has joined #ocaml
kdef_ has quit [Remote host closed the connection]
samrat has joined #ocaml
samrat has quit [Client Quit]
samrat has joined #ocaml
Yoric has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
Yoric has quit [Ping timeout: 244 seconds]
BitPuffin has joined #ocaml
Yoric has joined #ocaml
kotee has quit [Quit: leaving]
pyon has quit [Ping timeout: 264 seconds]
bjorkintosh has quit [Ping timeout: 244 seconds]
BitPuffin has quit [Ping timeout: 245 seconds]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 244 seconds]
matason has joined #ocaml
MercurialAlchemi has joined #ocaml
kdef has quit [Quit: Leaving]
chinglish has quit [Read error: Connection reset by peer]
matason has quit [Quit: Leaving...]
bjorkintosh has joined #ocaml
Submarine has quit [Remote host closed the connection]
zwer_h has joined #ocaml
zwer has quit [Ping timeout: 250 seconds]
Yoric has joined #ocaml
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
Haudegen has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
Yoric_ has joined #ocaml
mengu has joined #ocaml
Yoric has quit [Ping timeout: 244 seconds]
ygrek_ has joined #ocaml
ygrek has quit [Remote host closed the connection]
Intensity has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
rock_neurotiko has quit [Ping timeout: 264 seconds]
Nahra has joined #ocaml
rock_neurotiko has joined #ocaml
kakadu has joined #ocaml
baz_ has joined #ocaml
dsheets__ has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
matason has joined #ocaml
kapil__ has quit [Quit: Connection closed for inactivity]
ddosia has joined #ocaml
ingsoc has joined #ocaml
larhat has joined #ocaml
alexi5 has joined #ocaml
<alexi5> ehllo
kakadu has quit [Ping timeout: 240 seconds]
baz_ has quit [Quit: baz_]
_andre has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
antegallya has joined #ocaml
axiles has quit [Quit: Quitte]
mengu has quit [Remote host closed the connection]
ocp has joined #ocaml
mengu has joined #ocaml
mengu has joined #ocaml
mengu has quit [Changing host]
ocp has quit [Client Quit]
ocp has joined #ocaml
antegallya has quit [Ping timeout: 244 seconds]
sgnb`` has joined #ocaml
sgnb` has quit [Ping timeout: 240 seconds]
mengu has quit [Ping timeout: 244 seconds]
rossberg has joined #ocaml
AltGr has left #ocaml [#ocaml]
Haudegen has quit [Ping timeout: 255 seconds]
antegallya has joined #ocaml
Haudegen has joined #ocaml
Simn has joined #ocaml
marynate has quit [Quit: Leaving]
jonludlam has joined #ocaml
lyxia has joined #ocaml
gdsfh has quit [Quit: Leaving.]
gdsfh has joined #ocaml
<ollehar> ih
kakadu has joined #ocaml
davine has joined #ocaml
Reventlov has quit [Read error: Connection reset by peer]
Reventlov has joined #ocaml
kapil__ has joined #ocaml
nojb has joined #ocaml
mengu has joined #ocaml
ingsoc1 has joined #ocaml
Yoric_ has quit [Remote host closed the connection]
ingsoc has quit [Ping timeout: 244 seconds]
marynate has joined #ocaml
marynate has quit [Max SendQ exceeded]
marynate has joined #ocaml
marynate has quit [Max SendQ exceeded]
marynate has joined #ocaml
nojb has quit [Quit: nojb]
nojb has joined #ocaml
<nojb> def`: ping
axiles has joined #ocaml
huza has joined #ocaml
oscar_toro has joined #ocaml
davine has quit [Quit: Leaving]
samrat has quit [Quit: Computer has gone to sleep.]
Yoric has joined #ocaml
marynate has quit [Quit: Leaving]
vanila has quit [Quit: Leaving]
nojb has quit [Quit: nojb]
Arsenik has joined #ocaml
nojb has joined #ocaml
rand000 has joined #ocaml
nojb has quit [Client Quit]
nojb has joined #ocaml
nojb has quit [Client Quit]
BitPuffin has joined #ocaml
nojb has joined #ocaml
alexi5 has quit []
Yoric has quit [Quit: Leaving...]
govg has quit [Ping timeout: 264 seconds]
alexis_ has joined #ocaml
rock_neurotiko has quit [Ping timeout: 256 seconds]
johnelse has quit [Quit: Lost terminal]
nojb has quit [Quit: nojb]
johnelse has joined #ocaml
alexis_ has quit [Quit: Quitte]
ggole has joined #ocaml
kakadu has quit [Remote host closed the connection]
huza has quit [Quit: WeeChat 0.3.8]
nojb has joined #ocaml
travisbrady has joined #ocaml
osa1_ has joined #ocaml
govg has joined #ocaml
travisbrady has quit [Quit: travisbrady]
AlexRussia has joined #ocaml
osa1_ has quit [Ping timeout: 265 seconds]
samrat has joined #ocaml
Thooms has joined #ocaml
osa1_ has joined #ocaml
dystan has joined #ocaml
matason has quit [Quit: leaving]
dystan has quit [Quit: Page closed]
lu324 has quit [Read error: Connection reset by peer]
bytbox has quit [Remote host closed the connection]
lu324 has joined #ocaml
travisbrady has joined #ocaml
psy_ has quit [Read error: No route to host]
hekmek has joined #ocaml
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
lu324_ has joined #ocaml
psy_ has joined #ocaml
rock_neurotiko has joined #ocaml
osa1_ has quit [Quit: Konversation terminated!]
osa1_ has joined #ocaml
lu324 has quit [Ping timeout: 252 seconds]
vanila has joined #ocaml
matason has joined #ocaml
baz_ has joined #ocaml
travisbrady has quit [Quit: travisbrady]
baz_ has quit [Read error: Connection reset by peer]
rock_neurotiko has quit [Ping timeout: 264 seconds]
Thooms has quit [Quit: WeeChat 1.0.1]
<flux> dmbaturin, well, it doesn't return, so it doesn't matter what its return value is
<flux> dmbaturin, but consider it more practically: if foobaloo 42 then 5 else raise (Failure "arggh")
<flux> oops, I was in the backlog, never mind ;-)
bytbox has joined #ocaml
enitiz has joined #ocaml
badkins has joined #ocaml
ebzzry has quit [Ping timeout: 244 seconds]
osa1_ has quit [Ping timeout: 244 seconds]
pgas` has joined #ocaml
moei has quit [Read error: Connection reset by peer]
pgas has quit [Remote host closed the connection]
moei has joined #ocaml
rock_neurotiko has joined #ocaml
pgas` is now known as pgas
pyon has joined #ocaml
Thooms has joined #ocaml
travisbrady has joined #ocaml
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 244 seconds]
avsm has joined #ocaml
nojb has quit [Quit: nojb]
ocp has quit [Ping timeout: 244 seconds]
osa1_ has joined #ocaml
osa1_ has quit [Client Quit]
ebzzry has joined #ocaml
osa1_ has joined #ocaml
chinglish has joined #ocaml
uris77 has joined #ocaml
NoNNaN has joined #ocaml
struktured has quit [Ping timeout: 265 seconds]
dbp has joined #ocaml
mcclurmc_ has joined #ocaml
mengu has quit [Remote host closed the connection]
<seliopou> Hey there, anybody here have experience with the aws package on opam? Better yet, is anybody here a maintainer (or working for besport)?
<Drup> hugo used to hang around, but not anymore I think.
mcclurmc has quit [Ping timeout: 245 seconds]
badon has quit [Remote host closed the connection]
badon has joined #ocaml
<avsm> seliopou: i think you might have better luck with the moonlightdrive/aws fork
<avsm> not had a chance to try either yet though
chinglish has quit [Read error: Connection reset by peer]
nojb has joined #ocaml
chinglish has joined #ocaml
<seliopou> looks like this may be an upgrade over aws, wrt ec2 at least
<seliopou> thanks avsm, dsheets__ !
<dsheets__> there was also someone recently talking on mirage-devel about autogenerated bindings from XML specs
<seliopou> dsheets__yes, we were just talking about forking amazonka (https://github.com/brendanhay/amazonka) and have it emit ocaml instead of Haskell
<seliopou> might be overkill for our initial prototyping tho
mengu has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
darkf has quit [Quit: Leaving]
osa1_ has left #ocaml ["Konversation terminated!"]
Sim_n has quit [Read error: Network is unreachable]
Sim_n has joined #ocaml
larhat has quit [Quit: Leaving.]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
nojb has quit [Quit: nojb]
Sim_n has quit [Read error: Network is unreachable]
Sim_n has joined #ocaml
jonludlam has quit [Ping timeout: 245 seconds]
<chinglish> hehe
thomasga has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
axiles has quit [Quit: Quitte]
kapil__ has quit [Quit: Connection closed for inactivity]
rgrinberg has joined #ocaml
antegallya has quit [Quit: Leaving.]
MercurialAlchemi has joined #ocaml
vanila has quit [Quit: Leaving]
mengu has quit [Remote host closed the connection]
samrat has quit [Ping timeout: 240 seconds]
samrat has joined #ocaml
jonludlam has joined #ocaml
pyon has quit [Quit: stupid emacs]
pyon has joined #ocaml
badkins has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
smondet has quit [Ping timeout: 244 seconds]
igstan has joined #ocaml
smondet has joined #ocaml
struk|work has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
pyon has quit [Ping timeout: 256 seconds]
nojb has joined #ocaml
inr__ has joined #ocaml
Sim_n is now known as Simn
inr_ has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
demonimin has joined #ocaml
badkins has joined #ocaml
demonimin_ has quit [Ping timeout: 244 seconds]
pyon has joined #ocaml
slash^ has joined #ocaml
ebzzry has quit [Ping timeout: 252 seconds]
ebzzry has joined #ocaml
struktured_ has quit [Quit: No Ping reply in 180 seconds.]
struktured has joined #ocaml
jwatzman|work has joined #ocaml
pyon has quit [Ping timeout: 245 seconds]
planetlarg has joined #ocaml
planetlarg has quit [Client Quit]
Submarine has joined #ocaml
Submarine has joined #ocaml
dsheets__ has quit [Ping timeout: 255 seconds]
nojb has quit [Quit: nojb]
Haudegen has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
igstan has quit [Quit: igstan]
WraithM has joined #ocaml
moei has quit [Quit: Leaving...]
nojb has joined #ocaml
matason has quit [Ping timeout: 245 seconds]
uris77 has quit [Quit: leaving]
q66 has joined #ocaml
voglerr1 has quit [Ping timeout: 265 seconds]
MrScout_ has joined #ocaml
pyon has joined #ocaml
MrScout has joined #ocaml
manizzle has quit [Ping timeout: 255 seconds]
pyon has quit [Ping timeout: 256 seconds]
MrScout_ has quit [Ping timeout: 265 seconds]
kakadu has joined #ocaml
Arsenik has quit [Remote host closed the connection]
pyon has joined #ocaml
jbalint has quit [Ping timeout: 240 seconds]
<seliopou> avsm, dbp just looked into the two libraries
<avsm> what's the verdict, doc?
<dbp> avsm, to be honest, both are somewhat less than what we'd hoped for
<dbp> the only-ec2 one (moonlight) really covers almost nothing...
struktured has quit [Quit: No Ping reply in 180 seconds.]
<dbp> you can start and kill instances, but that's about it
samrat has quit [Ping timeout: 245 seconds]
<dbp> no way to get much info about the instances, etc.
<dbp> the other covers a little more, but it's pretty out of date (only has last generation instance types, as a tiny example)
<avsm> yeah, the full one is a bit epic. The only really sustainable way to keepup is code generation
struktured has joined #ocaml
Unhammer has quit [Remote host closed the connection]
<avsm> hacking the haskell one to generate OCaml code wouldn't be too bad, since that could be a package that is then used from pure OCaml
AlexRussia has quit [Ping timeout: 265 seconds]
<dbp> avsm: yeah, that's the conclusion we've been coming to.
samrat has joined #ocaml
Unhammer has joined #ocaml
<avsm> I'd be most interested in testing one of those — need a few hundred VMs spun up and down for bulk builds these days: http://www.recoil.org/~avsm/opam-bulk/
<dbp> comparing what you get out of that to the two hand written ocaml ones is pretty stark: https://github.com/brendanhay/amazonka/tree/develop/amazonka-ec2/gen/Network/AWS/EC2
<dbp> avsm: neat :)
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
uris77 has joined #ocaml
<avsm> dbp: it's an age old trick for hyper complex APIs. we autogenerated the Xen ones in the early days to make them look suitably impressive as well :) AWS is genuinely quite a large set of services these days though.
AlexRussia has joined #ocaml
travisbrady has quit [Quit: travisbrady]
manizzle has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
MrScout has joined #ocaml
demonimin has quit [Remote host closed the connection]
hekmek has quit [Quit: Verlassend]
demonimin has joined #ocaml
araujo has joined #ocaml
araujo has joined #ocaml
enitiz has quit [Ping timeout: 264 seconds]
voglerr1 has joined #ocaml
govg has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
dsheets__ has joined #ocaml
dsheets__ is now known as dsheets
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
Thooms has joined #ocaml
mengu has joined #ocaml
samrat has quit [Ping timeout: 265 seconds]
ingsoc1 has quit [Quit: Leaving.]
ggole has quit [Ping timeout: 240 seconds]
mekaj has quit [Ping timeout: 272 seconds]
ggole has joined #ocaml
_habnabit has quit [Ping timeout: 272 seconds]
<struk|work> hey does anyone know if github user hcarty lurks in #ocaml?
samrat has joined #ocaml
_habnabit has joined #ocaml
mekaj has joined #ocaml
MercurialAlchemi has quit [Quit: Lost terminal]
MercurialAlchemi has joined #ocaml
mengu has quit []
mawuli has quit [Ping timeout: 244 seconds]
slash^ has quit [Read error: Connection reset by peer]
<struk|work> whitequark: tx
mawuli has joined #ocaml
endiruna has joined #ocaml
travisbrady has joined #ocaml
_andre has quit [Quit: leaving]
travisbrady has quit [Client Quit]
travisbrady has joined #ocaml
axiles has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
<endiruna> hi is there an option to compile with the most optimizations possible? like gcc -Ofast
Thooms has joined #ocaml
jgjl has joined #ocaml
<whitequark> optimizations, no
<whitequark> they're all enabled by default in ocamlopt anyway
<endiruna> thanks!
Thooms has quit [Client Quit]
Thooms has joined #ocaml
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Hannibal_Smith has joined #ocaml
c74d has quit [Remote host closed the connection]
mbac has joined #ocaml
Simn has quit [Read error: Network is unreachable]
MrScout has quit [Read error: Network is unreachable]
Simn has joined #ocaml
jwatzman|work has quit [Read error: Connection reset by peer]
ente has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
jwatzman|work has joined #ocaml
fraggle_ has quit [Ping timeout: 265 seconds]
dch has quit [Read error: Connection reset by peer]
icicled has quit [Ping timeout: 265 seconds]
n1ftyn8 has quit [Read error: Connection reset by peer]
leifw has quit [Read error: Connection reset by peer]
cojy has quit [Write error: Connection reset by peer]
lopex has quit [Write error: Connection reset by peer]
struktured has quit [Quit: No Ping reply in 180 seconds.]
dch has joined #ocaml
c74d has joined #ocaml
msch has quit [Ping timeout: 244 seconds]
oskarth has quit [Ping timeout: 244 seconds]
segmond has quit [Ping timeout: 265 seconds]
hellome has quit [Remote host closed the connection]
regnat has quit [Ping timeout: 265 seconds]
rom1504 has quit [Ping timeout: 265 seconds]
Leonidas has quit [Ping timeout: 265 seconds]
bitbckt has quit [Ping timeout: 265 seconds]
rfv has quit [Ping timeout: 245 seconds]
n1ftyn8 has joined #ocaml
struktured has joined #ocaml
leifw has joined #ocaml
lopex has joined #ocaml
cojy has joined #ocaml
oskarth has joined #ocaml
msch has joined #ocaml
regnat has joined #ocaml
ente has joined #ocaml
ente has quit [Changing host]
ente has joined #ocaml
segmond has joined #ocaml
fraggle_ has joined #ocaml
c74d has quit [Remote host closed the connection]
bitbckt has joined #ocaml
ddosia has quit [Ping timeout: 244 seconds]
ddosia has joined #ocaml
thomasga has quit [Ping timeout: 244 seconds]
rom1504 has joined #ocaml
rfv has joined #ocaml
c74d has joined #ocaml
enquora has joined #ocaml
nojb has quit [Ping timeout: 256 seconds]
Leonidas has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
ggole has quit []
<vfoley> Is there a mode that indents .mly files correctly? Tuareg gets confused very easily.
Haudegen has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Quit: Leaving.]
Haudegen has joined #ocaml
abbe_ has joined #ocaml
abbe has quit [Disconnected by services]
abbe_ is now known as abbe
Averell- has joined #ocaml
averell has quit [*.net *.split]
<def`> vfoley: ocp-indent
myyst has quit [Quit: Leaving]
myyst has joined #ocaml
<Drup> not ocp-indent, unfortunatly
<Drup> it doesn't handle .mly
<Drup> vfoley: ^
<Drup> well, you probably realized by trying.
<def`> Oups, yes you're right, sorry
rgrinberg has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
<vfoley> Thanks guys
endiruna has quit [Ping timeout: 244 seconds]
thomasga has joined #ocaml
endiruna has joined #ocaml
badkins has quit []
WraithM_ has joined #ocaml
nojb has joined #ocaml
nojb has quit [Client Quit]
icicled has joined #ocaml
MrScout has quit [Ping timeout: 264 seconds]
MrScout has joined #ocaml
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
nojb has joined #ocaml
mehdi_ has quit [Quit: No Ping reply in 180 seconds.]
mehdi_ has joined #ocaml
enquora has quit [Quit: enquora]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
sh1ken has quit [Quit: leaving]
sh1ken has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]
bjorkintosh has quit [Ping timeout: 252 seconds]
dsheets has quit [Ping timeout: 264 seconds]
<endiruna> i am trying to do the last function. i.e. giving the last element in a list. also wanted to print it. the implementation i saw online uses as the output the option data type and it can not be printed with printf. here is the snippet: http://ideone.com/uU6Gve
nojb has quit [Quit: nojb]
<endiruna> so the problem might be that i define the list b with integers and not with Some x. but is it possible to implement it in int list but also having the [] covered?
ingsoc has joined #ocaml
badkins has joined #ocaml
dsheets has joined #ocaml
nojb has joined #ocaml
ingsoc has quit [Client Quit]
<companion_cube> the problem is "let _ = Printf.printf ..."
<companion_cube> also, (last b) will not have the good type
<companion_cube> %d requires an int, and you have an int option
WraithM_ has quit [Ping timeout: 264 seconds]
WraithM_ has joined #ocaml
rand000 has quit [Quit: leaving]
<endiruna> companion_cube: how should i change it to print it. i am new to ocaml so sorry if this is a trivial question
nojb has quit [Quit: nojb]
<lyxia> endiruna: First pattern match on last b, when it's Some x, print x, otherwise do nothing (or print an appropriate message)
rgrinberg has quit [Quit: Leaving.]
nojb has joined #ocaml
zwer_h is now known as zwer
<companion_cube> +1 for lyxia
nojb has quit [Ping timeout: 255 seconds]
<companion_cube> printf "foo = %s" (match x with None -> "none" | Some y -> "some " ^ string_of_int y)
<companion_cube> or something similar
nojb has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
jao has joined #ocaml
travisbrady has quit [Quit: travisbrady]
struk has joined #ocaml
<endiruna> thanks!
jao has quit [Ping timeout: 264 seconds]
nojb has quit [Quit: nojb]
jwatzman|work has quit [Quit: jwatzman|work]
enitiz has joined #ocaml
rgrinberg has joined #ocaml