Mercurial > urweb
annotate tests/mproj.ur @ 1998:cc7e5d469d1b
Protect uw_Basis_new_client_source from invalid ctx->id
We assume that FFI code may create new contextes with id left unassigned
author | Sergey Mironov <grrwlf@gmail.com> |
---|---|
date | Wed, 26 Feb 2014 09:43:47 +0000 |
parents | e571fb150a9f |
children |
rev | line source |
---|---|
adamc@849 | 1 structure M : sig |
adamc@849 | 2 type t |
adamc@849 | 3 val x : t |
adamc@849 | 4 |
adamc@849 | 5 structure S : sig |
adamc@849 | 6 type u = t |
adamc@849 | 7 |
adamc@849 | 8 val eq : eq u |
adamc@849 | 9 end |
adamc@849 | 10 end = struct |
adamc@849 | 11 type t = int |
adamc@849 | 12 val x = 0 |
adamc@849 | 13 |
adamc@849 | 14 structure S = struct |
adamc@849 | 15 type u = t |
adamc@849 | 16 |
adamc@849 | 17 val eq = _ |
adamc@849 | 18 end |
adamc@849 | 19 end |
adamc@849 | 20 |
adamc@849 | 21 val y = M.x = M.x |