Project

General

Profile

Revision 6560bb94 src/typing.ml

View differences:

src/typing.ml
111 111
  | Tydec_clock ty -> Type_predef.type_clock (type_coretype type_dim ty)
112 112
  | Tydec_const c -> Type_predef.type_const c
113 113
  | Tydec_enum tl -> Type_predef.type_enum tl
114
  | Tydec_struct fl -> assert false (*Type_predef.type_struct fl*)
114 115
  | Tydec_array (d, ty) ->
115 116
    begin
116 117
      type_dim d;

Also available in: Unified diff