Ticket #721: ticket_1.ClassNameAsGrammar.tol

//////////////////////////////////////////////////////////////////////////////
// Uso de las clases como una gramática.

Class CPrueba {
  Real _.valor;
  Real GetValor(Real unused) { Copy(_.valor) };
  Real SetValor(Real val) { Real _.valor := val }
};

//////////////////////////////////////////////////////////////////////////////
// [1]:
/*
CPrueba CPrueba.New(Real val) { 
  CPrueba [[ Real _.valor = val ]]
};

CPrueba CPrueba.New(0);
*/
// ERROR: La expresión no devuelve una instancia de Class CPrueba:
// {CPrueba SetOfAnything[[Real _.valor=val]]}
// Recuerde que las declaraciones de instancias deben seguir la sintaxis:
//   Class <instance_name> = [[ ... ]];
// 
// No veo la necesidad de que la instancia tenga que tener un nombre.

//////////////////////////////////////////////////////////////////////////////
// [2]:
/*
CPrueba CPrueba.New(Real val) { 
  CPrueba [[ Real _.valor = val ]]
};

CPrueba a = CPrueba.New(0);
*/
// OK

//////////////////////////////////////////////////////////////////////////////
// [3]:
/*
CPrueba CPrueba.New(Real val) { 
  CPrueba newPrueba = [[ Real _.valor = val ]]
};

Text "";
CPrueba CPrueba.New(0);
*/
// ERROR: No ha sido posible convertir de NameBlock hacia Text para el objeto 'newPrueba'
// Este error se debe a que no se reconoce CPrueba como un equivalente a NameBlock
// y se asume la gramática de la línea anterior.

// Tras un error como éste, si se decompila y compila, 
// se obtienen errores del tipo:
// ERROR: Class 'CPrueba' ya fue definida como ""
// Parece que algo queda sin destruir por ahí.

// Sin embargo, funciona si probamos algo como esto:
/*
CPrueba CPrueba.New(Real val) { 
  CPrueba newPrueba = [[ Real _.valor = val ]]
};

NameBlock CPrueba CPrueba.New(0);
*/
//////////////////////////////////////////////////////////////////////////////