Tout est très bien expliqué dans le wiki, mais juste quelques notes ici pour ne pas oublier…
Installation
Dans .vimrc
, on a déjà :
let g:opam_shared_dir = system("opam config var share")
let g:opam_shared_dir = substitute(g:opam_shared_dir, '[\r\n]*$', '', '''')
Il faut ajouter :
execute "set runtimepath+=" . g:opam_shared_dir . "/merlin/vim"
Il est intéressant d’utiliser aussi
syntastic
pour voir les erreurs quand on sauve le fichier.
Pour qu’il utilise merlin
, il faut lui dire :
let g:syntastic_ocaml_checkers = ['merlin']
Voir les types
C’est la fonction :TypeOf
qui calcule les types,
et comme avant, elle est branchée à <Localleader>t
.
La différence, hormis le fait que l’expression est surlignée,
est qu’on peut utiliser :GrowEnclosing
et :ShrinkEnclosing
pour étendre au rétrécir l’expression.
On peut aussi utiliser :TypeOf expr
pour connaître le type d’une expression qui n’est pas dans le source.
Complétion
Utiliser <Ctrl-x><Ctrl-o>
.
Navigation
:Locate
pour aller à la définition de l’objet sous le curseur ou bien:Locate ident
:ML ModA
ou:MLI ModA
pour se déplacer vers le fichier source d’un module.
Voir aussi :
- Ocaml: mon principal langage de développement
- Expressions régulières (vim et autres)
- Vim et la sélection d'objet
- Fonctions de log en ocaml
- Scripts en ocaml
- Ocaml: module Format et autres
- Ocaml pour lire un fichier XML
- Filtrage de fichiers avec ocaml
- Vim et le greffon syntastic
- Vim et la correction orthographique
- js-of-ocaml: des pages web en ocaml
- Vim en client/serveur
- COQ : un assistant de preuve formelle
- Filter with ocamlgraph
- Ocamlgraph visualization
- Vim : le meilleur éditeur du monde
Table des matières
Tags
ack
acronymes
analyse_statique
android
apt-get
awk
bash
bits
boot
c
checksum
coq
couleurs
css
csv
cut
dessin
diff
disque
docbook
docker
documentation
dokuwiki
dot
développement
fenêtres
firefox
frama-c
fstab
ftp
gcc
gestion_de_projet
gestion_de_version
git
graph
graphe
grep
grub
gzip
heredoc
htaccess-réseau
html
ide
ikiwiki
imagemagick
images
imprimer
ip
jenkins
js-of-ocaml
langage
latex
linux
make
mercurial
merlin
nvidia
ocaml
ocamlfind
ocamlgraph
orthographe
outil
parallel
path
pdf
perl
pgp
preuve_formelle
regexp
réseau
script
sed
sphinx
sqlite
ssh
sudo
svg
svn
syncbox
syntastic
systeme
système
tableurs
tcp-ip
texte
thunderbird
tikz
time
trac
txt2tags
ubuntu
unix
usb
utf-8
vim
virtualbox
virtualisation
vnc
web
windows
xfce
xkcd
xml
xmlstarlet
xmodmap
xsd
xslt
xubuntu
zcat
zenity
éditeur
émoticône
Dernières notes
- Afficher un pourcentage dans une page HTML
- VNC : Virtual Network Computing
- Git : déménagement d'un dépôt
- Quelques liens au sujet de l'analyse statique
- Ocaml: mon principal langage de développement
- Disque dur externe
- Les profiles dans Firefox
- Cryptographie et mail sous Android
- Quelques liens au sujet du C
- Git rebase : pour diviser un commit