[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Woups!

Another Typol Woups!

set RELABEL is

judgement |- Opt_Gate_List, Opt_Gate_List -> RELABEL_MAP;

|- empty_gate_list(), empty_gate_list() -> relabel_map[];

|- gate_list(gids[]), gate_list(gids[]) -> relabel_map[];

|- A_Tail, F_Tail -> Relabel_Tail
---
|- gate_list(gids[identifier A_Gid . A_Tail]), 
   gate_list(gids[identifier F_Gid . F_Tail]) -> 
   relabel_map[id_relabel(id A_Gid, id F_Gid) . RelabelTail];

end RELABEL;

The last rule causes the Woups!

(I circumnavigated it by introducing a new set RELABEL_GIDS
 that relabels the gids[] without the gate_list operator.
)

Thomas