Mercurial > urweb
diff src/reduce_local.sml @ 1278:cd8d2c73ccf4
Catch a missed ReduceLocal of field projection annotations
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Jun 2010 14:13:06 -0400 |
parents | 5b5c0b552f59 |
children | 3b22c3c67f35 |
line wrap: on
line diff
--- a/src/reduce_local.sml Sun Jun 13 10:55:20 2010 -0400 +++ b/src/reduce_local.sml Sun Jun 13 14:13:06 2010 -0400 @@ -286,12 +286,12 @@ | 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) =>