IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Caml Discussion :

Erreur de compilation Emacs


Sujet :

Caml

  1. #1
    Nouveau Candidat au Club
    Femme Profil pro
    Inscrit en
    Mai 2011
    Messages
    2
    Détails du profil
    Informations personnelles :
    Sexe : Femme

    Informations forums :
    Inscription : Mai 2011
    Messages : 2
    Points : 1
    Points
    1
    Par défaut Erreur de compilation Emacs
    Bonjour,
    alors voilà, je débute en ocaml, et après avoir (très péniblement) installé Emacs avec le mode tuareg, en essayant de compiler, j'ai droit à l'erreur "Command attempted to use minibuffer while read-from-minibuffer"..
    J'avoue que je suis un peu larguée et que je serais très reconnaissante pour une aide.
    Merci d'avance.

  2. #2
    Membre éprouvé
    Profil pro
    Inscrit en
    Avril 2007
    Messages
    832
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Avril 2007
    Messages : 832
    Points : 1 104
    Points
    1 104
    Par défaut
    C'est pas lié à OCaml/Tuareg, c'est Emacs qui te dit que tu fais pas ce qu'il faut.

    Le "minibuffer" c'est la petite barre en bas. Elle sert pendant l'exécution d'une commande interactive à parler avec toi. Genre quand tu fais "ouvrir un fichier" (C-x C-f) elle te demande quelle fichier, et c'est là que tu regardes et entre le chemin du fichier désiré. En gros c'est comme une pop-up unique qui est tout le temps là, mais qui n'est "active" que pendant l'exécution des commandes.

    L'erreur te dit que, pendant qu'une commande essayait de te causer, tu as essayé de lancer une *autre* commande. Ça ne peut pas marcher car le mini-buffer est déjà occupé par la première commande (qui est en train de te poser une question ou quoi), donc la deuxième commade échoue.

    En pratique tu as du demander la même commande plusieurs fois, sans faire attention. Dans ces cas là, pas de panique, tu fais "annuler annuler annuler" jusqu'à revenir à un état normal. Annuler c'est C-g (contrôle et 'g'), ça interromp les commandes en cours, et c'est très pratique si tu comprends pas ce qui est en train de se passer. Et ensuite tu fais une seule commande à la fois.

  3. #3
    Membre émérite
    Avatar de prgasp77
    Homme Profil pro
    Ingénieur en systèmes embarqués
    Inscrit en
    Juin 2004
    Messages
    1 306
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 37
    Localisation : France, Eure (Haute Normandie)

    Informations professionnelles :
    Activité : Ingénieur en systèmes embarqués
    Secteur : High Tech - Électronique et micro-électronique

    Informations forums :
    Inscription : Juin 2004
    Messages : 1 306
    Points : 2 466
    Points
    2 466
    Par défaut
    Si C-g ne fonctionne pas, tente ESC ESC ESC. Pour information, il s'agit d'une commande tout le temps exécutable permettant de sortir d'un mode d'édition récursive.

    Edit : oops, bluestrom l'a déjà dit :/
    -- Yankel Scialom

  4. #4
    Nouveau Candidat au Club
    Femme Profil pro
    Inscrit en
    Mai 2011
    Messages
    2
    Détails du profil
    Informations personnelles :
    Sexe : Femme

    Informations forums :
    Inscription : Mai 2011
    Messages : 2
    Points : 1
    Points
    1
    Par défaut
    Oui, j'ai compris que j'avais lancé la compilation plusieurs fois de suite. Merci beaucoup.

Discussions similaires

  1. (emacs,debian) erreur de compilation, prog simplissime
    Par olivier57b dans le forum Débuter
    Réponses: 2
    Dernier message: 14/01/2010, 16h37
  2. (debian,emacs) erreur de compilation
    Par olivier57b dans le forum Débuter
    Réponses: 2
    Dernier message: 20/02/2009, 17h57
  3. Erreur de compilation après modification du Uses
    Par DevelOpeR13 dans le forum Langage
    Réponses: 5
    Dernier message: 30/10/2007, 14h23
  4. Réponses: 4
    Dernier message: 27/08/2003, 21h34
  5. Réponses: 2
    Dernier message: 04/03/2003, 23h24

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo