POPIS CHYBY:

Nachadza sa v subore 'ex01c.cl'. Chyba nastane vtedy, ked zinterpretujete teoriu
'Parameterless_primitive_recursive_definition' a pokusite sa skompilovat
zdrojovy subor. Kompilator vyhlasi chybu. Je to sposobene chybnym spracovanim
komponenty 'appldisp' pri interpretacii. V nasom pripade sa to tyka tejto casti
zadania (na zobrazenie pouzite textovy editor):
> 
> theory Parameterless_primitive_recursive_definition
>
> appldisp/0 Tex_f0_g0
>  Std('m',0)
>
Pri interpretacii tejto teorie vznikne kod obsahujuci chybu. Tu je ta kriticka
cast, ktora sposobuje problemy pri kompilacii:
> 
> interpretation of Parameterless_primitive_recursive_definition
>
> int appldisp/0 
>  Std('m',0)
>

RIESENIE PROBLEMU:

Mate tri moznosti ako sa vyhnut tomuto problemu.

1. Rieste ulohy, ktore sa nachadzaju v opravenej verzii suboru 'ex01c.cl'.
2. Neinterpretujte teoriu 'Parameterless_primitive_recursive_definition'.
3. Takto opravte zdrojovy text (pouzite textovy editor):
- presunte komponentu
   > appldisp/0 Tex_f0_g0
   >  Std('m',0)
  mimo teoriu 'Parameterless_primitive_recursive_definition'
- zruste komponentu
   > int appldisp/0 
   >  Std('m',0)
  v interpretacii teorie 'Parameterless_primitive_recursive_definition'
  (len v pripade, ak ste tuto teoriu uz zintepretovali)

POZNAMKA:

V opravenej verzii su upravene pokyny pre interpretacie teorii. Napr. pre teoriu
'Parameterless_primitive_recursive_definition' je uvedene toto:
> You can test your solution by interpreting the theory. Choose non-local 
> interpretation and set component identifier suffix to the string _p.