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
:Locatepour aller à la définition de l’objet sous le curseur ou bien:Locate ident:ML ModAou:MLI ModApour 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