/****************************************************************************
Ejercicio: 2.6
Alumno: Leandro Lucarella
Fecha: mié jul 27 15:24:15 ART 2005
****************************************************************************/

functor
import
    Application
    System
define
    proc {Test X}
        {System.show 'proc'}
        {System.show X}
        case X
            of f(a Y c) then {System.show 'case'(1)}
            else {System.show 'case'(2)}
        end
    end
    {System.show 'inicio'}
    local X Y in {Test f(X b Y)} end % Se queda esperando a que se bindee X!
    {System.show 'post1'}
    local X Y in {Test f(a Y d)} end
    {System.show 'post2'}
    local X Y in {Test f(X Y d)} end
    {System.show 'post3'}
    {Application.exit 0}
end

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