diff options
| author | Stefan Monnier <monnier@iro.umontreal.ca> | 2010-09-20 16:22:16 +0200 |
|---|---|---|
| committer | Stefan Monnier <monnier@iro.umontreal.ca> | 2010-09-20 16:22:16 +0200 |
| commit | 549d0e1ec428bf4d1448a3143d7374e2b860de25 (patch) | |
| tree | e654168ddaab0284fb61a31967db8c73dae9698f /test/indent | |
| parent | a9cb95dd4e146169211978a22b04607db19615e8 (diff) | |
| download | emacs-549d0e1ec428bf4d1448a3143d7374e2b860de25.tar.gz | |
* lisp/progmodes/prolog.el (prolog-smie-forward-token)
(prolog-smie-backward-token): New functions.
(prolog-mode-variables): Use them to parse "!," correctly.
Set up smie-blink-matching for ".".
* test/indent/prolog.prolog: Use normal spacing around !.
Diffstat (limited to 'test/indent')
| -rw-r--r-- | test/indent/prolog.prolog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/indent/prolog.prolog b/test/indent/prolog.prolog index 968cef57114..8b96cd56a33 100644 --- a/test/indent/prolog.prolog +++ b/test/indent/prolog.prolog @@ -150,7 +150,7 @@ generalize(Ee, Te, Env, Eg, Tg) :- %% instantiate(+X, +T, -E) %% Utilise la variable X de type T. Le résultat E est X auquel on ajoute %% tous les arguments implicites (de valeur inconnue). -instantiate(X, T, X) :- var(T), ! . +instantiate(X, T, X) :- var(T), !. instantiate(X, forall(_, _, T), app(E, _)) :- !, instantiate(X, T, E). instantiate(X, _, X). |