diff options
Diffstat (limited to 'src/Pure.ml')
-rw-r--r-- | src/Pure.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index 05f78e35..256a872a 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -305,6 +305,7 @@ type qualif_id = | Func of fun_id | AdtCons of adt_cons_id (** A function or ADT constructor identifier *) | Proj of projection (** Field projector *) + (* TODO | Global of GlobalDeclId.id*) [@@deriving show] type qualif = { id : qualif_id; type_args : ty list } [@@deriving show] |