diff options
Diffstat (limited to 'src/Pure.ml')
| -rw-r--r-- | src/Pure.ml | 6 |
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, |