diff options
Diffstat (limited to 'src/packrat-traits.ads')
| -rw-r--r-- | src/packrat-traits.ads | 16 |
1 files changed, 12 insertions, 4 deletions
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; |