Mercurial > emacs
changeset 112211:7e39a17684f8
* test/indent/prolog.prolog: Add tokenizing tests.
| author | Stefan Monnier <monnier@iro.umontreal.ca> |
|---|---|
| date | Thu, 13 Jan 2011 15:53:06 -0500 |
| parents | 43d75ad47207 |
| children | 966cc18ff805 |
| files | test/ChangeLog test/indent/prolog.prolog |
| diffstat | 2 files changed, 17 insertions(+), 6 deletions(-) [+] |
line wrap: on
line diff
--- a/test/ChangeLog Thu Jan 13 15:46:38 2011 -0500 +++ b/test/ChangeLog Thu Jan 13 15:53:06 2011 -0500 @@ -1,3 +1,7 @@ +2011-01-13 Stefan Monnier <monnier@iro.umontreal.ca> + + * indent/prolog.prolog: Add tokenizing tests. + 2011-01-13 Christian Ohler <ohler@gnu.org> * automated: New directory for automated tests. @@ -229,7 +233,7 @@ ;; add-log-time-zone-rule: t ;; End: - Copyright (C) 2008, 2009, 2010 Free Software Foundation, Inc. + Copyright (C) 2008, 2009, 2010, 2011 Free Software Foundation, Inc. This file is part of GNU Emacs.
--- a/test/indent/prolog.prolog Thu Jan 13 15:46:38 2011 -0500 +++ b/test/indent/prolog.prolog Thu Jan 13 15:53:06 2011 -0500 @@ -1,11 +1,18 @@ -%% -*- mode: prolog; coding: utf-8 -*- +%% -*- mode: prolog; coding: utf-8; fill-column: 78 -*- + +%% Testing correct tokenizing. +foo(X) :- 0'= = X. +foo(X) :- 8'234 = X. +foo(X) :- '\x45\' = X. +foo(X) :- 'test 0'=X. +foo(X) :- 'test 8'=X. %% wf(+E) %% Vérifie que E est une expression syntaxiquement correcte. -wf(X) :- atom(X); integer(X); var(X). %Une variable ou un entier. -wf(lambda(X, T, B)) :- atom(X), wf(T), wf(B). %Une fonction. -wf(app(E1, E2)) :- wf(E1), wf(E2). %Un appel de fonction. -wf(pi(X, T, B)) :- atom(X), wf(T), wf(B). %Le type d'une fonction. +wf(X) :- atom(X); integer(X); var(X). %Une variable ou un entier. +wf(lambda(X, T, B)) :- atom(X), wf(T), wf(B). %Une fonction. +wf(app(E1, E2)) :- wf(E1), wf(E2). %Un appel de fonction. +wf(pi(X, T, B)) :- atom(X), wf(T), wf(B). %Le type d'une fonction. %% Éléments additionnels utilisés dans le langage source. wf(lambda(X, B)) :- atom(X), wf(B).