<Associat0r>
also the ; after done is that needed?
<orbitz>
yes but only because they are sequencing instructions
<Associat0r>
thanks understood
<Associat0r>
orbitz: simple let bindings like "let pi = 3.14" don't need ;; right?
<orbitz>
Associat0r: top level ones don't
<thelema>
dark: ocaml is QPLed.
mutewit has joined #ocaml
bzzbzz has quit [Quit: leaving]
<dark>
thelema, hmm.. qpl? q public license? but why? ("This is a non-copyleft free software license which is incompatible with the GNU GPL. It also causes major practical inconvenience, because modified sources can only be distributed as patches." o.O)
<dark>
is this true? o.o
<dark>
qt itself is now using gpl, so why ocaml compiler don't switch?
aja has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
mutewit has quit [Ping timeout: 246 seconds]
joewilliams is now known as joewilliams_away
mutewit has joined #ocaml
aja has quit [Read error: Connection reset by peer]
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
ulfdoz has joined #ocaml
ttamttam has joined #ocaml
<flux>
dark, I'm not sure how that follows..
<flux>
perhaps INRIA wants to have a better control over the compiler. also, I understand you get special priviledges if you join the consortium9~
mbishop has quit [Ping timeout: 264 seconds]
enthymeme has joined #ocaml
mbishop has joined #ocaml
ttamttam has quit [Quit: Leaving.]
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
mutewit has quit [Ping timeout: 276 seconds]
avsm1 has quit [Quit: Leaving.]
<dark>
flux, hmm.. qpl gives better control? o.o'
<dark>
it's copyleft..
<dark>
i mean, non-copyleft
MrEvil has quit [Quit: This computer has gone to sleep]
ttamttam has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
<flux>
dark, with QPL it is clear what is created by INRIA and what is not
Yoric has joined #ocaml
<flux>
(now, I too would be happier with a GPL release, but the current situation doesn't get me too worried)
<dark>
flux, it is...? version control systems are supposed to take care of this
<flux>
dark, is it the GPL-incompatibility that annoys you the most? (btw, QT is LGPL)
<dark>
flux, yes..
<dark>
flux, no, i learned this now, but..
<dark>
the ledit code couldn't be integrated with ocaml toplevel?
<flux>
what kind of code you would like to integrate with the compiler so that GPL-compatibility is an issue?
<dark>
this is unfortunate
<dark>
readline! :P
<flux>
that's a decent reason. although I think libedit would have no such issues.
<dark>
rlwrap will hardly provide decent tab completion
<flux>
have you tried enhtop?
<dark>
no
<flux>
(I don't know if it does that)
<flux>
but I need to pick up my pants and move my butt ->
<dark>
flux, and surely i can submit patches to ocaml. it's up to them to accept it, but if they accept, they will risk "not being clear what was created by inria" (a too large price?)
<dark>
->..
<dark>
i'm going to sleep
ulfdoz has quit [Ping timeout: 246 seconds]
ftrvxmtrx has joined #ocaml
avsm has joined #ocaml
alpounet has quit [Quit: ``Do what you think you can't do.'']
valross has quit [Quit: Ex-Chat]
<flux>
dark, I think part of the problem is that apparently one cannot assign copyright fully in France..
<dark>
what you mean?
<flux>
some 'moral rights' still stay in the original author
<flux>
I guess you could later say that ocaml couldn't be used for a nuclear weapon because it has your code in it :)
<Camarade_Tux>
I wanted to have it to take advantage of the code parsing functionnality of gcc but it looks too complicated for that, frama-c (same author) looks a better match
cognizant-cog has joined #ocaml
matthias_gorgens has quit [Remote host closed the connection]
cognizant-cog has quit [Quit: ChatZilla 0.9.86 [Firefox 3.5.8/20100214235838]]
lvillani has quit [Quit: Leaving]
pimmhogeling has joined #ocaml
fraggle_ has quit [Ping timeout: 260 seconds]
Associat0r has quit [Quit: Associat0r]
ulfdoz has quit [Ping timeout: 260 seconds]
fraggle_ has joined #ocaml
RaphaelJ has joined #ocaml
fraggle_ has quit [Read error: Connection reset by peer]
RaphaelJ has quit [Read error: Connection reset by peer]
RaphaelJ has joined #ocaml
RaphaelJ has left #ocaml []
ccasin has quit [Quit: Leaving]
pimmhogeling has quit [Ping timeout: 265 seconds]
onigiri_ has joined #ocaml
Yoric has quit [Quit: Yoric]
derdon has quit [Ping timeout: 276 seconds]
SEcki has quit [Remote host closed the connection]
joewilliams is now known as joewilliams_away
drunK has quit [Remote host closed the connection]
Narrenschiff has joined #ocaml
krankkatze has quit [Remote host closed the connection]
Narrenschiff has quit [Quit: Narrenschiff]
ikaros has quit [Quit: Leave the magic to Houdini]
yakischloba has quit [Quit: Leaving.]
ergodick has joined #ocaml
ergodick has left #ocaml []
yakischloba has joined #ocaml
sepp2k has quit [Quit: Leaving.]
struktured has quit [Remote host closed the connection]