Project

General

Profile

« Previous | Next » 

Revision d4807c3d

Added by Xavier Thirioux almost 8 years ago

- corrected causality bug (cf. previous commit)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@227 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/typing.ml
293 293
(* ty1 is a subtype of ty2 *)
294 294
let rec sub_unify sub ty1 ty2 =
295 295
  match (repr ty1).tdesc, (repr ty2).tdesc with
296
  | Ttuple [t1]        , Ttuple [t2]        -> sub_unify sub t1 t2
297 296
  | Ttuple tl1         , Ttuple tl2         ->
298 297
    if List.length tl1 <> List.length tl2
299 298
    then raise (Unify (ty1, ty2))

Also available in: Unified diff