From 2b159b297ab6e1f7118b0c094427aa708e1375b8 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Mon, 11 Jun 2018 17:49:32 +0100
Subject: add 'pat as id' mapping-patterns

---
 src/parse_ast.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/parse_ast.ml')

diff --git a/src/parse_ast.ml b/src/parse_ast.ml
index c31d548c..2848edc0 100644
--- a/src/parse_ast.ml
+++ b/src/parse_ast.ml
@@ -440,6 +440,7 @@ type mpat_aux =  (* Mapping pattern. Mostly the same as normal patterns but only
  | MP_cons of ( mpat) * ( mpat)
  | MP_string_append of mpat list
  | MP_typ of mpat * atyp
+ | MP_as of mpat * id
 
 and mpat =
  | MP_aux of ( mpat_aux) * l
-- 
cgit v1.2.3