From fdce2b90afbf31a31b312e52c0fc97434e9638a8 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Jun 2010 14:13:06 -0400
Subject: Catch a missed ReduceLocal of field projection annotations

---
 src/reduce_local.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/reduce_local.sml')

diff --git a/src/reduce_local.sml b/src/reduce_local.sml
index 1be2b14b..9370c95b 100644
--- a/src/reduce_local.sml
+++ b/src/reduce_local.sml
@@ -286,12 +286,12 @@ fun exp env (all as (e, loc)) =
       | EKAbs (x, e) => (EKAbs (x, exp env e), loc)
 
       | ERecord xcs => (ERecord (map (fn (x, e, t) => (con env x, exp env e, con env t)) xcs), loc)
-      | EField (e, c, others) =>
+      | EField (e, c, {field = f, rest = r}) =>
         let
             val e = exp env e
             val c = con env c
 
-            fun default () = (EField (e, c, others), loc)
+            fun default () = (EField (e, c, {field = con env f, rest = con env r}), loc)
         in
             case (#1 e, #1 c) of
                 (ERecord xcs, CName x) =>
-- 
cgit v1.2.3