summaryrefslogtreecommitdiff
path: root/src/packrat-traits.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/packrat-traits.ads')
-rw-r--r--src/packrat-traits.ads16
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;