/****************************************************************************
Ejercicio: 2.5
Alumno: Leandro Lucarella
Fecha: mié jul 27 15:14:38 ART 2005
****************************************************************************/

functor
import
    Application
    System
define
    proc {Test X}
        case X
        of a|Z then {System.show 'case'(1)}
        [] f(a) then {System.show 'case'(2)}
        [] Y|Z andthen Y==Z then {System.show 'case'(3)}
        [] Y|Z then {System.show 'case'(4)}
        [] f(Y) then {System.show 'case'(5)}
        else {System.show 'case'(6)} end
    end
    {Test [b c a]}
    {Test f(b(3))}
    {Test f(a)}
    {Test f(a(3))}
    {Test f(d)}
    {Test [a b c]}
    {Test [c a b]}
    {Test a|a}
    {Test '|'(a b c)}
    {Application.exit 0}
end

% vim: set et sw=4 sts=4 filetype=oz :