Revision 51768260
Added by Xavier Thirioux about 8 years ago
| src/typing.ml | ||
|---|---|---|
| 187 | 187 |
let def_t = get_type_definition t in |
| 188 | 188 |
unify t1 def_t |
| 189 | 189 |
| Tenum tl, Tenum tl' when tl == tl' -> () |
| 190 |
| Tstruct fl, Tstruct fl' when fl == fl' -> () |
|
| 190 | 191 |
| Tstatic (e1, t1'), Tstatic (e2, t2') |
| 191 | 192 |
| Tarray (e1, t1'), Tarray (e2, t2') -> |
| 192 | 193 |
begin |
Also available in: Unified diff
work in progress for struct types...