Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/derived_type2.adb @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
-- { dg-do run } -- { dg-options "-gnatws" } procedure Derived_Type2 is package Pkg is type Parent (B : Boolean := True) is record case B is when True => S : String (1 .. 5); when False => F : Float; end case; end record; function Create (X : Parent) return Parent; end Pkg; package body Pkg is function Create (X : Parent) return Parent is begin return (True, "12345"); end; end Pkg; use Pkg; type T is new Parent (True); X : T; begin if Create (X).B /= True then raise Program_Error; end if; end;