Mercurial > urweb
comparison src/mono_env.sml @ 567:1901db85acb4
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 |