Mercurial > urweb
diff src/expl_env.sig @ 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 | 354800878b4d |
children |
line wrap: on
line diff
--- a/src/expl_env.sig Sun Jun 13 10:55:20 2010 -0400 +++ b/src/expl_env.sig 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 @@ -66,4 +66,6 @@ val declBinds : env -> Expl.decl -> env val sgiBinds : env -> Expl.sgn_item -> env + val patBinds : env -> Expl.pat -> env + end