diff options
Diffstat (limited to 'pretyping/typeclasses.mli')
| -rw-r--r-- | pretyping/typeclasses.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pretyping/typeclasses.mli b/pretyping/typeclasses.mli index 47cb93a149..ec3350a586 100644 --- a/pretyping/typeclasses.mli +++ b/pretyping/typeclasses.mli @@ -26,8 +26,9 @@ type typeclass = { (* Name of the class. FIXME: should not necessarily be globally unique. *) cl_name : identifier; - (* Context in which the definitions are typed. Includes both typeclass parameters and superclasses. *) - cl_context : (identifier option * named_declaration) list; + (* Context in which the definitions are typed. Includes both typeclass parameters and superclasses. The boolean indicates if the + typeclass argument is a direct superclass. *) + cl_context : ((identifier * bool) option * named_declaration) list; cl_params : int; (* This is the length of the suffix of the context which should be considered explicit parameters. *) |