Revision 1f868027
Added by Pierre-Loïc Garoche over 5 years ago
| src/backends/Ada/ada_backend_common.ml | ||
|---|---|---|
| 290 | 290 |
| Types.Basic.Tint -> Const_int 0 |
| 291 | 291 |
| Types.Basic.Treal -> Const_real (Num.num_of_int 0, 0, "0.0") |
| 292 | 292 |
| Types.Basic.Tbool -> Const_tag tag_false |
| 293 |
| _ -> assert false |
|
| 293 | 294 |
|
| 294 | 295 |
(** Make a default value from a given type. |
| 295 | 296 |
@param typ the type |
Also available in: Unified diff
JSON EMF