Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
1277:1e6a4f9d3e4a | 1278:cd8d2c73ccf4 |
---|---|
1 (* Copyright (c) 2008, Adam Chlipala | 1 (* Copyright (c) 2008-2010, Adam Chlipala |
2 * All rights reserved. | 2 * All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions are met: | 5 * modification, are permitted provided that the following conditions are met: |
6 * | 6 * |
64 val lookupStrNamed : env -> int -> string * Expl.sgn | 64 val lookupStrNamed : env -> int -> string * Expl.sgn |
65 | 65 |
66 val declBinds : env -> Expl.decl -> env | 66 val declBinds : env -> Expl.decl -> env |
67 val sgiBinds : env -> Expl.sgn_item -> env | 67 val sgiBinds : env -> Expl.sgn_item -> env |
68 | 68 |
69 val patBinds : env -> Expl.pat -> env | |
70 | |
69 end | 71 end |