# HG changeset patch
# User Stefan Monnier <monnier@iro.umontreal.ca>
# Date 1294951986 18000
# Node ID 7e39a17684f8f204f404e5904657675287d50b87
# Parent  43d75ad47207eddd40c99813516633eb10539bd0
* test/indent/prolog.prolog: Add tokenizing tests.

diff -r 43d75ad47207 -r 7e39a17684f8 test/ChangeLog
--- 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.
 
diff -r 43d75ad47207 -r 7e39a17684f8 test/indent/prolog.prolog
--- 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).