summaryrefslogtreecommitdiff
path: root/src/tag.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/tag.sml')
-rw-r--r--src/tag.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tag.sml b/src/tag.sml
index e451281a..301e0977 100644
--- a/src/tag.sml
+++ b/src/tag.sml
@@ -132,6 +132,7 @@ fun tag file =
case d of
DCon (_, n, _, _) => Int.max (n, count)
| DVal (_, n, _, _, _) => Int.max (n, count)
+ | DValRec vis => foldl (fn ((_, n, _, _, _), count) => Int.max (n, count)) count vis
| DExport _ => count) 0 file
fun doDecl (d as (d', loc), (env, count, tags, byTag)) =