1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast.ml b/src/ast.ml
index 45428fed..710e8067 100644
--- a/src/ast.ml
+++ b/src/ast.ml
@@ -260,6 +260,7 @@ type
  | P_as of 'a pat * id (* named pattern *)
  | P_typ of typ * 'a pat (* typed pattern *)
  | P_id of id (* identifier *)
+ | P_var of kid (* bind identifier and type variable *)
  | P_app of id * ('a pat) list (* union constructor pattern *)
  | P_record of ('a fpat) list * bool (* struct pattern *)
  | P_vector of ('a pat) list (* vector pattern *)