From 1e03bdf0b6f423870abcf5e54ae7f2bdf08e3e49 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 17 Jul 2008 10:13:18 -0400 Subject: Explifying (non-mutual) 'val rec' --- src/expl_env.sml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/expl_env.sml') diff --git a/src/expl_env.sml b/src/expl_env.sml index b9c95605..1871e560 100644 --- a/src/expl_env.sml +++ b/src/expl_env.sml @@ -240,6 +240,7 @@ fun declBinds env (d, _) = case d of DCon (x, n, k, c) => pushCNamed env x n k (SOME c) | DVal (x, n, t, _) => pushENamed env x n t + | DValRec vis => foldl (fn ((x, n, t, _), env) => pushENamed env x n t) env vis | DSgn (x, n, sgn) => pushSgnNamed env x n sgn | DStr (x, n, sgn, _) => pushStrNamed env x n sgn | DFfiStr (x, n, sgn) => pushStrNamed env x n sgn -- cgit v1.2.3