Project

General

Profile

« Previous | Next » 

Revision 2d179f5b

Added by Xavier Thirioux over 8 years ago

numerous bugs corrected:
- bug in expansion of array accesses with constant arrays
- bug in printing complex array indexes (not C compliant)
- bug wrt C99 typing policy for constant arrays
- bug in signaling wrong useless static input

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

View differences:

src/types.ml
251 251
 | Tstatic (_, ty') -> is_struct_type ty'
252 252
 | _                -> false
253 253

  
254
let struct_field_type ty field =
255
  match (dynamic_type ty).tdesc with
256
  | Tstruct fields ->
257
    (try
258
       List.assoc field fields
259
     with Not_found -> assert false)
260
  | _              -> assert false
261

  
254 262
let rec is_array_type ty =
255 263
 match (repr ty).tdesc with
256 264
 | Tarray _         -> true

Also available in: Unified diff