gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
bwright has joined #ocaml
dnolen has joined #ocaml
nixfreak_ has quit [Ping timeout: 260 seconds]
ulfdoz_ has joined #ocaml
bwright has quit [Quit: leaving]
ulfdoz has quit [Ping timeout: 252 seconds]
ulfdoz_ is now known as ulfdoz
sully has joined #ocaml
rgrinberg has quit [Ping timeout: 258 seconds]
goat25 has left #ocaml []
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
rgrinberg has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
nixfreak has joined #ocaml
nixfreak has quit [Ping timeout: 252 seconds]
brendan has joined #ocaml
brendan has quit [Ping timeout: 255 seconds]
sebz has quit [Quit: Computer has gone to sleep.]
mejalx_ is now known as mejalx
hto has joined #ocaml
fantasticsid has joined #ocaml
sebz has joined #ocaml
emmanuelux has quit [Ping timeout: 248 seconds]
fantasticsid has quit [Quit: Leaving.]
brendan has joined #ocaml
ankit9 has joined #ocaml
dnolen has quit [Quit: dnolen]
sebz has quit [Quit: Computer has gone to sleep.]
fantasticsid has joined #ocaml
ulfdoz has quit [Ping timeout: 258 seconds]
sebz has joined #ocaml
nimred has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
EmmanuelOga has quit [Ping timeout: 244 seconds]
edwin has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
reynir has joined #ocaml
Cyanure has joined #ocaml
ftrvxmtrx has joined #ocaml
reynir has quit [Client Quit]
fantasticsid has quit [Quit: Leaving.]
bpalmer has joined #ocaml
ftrvxmtrx has quit [Remote host closed the connection]
ftrvxmtrx has joined #ocaml
Cyanure has quit [Remote host closed the connection]
maufred has joined #ocaml
thomasga has joined #ocaml
ikaros has joined #ocaml
arubin has quit [Quit: arubin]
ttamttam has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
Cyanure has joined #ocaml
avsm1 has joined #ocaml
probst has joined #ocaml
avsm1 has quit [Quit: Leaving.]
avsm has joined #ocaml
_andre has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
destrius has quit [Quit: Leaving.]
hto has quit [Read error: Operation timed out]
hto has joined #ocaml
sepp2k has joined #ocaml
probst has quit [Quit: probst]
hnrgrgr has quit [Ping timeout: 244 seconds]
hnrgrgr has joined #ocaml
ikaros has joined #ocaml
larhat has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 248 seconds]
avsm1 has quit [Ping timeout: 244 seconds]
avsm has joined #ocaml
yezariaely has joined #ocaml
<yezariaely> anyone knows why the indent functionality (=) in vim is so extremely slow for ocaml files?
<adrien> how many lines?
<yezariaely> 60
<yezariaely> adrien: takes about 15 seconds
<adrien> unless your lines are really long and really weird, it shouldn't
<yezariaely> I don't think they are wierd
<yezariaely> and at most < 80 characters in length
<adrien> dunno, could be something in your conf?
ikaros has quit [Quit: Ex-Chat]
Anarchos has joined #ocaml
sepp2k has quit [Quit: Leaving.]
<yezariaely> adrien: with empty vimrc indendation is fast but not correctly done :/
linshuai_irc has joined #ocaml
linshuai_irc has left #ocaml []
avsm has quit [Quit: Leaving.]
Cyanure has quit [Remote host closed the connection]
ikaros has joined #ocaml
gnuvince has quit [Quit: ""]
ousado has quit [Ping timeout: 244 seconds]
ousado has joined #ocaml
avsm has joined #ocaml
Cyanure has joined #ocaml
emmanuelux has joined #ocaml
thomasga1 has joined #ocaml
thomasga has quit [Read error: Connection reset by peer]
milosn has quit [Ping timeout: 252 seconds]
tbraibant has left #ocaml []
avsm has quit [Quit: Leaving.]
brendan has quit [Ping timeout: 255 seconds]
milosn has joined #ocaml
<adrien> yezariaely: does your distribution also provide a default vimrc?
<yezariaely> adrien: yes it does, but they are not include by mine. and only using the default one results in wrong, but fast, indendation
<adrien> yezariaely: you can take vim's default one: it should be good for testing
dnolen has joined #ocaml
nixfreak has joined #ocaml
avsm has joined #ocaml
nixfreak has quit [Ping timeout: 252 seconds]
dnolen has quit [Quit: dnolen]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
sgnb has quit [Remote host closed the connection]
sgnb has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
testcocoon has quit [Client Quit]
testcocoon has joined #ocaml
testcocoon has quit [Client Quit]
testcocoon has joined #ocaml
testcocoon has quit [Client Quit]
testcocoon has joined #ocaml
<hcarty> yezariaely: omlet's indentation can become very slow
<hcarty> yezariaely: I don't remember what factors cause the poor performance, but I stopped using omlet with vim for that reason.
dcolish has quit [Ping timeout: 244 seconds]
<hcarty> yezariaely: http://www.ocaml.info/home/ocaml_sources.html -- The vim configuration files here are a nice alternative to omlet
<yezariaely> hcarty: thank you, that's it?
testcocoon has quit [Quit: Coyote finally caught me]
<hcarty> yezariaely: Those are what I currently use and I don't run into any indentation speed issues
<yezariaely> hcarty: should have been a "!" not a "?" ;-)
<hcarty> yezariaely: Ah, that makes more sense :-)
testcocoon has joined #ocaml
yezariaely has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
milosn has quit [Ping timeout: 252 seconds]
Cyanure has quit [Ping timeout: 244 seconds]
ikaros has joined #ocaml
milosn has joined #ocaml
ijp has joined #ocaml
creepy_one has joined #ocaml
creepy_one has quit [Client Quit]
creepy_one has joined #ocaml
dcolish has joined #ocaml
ttamttam` has joined #ocaml
ttamttam has quit [Read error: Connection reset by peer]
milosn has quit [Ping timeout: 244 seconds]
<ijp> https://gist.github.com/1400944 <- I'm trying to get this to work. Is my only option to reorder the definitions, and remove the ': #foo' ?
milosn has joined #ocaml
<ijp> the real example, is ,of course, much more complicated,...
<adrien> # will only work in the toplevel
<sgnb> no
<adrien> ah, not this # :P
<sgnb> :-p
<sgnb> ijp: you can try with a recursive module
<adrien> isn't there a syntax to do recursive classes?
creepy_one_ has joined #ocaml
<sgnb> here, it is a class type mutually recursive with a class
<adrien> yes, that wouldn't work but maybe using two class types
<adrien> hmm, time to leave, bbl
creepy_one has quit [Ping timeout: 258 seconds]
<sgnb> ijp: I cannot understand the need for such contrived thing...
<sgnb> ijp: cannot you just put "bar : foo" in your class type?
ftrvxmtrx has quit [Quit: Leaving]
brendan has joined #ocaml
probst has joined #ocaml
bpalmer has left #ocaml []
<ijp> sgnb: yes that does work
<ijp> but it won't if I wanted to use methods present in baz, but not in foo
<ijp> I think dropping the ( : #foo) declaration may be best, as I can still coerce a baz to a foo, but it looses a bit of documentation in the code
<ijp> *loses
<sgnb> ijp: you can define foo and the type of baz as mutually class types
<sgnb> then use them in the definition of the actual class baz
sebz has joined #ocaml
<ijp> I guess that would work
creepy_one_ has quit [Read error: Connection reset by peer]
<ijp> indeed it does https://gist.github.com/1400944
<ijp> sgnb: thanks a lot
probst has quit [Quit: probst]
ulfdoz has joined #ocaml
sepp2k has joined #ocaml
Anarchos has joined #ocaml
ijp` has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
ijp has quit [Ping timeout: 248 seconds]
ttamttam` has quit [Remote host closed the connection]
ijp` has quit [Ping timeout: 244 seconds]
sebz has joined #ocaml
ijp` has joined #ocaml
ijp` is now known as ijp
jonathan1 is now known as jonafan
arubin has joined #ocaml
chambart has quit [Ping timeout: 244 seconds]
metasyntax|work has joined #ocaml
sepp2k has quit [Ping timeout: 248 seconds]
raichoo has joined #ocaml
sepp2k has joined #ocaml
chambart has joined #ocaml
larhat has quit [Quit: Leaving.]
sebz has quit [Quit: Computer has gone to sleep.]
flx_ has joined #ocaml
flux has quit [Read error: Connection reset by peer]
flx_ is now known as Guest77733
Guest77733 is now known as flux
sebz has joined #ocaml
Qrntzz has quit [Ping timeout: 244 seconds]
qrntz has joined #ocaml
qrntz is now known as Qrntzz
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
sebz has quit [Client Quit]
_andre has quit [Quit: leaving]
EmmanuelOga has joined #ocaml
nixfreak has joined #ocaml
<nixfreak> @zorun you around
ftrvxmtrx has joined #ocaml
Tobu has joined #ocaml
ftrvxmtrx_ has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
mcclurmc has quit [Excess Flood]
mcclurmc has joined #ocaml
<adrien> where is the button to add an attachment to a bug entry on the forge?
sebz has joined #ocaml
raichoo has quit [Quit: leaving]
nixfreak has quit [Ping timeout: 252 seconds]
<Drakken> adrien way at the bottom iiirc
<Drakken> thelema about that batbench plot.....
<Drakken> I filed a support request about the cairo/C problem I ran into.
<Drakken> I *might* try to figure it out myself, but I don't know much about the C interface right now.
<adrien> Drakken: I don't have a button ='(
Tobu has quit [Remote host closed the connection]
<Drakken> adrien there's an "Attach Files:" section with five shaded lines and five "Browse..." buttons. Just click anywhere in the shaded areas.
sebz has quit [Quit: Computer has gone to sleep.]
<adrien> Drakken: I think I don't have it
<Drakken> adrien are you submitting a new report or adding to an existing one?
<adrien> adding to an existing one
<Drakken> Do you have the section at the bottom with four tabs?
<Drakken> * Followups * Attachments * Commits * Changes
sebz has joined #ocaml
<adrien> Drakken: yup
<Drakken> click Attachments
<adrien> done =)
ulfdoz has quit [Read error: Operation timed out]
ftrvxmtrx has joined #ocaml
ftrvxmtrx_ has quit [Ping timeout: 240 seconds]
hto has quit [Quit: Lost terminal]
nixfreak_ has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
dcolish has quit [Ping timeout: 240 seconds]
nimred has quit [Ping timeout: 244 seconds]
accel has joined #ocaml
<accel> is there a project building something like mathematica on top of ocaml?
nimred has joined #ocaml
nimred has quit [Ping timeout: 245 seconds]
abdallah has joined #ocaml
<abdallah> type ('a, 'b) choice = Left of 'a | Right of 'b
<abdallah> let map_left f t = match t with | Left a -> Left (f a) | Right _ -> t
<abdallah> The previous function doesn't type.
<abdallah> Or rather it does not with the type I'd like to have which is "('a -> 'c) -> ('a, 'b) t -> ('c, 'b) t"
<abdallah> The inferred type is "('a -> 'a) -> ('a, 'b) t -> ('a, 'b) t"
<abdallah> I think I understand why this is happening (btw I'm using 3.11).
ikaros has quit [Quit: Ex-Chat]
<nixfreak_> anyone use ocsigen web platform ?
<abdallah> The solution to have the correct type is to replace "| Right _ -> t" with "Right b -> Right b"
<abdallah> I think it makes one more allocation so it might be undesirable for very efficient code.
<abdallah> Is there any better solution in ocaml 3.11?
milosn has quit [Read error: Connection reset by peer]
<abdallah> Is there any better solution in ocaml 3.13 with gadts? (I think so, but I haven't fully understood gadts yet)
milosn has joined #ocaml
dcolish has joined #ocaml
ikaros has joined #ocaml
nimred has joined #ocaml
edwin has quit [Remote host closed the connection]
ftrvxmtrx has quit [Ping timeout: 260 seconds]
thomasga1 has quit [Quit: Leaving.]
oriba has joined #ocaml
emmanuelux has quit [Read error: No route to host]
sebz has joined #ocaml
emmanuelux has joined #ocaml
Morphous has quit [Ping timeout: 248 seconds]
sepp2k has quit [Remote host closed the connection]
nixfreak_ has quit [Ping timeout: 244 seconds]
abdallah has quit [Quit: Ex-Chat]
emmanuelux has quit [Ping timeout: 258 seconds]
Morphous has joined #ocaml
rby has quit [Read error: Operation timed out]
Anarchos has left #ocaml []
emmanuelux has joined #ocaml
emmanuelux has quit [Ping timeout: 248 seconds]
sebz has quit [Quit: Computer has gone to sleep.]
everyonemines has joined #ocaml
<everyonemines> people keep telling me I shouldn't use ;;
<everyonemines> I guess they have a point; I probably wouldn't if it wasn't a code folding trigger
sebz has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
<Drakken> everyonemines! How are you doing?
<everyonemines> Well enough.
<Drakken> I think I figured out what you were talking about over the weekend.
<everyonemines> oh?
<tomprince> everyonemines: Can't you change how code is folded?
<everyonemines> to what?
<tomprince> To anything?
<everyonemines> You need a token to denote the end of a code fold
<everyonemines> it's let -> ;; | in
<everyonemines> Ocaml parses with let -> let -> let, where the 3rd ends the 1st and the 2nd
<everyonemines> and my editor doesn't handle that so well
<everyonemines> *at the 2nd I mean
<Drakken> everyonemines what's in those top-level-code files?
<Drakken> Are those segments of the big AI function you mentioned?
<everyonemines> Mostly yeah.
<Drakken> And you put each segment in its own file as top-level code for testing?
<everyonemines> Well, sometimes.
<everyonemines> Sometimes I just paste.
<everyonemines> or run from an editor that supports it
<everyonemines> Really the only reason I don't put stuff in functions more is that I would need to copy/paste lots of parameters.
<Drakken> But this transformation from top-level code to in-function code. Does it have any purpose other than testing segments of a big function?
<everyonemines> If I didn't need to do that, I would just write it as a function to start out with
<everyonemines> so no
<Drakken> Okay. So you want to transform the test files from top-level code to in-function code and assemble them together into a bigger function that you don't want to split into smaller functions.
<everyonemines> I just need to use a single ; for commands, and ;; for every let
<everyonemines> and ;; drives my code folding so I use it anyway.
<everyonemines> ...just not for single line functions
<everyonemines> then you can search/replace
<everyonemines> but it's not a big deal to do it manually anyway
<everyonemines> at all
<bitbckt> to state the obvious: it's too bad syntactic decisions are being made based on tool choice. c'est la vie.
<everyonemines> eh, redundant syntax makes error messages better
accel has quit [Quit: leaving]
destrius has joined #ocaml
<Drakken> everyonemines you're basically talking about writing a parser from ocaml to ocaml.
<everyonemines> You don't even need anything that sophisticated, just mark the positions of every "let" and count lets, in, ;;
<Drakken> everyonemines do you know ocaml has a macro system?
<oriba> thelema, I looked at ocamlgraph. it looks very interesting.
<everyonemines> you mean camlp4?
<Drakken> yes
<everyonemines> ...have you used camlp4 then?