Mercurial > urweb
diff src/mono_env.sml @ 288:4260ad920c36
Converting string to int
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 11:33:13 -0400 |
parents | 09c66a30ef32 |
children | e976b187d73a |
line wrap: on
line diff
--- a/src/mono_env.sml Sun Sep 07 10:52:51 2008 -0400 +++ b/src/mono_env.sml Sun Sep 07 11:33:13 2008 -0400 @@ -118,5 +118,7 @@ | PCon (_, _, NONE) => env | PCon (_, _, SOME p) => patBinds env p | PRecord xps => foldl (fn ((_, p, _), env) => patBinds env p) env xps + | PNone _ => env + | PSome (_, p) => patBinds env p end