|marius| has quit [Read error: Operation timed out]
jknick has joined #ocaml
Edward has quit [Ping timeout: 276 seconds]
metasyntax` has quit [Quit: ♫ In our sky there is no limits, and masters we have none; heavy metal is the only one! ♫]
joewilliams_away is now known as joewilliams
travisbrady has joined #ocaml
|marius| has joined #ocaml
joewilliams is now known as joewilliams_away
travisbrady has quit [Read error: Connection reset by peer]
travisbrady has joined #ocaml
ulfdoz has joined #ocaml
joewilliams_away is now known as joewilliams
jakedouglas has quit [Quit: Leaving.]
joewilliams is now known as joewilliams_away
waltz has joined #ocaml
boscop has joined #ocaml
ygrek has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
ski has joined #ocaml
Associat0r has quit [Quit: Associat0r]
_unK has joined #ocaml
valross has quit [Quit: Ex-Chat]
Amorphous has quit [Ping timeout: 260 seconds]
|marius| has quit [Remote host closed the connection]
_unK has quit [Remote host closed the connection]
boscop has quit [Ping timeout: 265 seconds]
Amorphous has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 265 seconds]
_unK has joined #ocaml
ftrvxmtrx has joined #ocaml
_unK has quit [Remote host closed the connection]
metasyntax has quit [Ping timeout: 265 seconds]
ikaros has joined #ocaml
_unK has joined #ocaml
travisbrady has quit [Ping timeout: 240 seconds]
Shion has quit [Remote host closed the connection]
xmarteo has joined #ocaml
aj2009 has quit [Quit: Leaving]
ttamttam has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
waltz has quit [Quit: Leaving.]
pikachuyann has joined #ocaml
jknick has quit [Quit: Lost terminal]
ikaros has quit [Quit: Leave the magic to Houdini]
ski has quit [Ping timeout: 264 seconds]
Edward has joined #ocaml
ttamttam has quit [Ping timeout: 276 seconds]
metasyntax has joined #ocaml
ftrvxmtrx has joined #ocaml
Modius has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
Edward has quit []
fraggle_ has joined #ocaml
avsm has joined #ocaml
metasyntax` has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
<MarcWeber>
Nobody is interested in trying my ocaml completion implementation for Vim ? :-(
<adrien>
MarcWeber: probably not right now as I'm currently catching up mails and articles and comics and everything but can you give the link again?
Edward has joined #ocaml
Associat0r has joined #ocaml
jakedouglas has joined #ocaml
ccasin has joined #ocaml
oriba has joined #ocaml
munga has joined #ocaml
joewilliams_away is now known as joewilliams
ikaros has joined #ocaml
<orbitz>
Any of you guys making it to CUFP?
<avsm>
yeah
hcarty has left #ocaml []
hcarty has joined #ocaml
britneypire has joined #ocaml
britneypire has quit [Client Quit]
munga has quit [Read error: Operation timed out]
<adrien>
been wondering: I have some small code snippets (a bit like pleac) that I'd like to share, not necessarily worth a "full" library/project, is there currently any place for that?
<adrien>
(I could put a git/* repo and a webpage but something "central" would be better)
<gildor>
there is a code snippets section in forge.ocamlcore.org
<adrien>
gildor: thanks a lot, I hadn't seen it, exactly what I wanted :-)
<MarcWeber>
adrien: github.com/MarcWeber/vim-addon-ocaml # The easiest way to install it along with its dependencies is using vim-addon-mnager
<MarcWeber>
vim-addon-manager
<adrien>
thanks
<adrien>
MarcWeber: are you using a "database" of function/types for completion? if yes, which one?
<MarcWeber>
adrien: See README.markdown
<MarcWeber>
adrien: If the info is not enough tell me. I'll extend it then.
ccasin has quit [Quit: Leaving]
<adrien>
no, it's ok, I had actually skipped the line where you mention .annot files
<MarcWeber>
The .annot thing is not working yet.
avsm has quit [Quit: Leaving.]
<MarcWeber>
find .mli files in tag files -> parse .mli files -> filter the list -> completion result
<adrien>
ok, and is performance ok? (I need the same thing for a project of mine but I'd probably include all .mli files by default)
<MarcWeber>
adrien: Try it
<MarcWeber>
How many .mli files do you have?
<adrien>
883 in /ocaml and 1197 in /opt/ocaml (I would have thought /ocaml had more)
<adrien>
I'll try it but tomorrow: I'm running on one hour of sleep and almost 15 hours of journey right now
<MarcWeber>
adrien: :) You should go to bed.
<adrien>
dinner and bed, yeah ;-)
<MarcWeber>
At least my output decreases that much that it pays of to get sleep
<adrien>
yeah, I haven't even tried to do anything, played a bit, read some articles and comics, that's about it ;-)
<MarcWeber>
adrien: So how much time is left until dinner?
travisbrady has joined #ocaml
boscop has joined #ocaml
fabjan has quit [Remote host closed the connection]
<adrien>
MarcWeber: no idea unfortunately: I'm at my parents and I doubt we'll eat very early =/ (it's almost 7pm)
<MarcWeber>
Meh.. my ctags segfaults.
Anarchos has joined #ocaml
philtor has joined #ocaml
<MarcWeber>
Which tagging command are you using?
<MarcWeber>
I thought ctags would be fine - however .ml files are bound to lisp. Nevertheless it seems to work for most cases but not all - eg external declarations are missed such as String.length
<hcarty>
MarcWeber: I tried the indentation patch from your project. It does avoid bad automatic reformatting (ex. gg=G), but it doesn't get the indentation correct when writing the code initially.
<hcarty>
MarcWeber: So thumbs up for a much-appreciated first step
<MarcWeber>
hcarty: So give me a case in which it behaves bad
<hcarty>
MarcWeber: When writing the code initially
<MarcWeber>
When writing it initially .. Yes, use <c-t> mapping
<MarcWeber>
If you're talking about those arguments only -Yes I'm aware of it. I even wrote it in the commit message.
<MarcWeber>
But pressing c-t once is bearable.
<MarcWeber>
vim reindenting the lines always is not.
<hcarty>
I think omlet and tuareg (emacs) get it right the first time, but I agree that <c-t> to fix is quite acceptable
<MarcWeber>
I twas too hard figuring out how to do it - without knowing ocaml well yet
<hcarty>
I came to the same conclusion when trying it myself a year or few ago, knowing OCaml but not vim scripting :-)
ftrvxmtrx has joined #ocaml
<MarcWeber>
hcarty: Next time try the mailinglist of Vim :)
<MarcWeber>
How do you generate tag files for Vim?
ttamttam has joined #ocaml
ttamttam has quit []
ulfdoz has joined #ocaml
|marius| has joined #ocaml
philtor has quit [Ping timeout: 258 seconds]
Edward has quit []
ztfw has quit [Read error: Connection reset by peer]
ztfw has joined #ocaml
strangy has joined #ocaml
Anarchos has quit [Quit: need to sleep]
hto has quit [Quit: leaving]
iNode has joined #ocaml
hto has joined #ocaml
Smerdyakov has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
Associat0r has quit [Quit: Associat0r]
philtor has joined #ocaml
sepp2k has joined #ocaml
<pikachuyann>
bonne nuit tout le monde / good night all
pikachuyann has quit [Quit: 'nuit/'night]
valross has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
philtor has quit [Ping timeout: 276 seconds]
ikaros_ has joined #ocaml
ikaros has quit [Ping timeout: 276 seconds]
Smerdyakov has quit [Quit: Leaving]
jakedouglas has joined #ocaml
Anarchos has joined #ocaml
Edward has joined #ocaml
metasyntax has quit [*.net *.split]
LionMade0fLions has quit [*.net *.split]
metasyntax`` has joined #ocaml
LionMade0fLions has joined #ocaml
Anarchos has quit [Quit: go to sleep]
|marius| has quit [Ping timeout: 252 seconds]
|marius| has joined #ocaml
ikaros_ has quit [*.net *.split]
nimred has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
bacam has quit [*.net *.split]
despa has quit [*.net *.split]
valross has quit [*.net *.split]
boscop has quit [*.net *.split]
mfp has quit [*.net *.split]
mbishop has quit [*.net *.split]
jamii has quit [*.net *.split]
worldhlord has quit [*.net *.split]
oriba has quit [*.net *.split]
_unK has quit [*.net *.split]
f[x] has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
jlouis has quit [*.net *.split]
xmarteo has quit [*.net *.split]
jjd27 has quit [*.net *.split]
adrien has quit [*.net *.split]
pheredhel has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
zaz\ has quit [*.net *.split]
ftrvxmtrx has quit [*.net *.split]
drksd has quit [*.net *.split]
jonafan has quit [*.net *.split]
erickt has quit [*.net *.split]
Tianon has quit [*.net *.split]
theDroggl has quit [*.net *.split]
rossberg has quit [*.net *.split]
sgnb has quit [*.net *.split]
ulfdoz has quit [Ping timeout: 259 seconds]
ikaros_ has joined #ocaml
valross has joined #ocaml
ftrvxmtrx has joined #ocaml
boscop has joined #ocaml
oriba has joined #ocaml
xmarteo has joined #ocaml
_unK has joined #ocaml
drksd has joined #ocaml
jonafan has joined #ocaml
jjd27 has joined #ocaml
adrien has joined #ocaml
erickt has joined #ocaml
bacam has joined #ocaml
Pepe_ has joined #ocaml
nimred has joined #ocaml
f[x] has joined #ocaml
Tianon has joined #ocaml
mfp has joined #ocaml
pheredhel has joined #ocaml
theDroggl has joined #ocaml
rossberg has joined #ocaml
despa has joined #ocaml
mbishop has joined #ocaml
Asmadeus has joined #ocaml
sgnb has joined #ocaml
hyperboreean has joined #ocaml
jamii has joined #ocaml
worldhlord has joined #ocaml
zaz\ has joined #ocaml
jlouis has joined #ocaml
metasyntax`` is now known as metasyntax
travisbrady has quit [*.net *.split]
asmanur_ has quit [*.net *.split]
julm has quit [*.net *.split]
brendan has quit [*.net *.split]
rudi_s has quit [*.net *.split]
dcolish has quit [*.net *.split]
fremo__ has quit [*.net *.split]
orbitz has quit [*.net *.split]
alpounet has quit [*.net *.split]
orbitz has joined #ocaml
asmanur has joined #ocaml
rudi_s has joined #ocaml
julm has joined #ocaml
travisbrady has joined #ocaml
fremo__ has joined #ocaml
alpounet has joined #ocaml
brendan_ has joined #ocaml
brendan_ is now known as Guest44877
strangy has quit [Quit: Leaving]
dcolish has joined #ocaml
jennyf has joined #ocaml
jennyf has quit [Client Quit]
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
|marius| has quit [Remote host closed the connection]
boscop has quit [Ping timeout: 265 seconds]
|marius| has joined #ocaml
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
sepp2k has quit [Quit: Leaving.]
jakedouglas has quit [Ping timeout: 248 seconds]
jonafan has quit [Quit: Leaving]
xmarteo has quit [Quit: Debian GNU/Hurd is Good.]
ikaros_ has quit [Quit: Leave the magic to Houdini]