Mercurial > urweb
diff src/expl_print.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 | 56bd4a4f6e66 |
children | b4480a56cab7 |
line wrap: on
line diff
--- a/src/expl_print.sml Sun Jun 13 10:55:20 2010 -0400 +++ b/src/expl_print.sml Sun Jun 13 14:13:06 2010 -0400 @@ -1,4 +1,4 @@ -(* Copyright (c) 2008, Adam Chlipala +(* Copyright (c) 2008-2010, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -422,7 +422,7 @@ space, string "=>", space, - p_exp env e]) pes]) + p_exp (E.patBinds env p) e]) pes]) | ELet (x, t, e1, e2) => box [string "let", space,