From b94549367c2536b3df6fba8586efa1a2a4bca7b8 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Fri, 27 Apr 2018 13:19:24 +0100
Subject: further progress

---
 src/parse_ast.ml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/parse_ast.ml')

diff --git a/src/parse_ast.ml b/src/parse_ast.ml
index d845265f..3969663a 100644
--- a/src/parse_ast.ml
+++ b/src/parse_ast.ml
@@ -424,7 +424,7 @@ type mpat_aux =  (* Mapping pattern. Mostly the same as normal patterns but only
  | MP_lit of lit
  | MP_id of id
  | MP_app of id * ( mpat) list
- | MP_record of ( fpat) list * bool
+ | MP_record of ( mfpat) list * bool
  | MP_vector of ( mpat) list
  | MP_vector_concat of ( mpat) list
  | MP_tup of ( mpat) list
@@ -435,6 +435,12 @@ type mpat_aux =  (* Mapping pattern. Mostly the same as normal patterns but only
 and mpat =
  | MP_aux of ( mpat_aux) * l
 
+and mfpat_aux =  (* Mapping field pattern, why does this have to exist *)
+ | MFP_mpat of id * mpat
+
+and mfpat =
+ | MFP_aux of mfpat_aux * l
+
 type mpexp_aux =
  | MPat_pat of ( mpat)
  | MPat_when of ( mpat) * ( exp)
-- 
cgit v1.2.3