Project

General

Profile

Revision 51768260 src/typing.ml

View differences:

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