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.]