Acute tech report: errata corrige
In minicaml-rt.mng v 1.673:
- pag. 99, conclusion of type rule for ||: replace
eq by e_1.
- pag. 128, fourth structural rule: replace
En',e' by En';e'.
- pag. 136, module field instantiation - module case, via import sequence:
- replace
[v']^T_eqs' by [v^eqs0]^T_eqs' in the reduction rule;
- delete the condition
v' = v.
- pag. 143, mutexes, fourth reduction rule: replace
TC' by TCC'.
CVS stamp: $Id: errata.html,v 1.8 2005/06/29 12:09:06 pes20 Exp $
[Validate this page.]