[Emacs-diffs] /srv/bzr/emacs/trunk r102837: * test/indent/prolog.prolog: Add tokenizing tests.

[Stefan Monnier]

------------------------------------------------------------
revno: 102837
committer: Stefan Monnier <address@hidden>
branch nick: trunk
timestamp: Thu 2011-01-13 15:53:06 -0500
message:
  * test/indent/prolog.prolog: Add tokenizing tests.
modified:
  test/ChangeLog
  test/indent/prolog.prolog

=== modified file 'test/ChangeLog'
--- a/test/ChangeLog    2011-01-12 16:08:24 +0000
+++ b/test/ChangeLog    2011-01-13 20:53:06 +0000
@@ -1,3 +1,7 @@
+2011-01-13  Stefan Monnier  <address@hidden>
+
+       * indent/prolog.prolog: Add tokenizing tests.
+
 2011-01-13  Christian Ohler  <address@hidden>
 
        * 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.
 

=== modified file 'test/indent/prolog.prolog'
--- a/test/indent/prolog.prolog 2010-09-20 14:22:16 +0000
+++ b/test/indent/prolog.prolog 2011-01-13 20:53:06 +0000
@@ -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).