Mercurial > urweb

diff src/expl_print.sml @ 1278:cd8d2c73ccf4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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,