Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/predicate6.ads @ 152:2b5abeee2509
update gcc11
author | anatofuz |
---|---|
date | Mon, 25 May 2020 07:50:57 +0900 |
parents | 1830386684a0 |
children |
line wrap: on
line source
generic package Predicate6 is type Price_Kind is (Infinitely_Small, Normal, Infinitely_Large); subtype Infinite_Kind is Price_Kind with Static_Predicate => Infinite_Kind in Infinitely_Small | Infinitely_Large; function "not" (Kind : Infinite_Kind) return Infinite_Kind is (case Kind is when Infinitely_Small => Infinitely_Large, when Infinitely_Large => Infinitely_Small); procedure Foo; end;