Revision f2c916b4 - Ada: Correct some errors on the type checking due to polymorphic type. - LustreC

« Previous | Next »

Revision f2c916b4

Added by Guillaume DAVY almost 6 years ago

ID f2c916b46ab92f1e859635a6f0cc61d382fbdfb2
Parent 8c8d009b
Child a2922b84

Ada: Correct some errors on the type checking due to polymorphic type.

added
modified
copied
renamed
deleted

src
- backends
  - Ada
    - ada_backend_ads.ml (diff)
    - ada_backend_common.ml (diff)