Added identifiers for section parameters in Surface (#176)

fram-lang · Dec 30, 2024 · e630aef · e630aef
1 parent b477ec4
commit e630aef
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Lang/Surface.ml b/src/Lang/Surface.ml
@@ -316,10 +316,10 @@ and def_data =
       - [body] -- An expression that should evaluate to a first-class handler,
           providing the capability of the handled effect. *)
 
-  | DTypeParam of tname * kind_expr
+  | DTypeParam of tname * tvar * kind_expr
     (** Declaration of type parameter *)
 
-  | DValParam of name * scheme_expr
+  | DValParam of name * ident * scheme_expr
     (** Declaration of value parameter *)
 
   | DData of (** Definition of non-recursive ADT *)