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
Simn has quit [Quit: Leaving]
pyon has quit [Write error: Connection reset by peer]
pyon-senpai has joined #ocaml
pyon-senpai has quit [Read error: Connection reset by peer]
pyon has joined #ocaml
pyon has quit [Read error: Connection reset by peer]
pyon has joined #ocaml
mobajm has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ontologiae has quit [Ping timeout: 240 seconds]
mobajm has joined #ocaml
johnnydiabetic has joined #ocaml
badkins has joined #ocaml
thomasga has quit [Quit: Leaving.]
mobajm has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
mobajm has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
tac_ has quit [Ping timeout: 272 seconds]
mobajm has quit [Client Quit]
mobajm has joined #ocaml
troutwine_away is now known as troutwine
philtom has quit [Ping timeout: 260 seconds]
ontologiae has joined #ocaml
bytbox has joined #ocaml
q66 has quit [Quit: Leaving]
lordkryss has quit [Quit: Connection closed for inactivity]
pyon has quit [Quit: Bye]
pyon has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
philtom has joined #ocaml
malo has quit [Remote host closed the connection]
badkins has quit []
shinnya has quit [Ping timeout: 272 seconds]
tac_ has joined #ocaml
philtom has quit [Ping timeout: 245 seconds]
manizzle has joined #ocaml
badkins has joined #ocaml
omqal has quit [Quit: omqal]
rgrinberg has quit [Quit: Leaving.]
johnnydiabetic has quit [Ping timeout: 272 seconds]
adrien_o1w has joined #ocaml
taion809 has joined #ocaml
adrien_oww has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
BitPuffin has quit [Ping timeout: 245 seconds]
taion809 has quit [Remote host closed the connection]
samrat has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
samrat has quit [Ping timeout: 245 seconds]
samrat has joined #ocaml
lostman_ has joined #ocaml
lostman_ is now known as lostman
msaegesser has quit [Ping timeout: 245 seconds]
pyon has quit [Quit: brb guise]
pyon has joined #ocaml
englishm has joined #ocaml
yacks has quit [Quit: Leaving]
manizzle has quit [Ping timeout: 260 seconds]
t4nk540 has joined #ocaml
tac_ has quit [Read error: Connection reset by peer]
<t4nk540> type nat = int list let inc ws = let length = (List.length ws) in for i = 0 to length do if (List.hd ws) = 1 then let ws = (List.tl ws) done
<t4nk540> why is this giving me a syntax error at done?
tac_ has joined #ocaml
<t4nk540> anybody?
yacks has joined #ocaml
badkins has quit []
yacks has quit [Client Quit]
<dmbaturin> t4nk540: "let ws = ..." does not evaluate to unit, I think that's why.
<dmbaturin> What is the code supposed to do?
samrat has quit [Quit: Computer has gone to sleep.]
fold has quit [Ping timeout: 272 seconds]
yacks has joined #ocaml
axiles has joined #ocaml
philtom has joined #ocaml
claudiuc has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
rgrinberg has joined #ocaml
<t4nk540> I just want to know how to affect something in an if
<t4nk540> like say I have
<t4nk540> let inc list = if 1 = 1, then let list = [5] ;;
<t4nk540> if I do that I get a syntax error point at ;;
<t4nk540> I want to know how can I affect the variable list if the condition is met
englishm has quit [Ping timeout: 244 seconds]
<flux> ;; tells toplevel that it should evaluate things. they are not required in programs. (though, they can be sometimes useful in narrowing down an error, if there's some missing brace or something)
<flux> the problem with your statement is that let list = [5] is not an expression
<flux> it's a top-level statement
<t4nk540> how am I supposed to write it? Sorry I just started using ocaml like 2 days ago
<flux> but if has the syntax: if <expression1> then <expression2> (else <expression3>)
<flux> so you want to modify the list argument?
<t4nk540> yes
<flux> well, that cannot be done :-), because values are immutable in ocaml. you could pass the list as a reference to the list, and then you would be able to modify the reference. or, in fact in your case, you might even use a reference to a reference to a list..
<flux> but usually ocaml programs return the value, instead of try to modify the arguments
rossberg__ has quit [Ping timeout: 272 seconds]
<t4nk540> oh didnt know about that
<t4nk540> thanks for the info :)
<flux> let inc list = if 1 = 1 then list := ref [5]
<flux> would be syntactically correct anyway
<flux> oops
<flux> I meant to write list := [5]
<flux> the difference is apparent in the type it says for the function
<flux> but rethinking it, it's the right solution for your problem :)
siddharthv_away is now known as siddharthv
<flux> but using ref (ref [5]) as a value in your program is awkward. best not do it.
<flux> so usually it would be just: let inc list = if 1 = 1 then [5] else list
rgrinberg has quit [Quit: Leaving.]
<flux> and the call site might then choose to do the mutation or not (often times: not)
<t4nk540> well I simplified the problem just to know if I was able to modify the list if a certain condition is met
<t4nk540> What I am trying to do is in a for loop from 0 to the list length, if x condition is met then get rid of first element of list using List.tl
rossberg__ has joined #ocaml
philtom has quit [Ping timeout: 246 seconds]
<flux> to really learn OCaml I suggest you first try to solve your problem without mutating anything, and without for loops :-)
<flux> in practice those two things are relatively rare in real ocaml programs. mutation can be a useful technique 'in the large' while loops are perhaps an optimization one would use when dealing with dimensional data, such as arrays or matrices.
oscar_toro has joined #ocaml
t4nk540 has quit [Ping timeout: 246 seconds]
samrat has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
jao has quit [Ping timeout: 272 seconds]
zRecursive has joined #ocaml
MercurialAlchemi has joined #ocaml
ygrek has joined #ocaml
hhugo has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
troutwine is now known as troutwine_away
Submarine has quit [Remote host closed the connection]
iZsh has quit [Ping timeout: 240 seconds]
iZsh has joined #ocaml
ousado has quit [Remote host closed the connection]
ousado has joined #ocaml
axiles has quit [Ping timeout: 240 seconds]
dmbaturin has quit [Ping timeout: 240 seconds]
thorsten` has quit [Ping timeout: 260 seconds]
dmbaturin has joined #ocaml
cthuluh has quit [Ping timeout: 260 seconds]
thorsten` has joined #ocaml
cthuluh has joined #ocaml
axiles has joined #ocaml
marvimias has joined #ocaml
hexo has quit [Ping timeout: 260 seconds]
marvimias has left #ocaml ["Leaving"]
Cyanure has joined #ocaml
lordkryss has joined #ocaml
Cyanure has quit [Remote host closed the connection]
hhugo has quit [Quit: Leaving.]
Simn has joined #ocaml
jonludlam has quit [Quit: Coyote finally caught me]
oscar_toro has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
ygrek has joined #ocaml
hhugo has joined #ocaml
AltGr has joined #ocaml
avsm has quit [Quit: Leaving.]
zRecursive has quit [Remote host closed the connection]
ollehar has joined #ocaml
cago has joined #ocaml
oscar_toro has joined #ocaml
oscar_toro has quit [Client Quit]
NoNNaN has quit [Quit: []]
NoNNaN has joined #ocaml
tane has joined #ocaml
nicoo has quit [Remote host closed the connection]
ddosia has quit [Quit: Leaving.]
ygrek has quit [Ping timeout: 240 seconds]
nicoo has joined #ocaml
BitPuffin has joined #ocaml
mobajm has quit [Ping timeout: 272 seconds]
troutwine_away is now known as troutwine
ygrek has joined #ocaml
<acieroid> is there a simple way to cross compile an ocaml application? eg. with go you can set GOARCH & GOOS to compile for a different architecture & OS
<adrien> ocamlfind makes it easy but you need to have the cross-compiler
<adrien> gasche: hi :)
troutwine is now known as troutwine_away
zpe has joined #ocaml
Muzer has quit [Ping timeout: 250 seconds]
Arahael has joined #ocaml
<Arahael> So I was looking for a language better supported than Haskell, then realised I never considered Ocaml.
<NoNNaN> what do you mean on support?
<Arahael> I mean, for a given platform, can I easily find a compiler?
<adrien_o1w> yes
adrien_o1w is now known as adrien_oww
<Arahael> Eg, for android, iOS, and whatever new device happens to come out.
<adrien_oww> ios, there's stuff, android too
<adrien_oww> windows phone, the issue is elsewhere
<Arahael> Could you elaborate?
<adrien_oww> for windows?
<adrien_oww> _phone_
<Arahael> Ok, so suppose I wanted to write an app for "windows phone" - would I be able to find a compiler? (No idea why I'd _want_ to write an app for windows phone...)
<dmbaturin> You'd need a lot of API bindings for it.
<dmbaturin> Unhealthy amount of API bindings. ;)
<adrien_oww> the main issue is the restrictions on the application store
<adrien_oww> many C APIs are forbidden
<dmbaturin> And, generally speaking, you'd need to target specific ABI, not the CPU.
<adrien_oww> it's quite a minefield
<adrien_oww> and for ARM, there is no GCC currently
<dmbaturin> Like in android you can't really run native applications, you need to target the Dalvik VM.
<Arahael> adrien_oww: Ouch.
<adrien_oww> there might be stuff doable with msvc but I know nothing about that thing
<dmbaturin> I guess you need to target some kind of .Net for winphone.
<adrien_oww> not necessarily
<adrien_oww> you can do native apps
<adrien_oww> the issue for the marketplace is that "unsafe" C APIs are forbidden
<adrien_oww> and APIs that could be badly used by programmers too
<adrien_oww> unsurprisingly, this intersects a lot with what compilers and runtimes need
<Arahael> Ouch. :(
<Arahael> So even C++ wouldn't help there.
<adrien_oww> as for WP and ARM, if you're after that, there's work on the topic but it's still young (if you're interested and willing to help on the effort, I can point to the right people)
<dmbaturin> Well, technically you can run native programs, but what adrien_oww said.
<adrien_oww> for C++ it's doable but for instance it took some effort to get VLC through the store
<Arahael> I'm after a language that allows me to write all the expensive business logic in it.
<Arahael> I don't need estensive platform bindings - that could be done in the native framework.
BitPuffin has quit [Ping timeout: 272 seconds]
Kakadu has joined #ocaml
ggole has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 272 seconds]
dsheets has joined #ocaml
tac_ has quit [Ping timeout: 260 seconds]
jonludlam has joined #ocaml
mort___ has joined #ocaml
<Drup> the "other" solution is to right a js/html5 app in ocaml :]
<Drup> grr
<Drup> write*
<dmbaturin> Well, you can't install it locally on a mobile device. :)
rwmjones has quit [Read error: Network is unreachable]
rwmjones has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
<Drup> depends on the plateform, on some you can
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
rand000 has joined #ocaml
BitPuffin has joined #ocaml
<dmbaturin> Drup: Which ones?
zpe has quit [Ping timeout: 260 seconds]
<adrien_oww> LAMP
* adrien_oww hides
<Drup> android, firefox OS, tizen
<Drup> I don't know the other, tbh
sagotch has joined #ocaml
<adrien> tizen? :D
<Drup> what ? :p
<adrien> nah, nothing :P
Muzer has joined #ocaml
ontologiae has joined #ocaml
troutwine_away is now known as troutwine
eizodo has joined #ocaml
BitPuffin has quit [Quit: See you on the dark side of the moon!]
troutwine is now known as troutwine_away
yacks has joined #ocaml
BitPuffin has joined #ocaml
BitPuffin has quit [Quit: See you on the dark side of the moon!]
amiller_ is now known as amiller
amiller has quit [Changing host]
amiller has joined #ocaml
<Arahael> adrien_oww: Actually come to think of it, do you have an article that discussed VLC's pains?
<Arahael> Drup: You can install JS/HTML5 on almost any device these days, so that's a viable solution.
<Arahael> Drup: However, on some devices you don't have JIT compilation *at all*, eg, iOS, and it's really slow.
<Arahael> Drup: And on top of that, you already have some fairly severe memory constraints, iirc.
dsheets has quit [Ping timeout: 245 seconds]
BitPuffin has joined #ocaml
<Arahael> adrien_oww: Ie, did they end up still using C++ for it, or did they have to rewrite it?
_andre has joined #ocaml
dsheets has joined #ocaml
zpe has joined #ocaml
thomasga has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
rand000 has quit [Ping timeout: 272 seconds]
thomasga has quit [Quit: Leaving.]
ontologiae has quit [Quit: WeeChat 1.0]
Hannibal_Smith has quit [Ping timeout: 260 seconds]
rand000 has joined #ocaml
zpe has joined #ocaml
troutwine_away is now known as troutwine
hexo_ has joined #ocaml
troutwine is now known as troutwine_away
hexo_ is now known as hexo
<adrien> Arahael: dunno, you can look at mingw-w64's "winstorecompat" sub-library
<adrien> they simply avoided these APIs
Hannibal_Smith has joined #ocaml
siddharthv is now known as siddharthv_away
<Arahael> adrien: So they were able to get away with those that worked with /clr:safe or something.
<Arahael> (A MS VC thing)
thomasga has joined #ocaml
<adrien> that's the idea
thomasga has quit [Client Quit]
avsm has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
<Arahael> adrien: I can live with that. :/
tani has joined #ocaml
tane has quit [Ping timeout: 272 seconds]
lostman has quit [Quit: Connection closed for inactivity]
tani is now known as tane
avsm has quit [Quit: Leaving.]
sagotch has quit [Remote host closed the connection]
troutwine_away is now known as troutwine
netroby has joined #ocaml
Arahael has left #ocaml [#ocaml]
troutwine is now known as troutwine_away
samrat has quit [Quit: Computer has gone to sleep.]
netroby has left #ocaml ["Leaving"]
nifty___ is now known as niftyn8
avsm has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
englishm has joined #ocaml
darkf has quit [Quit: Leaving]
yacks has joined #ocaml
iorivur has joined #ocaml
sepp2k has joined #ocaml
ontologiae has joined #ocaml
avsm has quit [Quit: Leaving.]
ygrek has joined #ocaml
waneck has quit [Ping timeout: 246 seconds]
waneck has joined #ocaml
shinnya has joined #ocaml
yacks has quit [Remote host closed the connection]
Plazma has quit [Remote host closed the connection]
rsnous has joined #ocaml
ski__ has joined #ocaml
avsm has joined #ocaml
hhugo1 has joined #ocaml
Plazma has joined #ocaml
ollehar has quit [Ping timeout: 244 seconds]
ivan\_ has joined #ocaml
wormphle1m has joined #ocaml
Muzer has quit [*.net *.split]
hhugo has quit [*.net *.split]
clog has quit [*.net *.split]
ski has quit [*.net *.split]
cdidd has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
osnr has quit [*.net *.split]
wormphlegm has quit [*.net *.split]
ivan\ has quit [*.net *.split]
englishm has quit [Remote host closed the connection]
ivan\_ is now known as ivan\
englishm has joined #ocaml
Muzer has joined #ocaml
cdidd has joined #ocaml
englishm has quit [Ping timeout: 245 seconds]
troutwine_away is now known as troutwine
englishm has joined #ocaml
jpdeplaix has joined #ocaml
Plazma_ has joined #ocaml
troutwine is now known as troutwine_away
rand000 has quit [Ping timeout: 272 seconds]
Plazma has quit [Ping timeout: 615 seconds]
WraithM has joined #ocaml
divyanshu has joined #ocaml
clog has joined #ocaml
srcerer_ has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
Sim_n has joined #ocaml
samrat has joined #ocaml
jave_ has joined #ocaml
__w_a_n_e_c_k__ has joined #ocaml
rfv__ has joined #ocaml
ollehar has joined #ocaml
__marius_____ has quit [Ping timeout: 272 seconds]
pyon has quit [Ping timeout: 272 seconds]
srcerer has quit [Ping timeout: 272 seconds]
SethTisue_______ has quit [Ping timeout: 272 seconds]
jave has quit [Ping timeout: 272 seconds]
rfv_ has quit [Ping timeout: 272 seconds]
waneck has quit [Ping timeout: 272 seconds]
Simn has quit [Ping timeout: 272 seconds]
__marius_____ has joined #ocaml
SethTisue_______ has joined #ocaml
rfv__ is now known as rfv_
rand000 has joined #ocaml
badkins has joined #ocaml
ygrek has quit [Ping timeout: 258 seconds]
shinnya_ has joined #ocaml
ski has joined #ocaml
Mercuria1Alchemi has joined #ocaml
waneck has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
ski__ has quit [Ping timeout: 260 seconds]
__w_a_n_e_c_k__ has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
samrat has quit [Ping timeout: 260 seconds]
cdidd has quit [Ping timeout: 260 seconds]
rsnous has quit [Ping timeout: 260 seconds]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
cdidd has joined #ocaml
samrat has joined #ocaml
cago has left #ocaml [#ocaml]
ollehar has quit [Ping timeout: 260 seconds]
rand000 has quit [Ping timeout: 245 seconds]
rand000 has joined #ocaml
WraithM has quit [Quit: leaving]
pyon has joined #ocaml
<pyon> Just wondering... Does OCaml accept Unicode comments?
yacks has joined #ocaml
ollehar has joined #ocaml
<whitequark> yes
<pyon> Sweet! :-)
<whitequark> same for strings
WraithM has joined #ocaml
surply_p has joined #ocaml
siddhart1v_away has joined #ocaml
companion_square has joined #ocaml
Khady_ has joined #ocaml
hbar has joined #ocaml
smondet_ has joined #ocaml
stux|away has joined #ocaml
girrig has quit [Ping timeout: 250 seconds]
Muzer has quit [Ping timeout: 250 seconds]
madroach has quit [Ping timeout: 250 seconds]
typedlambda has quit [Ping timeout: 250 seconds]
ggherdov__ has quit [Ping timeout: 250 seconds]
siddharthv_away has quit [Ping timeout: 250 seconds]
rs0 has quit [Ping timeout: 250 seconds]
smondet has quit [Ping timeout: 250 seconds]
stux has quit [Ping timeout: 250 seconds]
emias has quit [Ping timeout: 252 seconds]
lopex has quit [Ping timeout: 252 seconds]
Ptishell has quit [Ping timeout: 252 seconds]
thizanne has quit [Ping timeout: 252 seconds]
mfp has quit [Ping timeout: 252 seconds]
ia0 has quit [Ping timeout: 252 seconds]
companion_cube has quit [Ping timeout: 252 seconds]
Armael has quit [Ping timeout: 252 seconds]
troydm has quit [Ping timeout: 252 seconds]
srax has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
ia0 has joined #ocaml
SHODAN has quit [Ping timeout: 250 seconds]
hbar_ has quit [Ping timeout: 250 seconds]
WanderingGlitch has quit [Ping timeout: 250 seconds]
q66[lap] has quit [Ping timeout: 250 seconds]
deavidsedice has quit [Ping timeout: 250 seconds]
reynir has quit [Ping timeout: 250 seconds]
Khady has quit [Read error: Connection reset by peer]
rs0 has joined #ocaml
WanderingGlitch has joined #ocaml
deavid has joined #ocaml
SHODAN has joined #ocaml
srax has joined #ocaml
typedlambda has joined #ocaml
Muzer has joined #ocaml
companion_square is now known as companion_cube
troydm has joined #ocaml
girrig has joined #ocaml
lopex has joined #ocaml
reynir has joined #ocaml
q66[lap] has joined #ocaml
thizanne has joined #ocaml
Armael has joined #ocaml
mfp has joined #ocaml
emias has joined #ocaml
eizodo has quit [Ping timeout: 246 seconds]
ggherdov___ has joined #ocaml
Cypi_ has joined #ocaml
BitPuffin has quit [Ping timeout: 272 seconds]
typedlambda has quit [Ping timeout: 250 seconds]
emias has quit [Ping timeout: 250 seconds]
ia0 has quit [Ping timeout: 250 seconds]
Cypi has quit [Ping timeout: 250 seconds]
q66[lap] has quit [Ping timeout: 250 seconds]
troydm has quit [Ping timeout: 250 seconds]
madroach has quit [Ping timeout: 250 seconds]
gikiam has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
ia0 has joined #ocaml
emias has joined #ocaml
gikiam1 has joined #ocaml
typedlambda has joined #ocaml
q66[lap] has joined #ocaml
troydm has joined #ocaml
tac_ has joined #ocaml
PM has quit [Ping timeout: 240 seconds]
PM has joined #ocaml
stevej has left #ocaml ["["Textual IRC Client: www.textualapp.com"]"]
badkins has quit []
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
PM has quit [Ping timeout: 272 seconds]
PM has joined #ocaml
englishm has quit [Ping timeout: 240 seconds]
jonludlam has quit [Quit: Coyote finally caught me]
hhugo1 has quit [Quit: Leaving.]
ollehar has quit [Ping timeout: 258 seconds]
PM has quit [Ping timeout: 272 seconds]
Cypi_ is now known as Cypi
Hannibal_Smith has joined #ocaml
PM has joined #ocaml
troutwine_away is now known as troutwine
Plazma_ is now known as Plazma
dsheets has quit [Ping timeout: 246 seconds]
rand000 has quit [Quit: leaving]
englishm has joined #ocaml
Mercuria1Alchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
sad0ur has quit [Ping timeout: 272 seconds]
troutwine is now known as troutwine_away
rgrinberg has joined #ocaml
srcerer_ is now known as srcerer
Kakadu has quit [Quit: Page closed]
sad0ur has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
thomasga has joined #ocaml
englishm has quit [Remote host closed the connection]
surply_p is now known as Ptishell
ollehar has joined #ocaml
malo has joined #ocaml
PM has quit [Ping timeout: 260 seconds]
ollehar has quit [Ping timeout: 258 seconds]
hhugo has joined #ocaml
mobajm has joined #ocaml
PM has joined #ocaml
fold has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
shinnya_ has quit [Ping timeout: 246 seconds]
q66 has joined #ocaml
<Drup> whitequark: are you going to do the end of the lwt ppx ?
zpe has quit [Remote host closed the connection]
<Drup> I can do it this week end to, either way
zpe has joined #ocaml
avsm has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 244 seconds]
WanderingGlitch has quit [Changing host]
WanderingGlitch has joined #ocaml
Anarchos has joined #ocaml
samrat has quit [Ping timeout: 245 seconds]
pyon has quit [Quit: brb guise emacs is dumb]
pyon has joined #ocaml
rgrinberg has joined #ocaml
mbac has joined #ocaml
maurer has quit [Ping timeout: 258 seconds]
maurer has joined #ocaml
badkins has joined #ocaml
morphles has joined #ocaml
troutwine_away is now known as troutwine
englishm has joined #ocaml
samrat has joined #ocaml
fold has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Quit: Leaving.]
hhugo has quit [Ping timeout: 245 seconds]
hhugo has joined #ocaml
hhugo has quit [Ping timeout: 260 seconds]
englishm has quit [Remote host closed the connection]
hhugo has joined #ocaml
englishm has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
mort___ has quit [Ping timeout: 272 seconds]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
thomasga has quit [Quit: Leaving.]
Submarine has joined #ocaml
boogie has joined #ocaml
rgrinberg has joined #ocaml
hhugo has quit [Ping timeout: 260 seconds]
thomasga has joined #ocaml
samrat has joined #ocaml
thomasga has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
zpe has joined #ocaml
claudiuc has joined #ocaml
rgrinberg has joined #ocaml
hhugo has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
<ggole> ,ops
<ggole> Wrong channel.
hhugo has quit [Ping timeout: 260 seconds]
samrat has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
hhugo has joined #ocaml
hhugo has quit [Ping timeout: 260 seconds]
Anarchos has quit [Ping timeout: 245 seconds]
bobry has joined #ocaml
bobry has quit [Client Quit]
WraithM has quit [Ping timeout: 260 seconds]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
divyanshu has quit [Quit: Connection closed for inactivity]
rgrinberg has joined #ocaml
badkins has quit [Remote host closed the connection]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
PM has quit [Ping timeout: 272 seconds]
jonludlam has joined #ocaml
troutwine is now known as troutwine_away
cespinoza has joined #ocaml
troutwine_away is now known as troutwine
badkins has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
troutwine is now known as troutwine_away
WraithM has joined #ocaml
sepp2k has quit [Quit: Konversation terminated!]
dotfelix has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
dotfelix has quit [Client Quit]
rgrinberg has joined #ocaml
morphles has quit [Ping timeout: 260 seconds]
ollehar has joined #ocaml
Anarchos has joined #ocaml
oriba has joined #ocaml
claudiuc has quit [Remote host closed the connection]
axiles has quit [Remote host closed the connection]
ontologiae has joined #ocaml
Sim_n has quit [Quit: Leaving]
_andre has quit [Quit: leaving]
troutwine_away is now known as troutwine
rgrinberg has quit [Quit: Leaving.]
BitPuffin has joined #ocaml
hexo has quit [Excess Flood]
hexo has joined #ocaml
PM has joined #ocaml
ygrek has joined #ocaml
rgrinberg has joined #ocaml
oriba has quit [Quit: oriba]
PM has quit [Ping timeout: 260 seconds]
PM has joined #ocaml
typedlambda has quit [Ping timeout: 250 seconds]
ggole has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Quit: Leaving.]
typedlambda has joined #ocaml
Cyanure has joined #ocaml
smondet_ is now known as smondet
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
Cyanure has quit [Remote host closed the connection]
lordkryss has quit [Quit: Connection closed for inactivity]
manizzle has joined #ocaml
englishm has quit [Ping timeout: 272 seconds]
englishm has joined #ocaml
mort___ has joined #ocaml
typedlambda has quit [Ping timeout: 250 seconds]
<whitequark> Drup: please do it
typedlambda has joined #ocaml
tane has quit [Quit: Verlassend]
<Drup> whitequark: some strong feeling about it ? :)
<whitequark> Drup: not really, just overloaded in general
<Drup> oh, ok :)
<whitequark> gasche has very good points about it
<Drup> whitequark: we take turns :p
<whitequark> I still hate the syntax but it's probably better than what I made
<whitequark> hahah that pprintast bug
<whitequark> "The pprintast code is doing the non-trivial job of guessing parenthesis and
<whitequark> does not handle resugaring "::" in the same way in expression and patterns, and
<whitequark> one may wonder why, but "if it ain't broke, don't fix it" -- we have better fish
<whitequark> syntactic resugaring, and not really pleasant to work with. The current codebase
<whitequark> to fry."
<whitequark> <3
<Drup> I ... actually bumped into that while doing my patch for infix constructor ...
boogie has quit [Quit: Leaving...]
<Drup> I considered reworking it, and then I remembered gasche saying that styling patch that don't fix anything would never be accepted, so I just piled up more crap on top of the already existing one.
typedlambda has quit [Ping timeout: 250 seconds]
<adrien> styling patches followed by non-styling patches will get accepted
<Drup> huum, that's something to consider
typedlambda has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
shinnya has joined #ocaml
hhugo has joined #ocaml
ollehar has quit [Quit: ollehar]
ygrek has quit [Ping timeout: 244 seconds]
cody_ has joined #ocaml
<gasche> Drup: "I remembered gasche saying that styling patch that don't fix anything would never be accepted"
<gasche> I don't actually believe that
<gasche> but you have to weight the gain in readability against the costs in regression potential
<gasche> (also it's easy to come up with "style-related" patches that don't solve any actual problem and just clutter the patch-handling pipeline)
<Drup> maybe you phrased it in a more politically appropriate way
<pyon> I have a variable "foo" that is known to be a tuple of 3 arguments, and pass it to a constructor Bar that takes 3 arguments ("Bar foo"). Why does the OCaml type checker complain that "three arguments were expected but only one was supplied"?
<Drup> the same way you never said "most PR are garbage", but that's pretty much what you meant :p
<Drup> pyon: show the code please
<pyon> Ok, please wait.
<gasche> I'm not sure why you interpret things this way, but that's not what I believe
<Drup> " it's easy to come up with "style-related" patches that don't solve any actual problem and just clutter the patch-handling pipeline" means just that
<Drup> "In theory you can do it, it will just never be accepted in practice"
<Drup> it's just the diplomatic version of it
<Drup> oh, right
<Drup> that's not a function
<Drup> that's a constructor
<Drup> not the same thing
rgrinberg has joined #ocaml
<Drup> you actually said constructor and I read function, bah, I'm bad.
<Drup> pyon: transform the first line into : type test = T of (int * float * string)
<Drup> and it will work
<pyon> Ah!
<gasche> well
<pyon> Drup: Thanks!
<Drup> pyon: so, this is a (horribly bad and ill-designed) efficiency hack
<Drup> basically, there is one less indirection if you don't put the paranthesis
<Drup> which makes things oh-so-slightly more efficient
<Drup> and confuses the hell out of beginners like you
<pyon> I did not expect this kind of thing to matter in an ML. :-|
<Drup> it shouldn't, tbh
<gasche> arguably https://github.com/ocaml/ocaml/pull/64 for example was a style-related patch
<Drup> I don't really consider that style-related ...
<gasche> or GPR#5
<Drup> yeah ok
AltGr has left #ocaml [#ocaml]
msaegesser has joined #ocaml
troutwine is now known as troutwine_away
troutwine_away is now known as troutwine
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
bytbox has quit [Remote host closed the connection]
cody_ has quit [Quit: Leaving]
badkins has quit []
troutwine is now known as troutwine_away
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
darkf has joined #ocaml
madroach has joined #ocaml
englishm has quit [Remote host closed the connection]
NoNNaN has quit [Remote host closed the connection]
englishm has joined #ocaml
NoNNaN has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
mort___ has quit [Quit: Leaving.]
ontologiae has quit [Ping timeout: 245 seconds]
tac_ has quit [Ping timeout: 245 seconds]