Project

General

Profile

« Previous | Next » 

Revision 1f868027

Added by Pierre-Loïc Garoche over 3 years ago

JSON EMF

View differences:

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