% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            fsctest.dtr                                              %
% Purpose:         testing fscons.dtr                                       %
% Author:          James Kilbury, 2nd February 1993/4th August 1994         %
% Email:           kilbury@ling.uni-duesseldorf.de                          %
% Address:         U Drf, Universitaetsstr. 1, D-40225 Duesseldorf, Germany %
% Version:         1.02                                                     %
% Related files:   fscons.dtr                                               %
%                                                                           %
%      Copyright (c) University of Duesseldorf 1994.  All rights reserved.  %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

X:<> == ?             % [ a : [ b : [ c : 1 ] ] ]
  <*> == FS:<a T>
  <a *> == FS:<b T>
  <a b *> == FS:<c T>
  <a b c *> == 1.

Y:<> == ?             % [ a : [ b : 1 ] ,
  <*> == FS:<a c T>   %   c : [ d : 2 , e : [ f : 3 ] ] ]
  <a *> == FS:<b T>
  <a b *> == 1
  <c *> == FS:<d e T>
  <c d *> == 2
  <c e *> == FS:<f T>
  <c e f *> == 3.

Z:<> == ?            % [ fi : a , [ re : [ fi : b , re : nil ] ]
  <*> == FS:<fi re T>
  <fi *> == a
  <re *> == FS:<fi re T>
  <re fi *> == b
  <re re *> == nil.

W:<> == ?            % [ fi : a , [ re : [ fi : b , re : nil ] ]
  <*> == LIST
  <fi *> == a
  <re *> == LIST
  <re fi *> == b
  <re re *> == nil.

U:<> == ?            % [ fi : [ fi : a , re : nil ] ,
  <*> == LIST        %   re : [ fi : [ fi : b , re : nil ] ,
  <fi *> == LIST     %          re : nil                     ] ]
  <fi fi *> == a
  <fi re *> == nil
  <re *> == LIST
  <re fi *> == LIST
  <re fi fi *> == b
  <re fi re *> == nil
  <re re *> == nil.

V:<> == ?            % [ fi : ?1 , re : [ fi : ?1 , re : nil ] ]
  <*> == LIST
  <fi *> == ?1
  <re *> == LIST
% reentrancy:
  <re fi *> == <fi *>
  <re re *> == nil.

% The next line is the Revision Control System Id: do not delete it.
% $Id: archive.dtr,v 1.1 1997/04/09 20:40:33 root Exp $