From 303d4adff90279d0c9ac79adc667abc4d65df945 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 5 Dec 2020 18:53:34 +1100 Subject: Bug in parameter visibility when using Traits to instantiate other packages fixed --- src/packrat-traits.ads | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) (limited to 'src/packrat-traits.ads') diff --git a/src/packrat-traits.ads b/src/packrat-traits.ads index cf4ba89..7f25dd9 100644 --- a/src/packrat-traits.ads +++ b/src/packrat-traits.ads @@ -7,15 +7,23 @@ with generic - type Label_Enum is (<>); - type Element_Type is private; - type Element_Array is array (Positive range <>) of Element_Type; + type Lab_Enum is (<>); + type Elem_Type is private; + type Elem_Array is array (Positive range <>) of Elem_Type; - with function "<" (Left, Right : in Element_Type) return Boolean is <>; + with function "<" (Left, Right : in Elem_Type) return Boolean is <>; package Packrat.Traits is + -- Should these even really be necessary, or should the original + -- types be visible even to packages that Traits gets passed to? + -- I have no idea. + subtype Label_Enum is Lab_Enum; + subtype Element_Type is Elem_Type; + subtype Element_Array is Elem_Array; + + function "<" (Left, Right : in Element_Array) return Boolean; -- cgit