Added check for unicity of init
This commit is contained in:
parent
6332ac7a10
commit
41d2a1e3cb
|
@ -240,8 +240,8 @@ let check_init loc init lin =
|
||||||
| Lno_init -> lin
|
| Lno_init -> lin
|
||||||
| Linit_var r ->
|
| Linit_var r ->
|
||||||
(match lin with
|
(match lin with
|
||||||
| Lat r1 when r = r1 -> Ltop
|
| Lat r1 when r = r1 -> check_fresh_lin_var loc lin; Ltop
|
||||||
| Lvar r1 when r = r1 -> Ltop
|
| Lvar r1 when r = r1 -> check_fresh_lin_var loc lin; Ltop
|
||||||
| _ -> message loc (Ewrong_init (r, lin)))
|
| _ -> message loc (Ewrong_init (r, lin)))
|
||||||
| Linit_tuple _ -> assert false
|
| Linit_tuple _ -> assert false
|
||||||
in
|
in
|
||||||
|
|
Loading…
Reference in a new issue