Commit db5d03ea authored by Stefan Monnier's avatar Stefan Monnier

* test/indent/prolog.prolog: Add tokenizing tests.

parent dbed16aa
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.
......
%% -*- 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).
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment