summaryrefslogtreecommitdiff
path: root/src/Pure.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/Pure.ml')
-rw-r--r--src/Pure.ml6
1 files changed, 1 insertions, 5 deletions
diff --git a/src/Pure.ml b/src/Pure.ml
index 05f7e199..3798c555 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -373,11 +373,7 @@ type qualif_id =
| Proj of proj_kind (** Field projector *)
[@@deriving show]
-type qualif = {
- id : qualif_id;
- type_params : ty list; (* TODO: rename to type_args *)
-}
-[@@deriving show]
+type qualif = { id : qualif_id; type_args : ty list } [@@deriving show]
(** An instantiated qualified.
Note that for now we have a clear separation between types and expressions,