Mercurial > urweb

comparison src/mono_env.sml @ 567:1901db85acb4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of JsComp
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 14:19:21 -0500
parents e976b187d73a
children 162d5308e34f
comparison
equal deleted inserted replaced
566:a152905c3c3b 567:1901db85acb4
120 | PCon (_, _, SOME p) => patBinds env p 120 | PCon (_, _, SOME p) => patBinds env p
121 | PRecord xps => foldl (fn ((_, p, _), env) => patBinds env p) env xps 121 | PRecord xps => foldl (fn ((_, p, _), env) => patBinds env p) env xps
122 | PNone _ => env 122 | PNone _ => env
123 | PSome (_, p) => patBinds env p 123 | PSome (_, p) => patBinds env p
124 124
125 fun patBindsN (p, loc) =
126 case p of
127 PWild => 0
128 | PVar _ => 1
129 | PPrim _ => 0
130 | PCon (_, _, NONE) => 0
131 | PCon (_, _, SOME p) => patBindsN p
132 | PRecord xps => foldl (fn ((_, p, _), count) => count + patBindsN p) 0 xps
133 | PNone _ => 0
134 | PSome (_, p) => patBindsN p
135
125 end 136 end