Project

General

Profile

Revision 28c58de1 src/typing.ml

View differences:

src/typing.ml
138 138
(* Equality on ground types only *)
139 139
(* Should be used between local variables which must have a ground type *)
140 140
let rec eq_ground t1 t2 =
141
  let t1 = repr t1 in
142
  let t2 = repr t2 in
143
  t1==t2 ||
141 144
  match t1.tdesc, t2.tdesc with
142 145
  | Tint, Tint | Tbool, Tbool | Trat, Trat | Treal, Treal -> true
143 146
  | Tenum tl, Tenum tl' when tl == tl' -> true

Also available in: Unified diff