Project

General

Profile

Revision 8fa083d5 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