From 3ec6cf1b77e37e72ef4a145945fc01aabea59225 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 6 Jun 2018 15:17:16 -0400 Subject: Properly populate set of type classes when reusing a module from the type-inference cache --- src/elab_env.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/elab_env.sml b/src/elab_env.sml index 8402bcba..0474bf7c 100644 --- a/src/elab_env.sml +++ b/src/elab_env.sml @@ -1663,7 +1663,7 @@ fun declBinds env (d, loc) = | DVal (x, n, t, _) => pushENamedAs env x n t | DValRec vis => foldl (fn ((x, n, t, _), env) => pushENamedAs env x n t) env vis | DSgn (x, n, sgn) => pushSgnNamedAs env x n sgn - | DStr (x, n, sgn, _) => pushStrNamedAs' false env x n sgn + | DStr (x, n, sgn, _) => pushStrNamedAs env x n sgn | DFfiStr (x, n, sgn) => pushStrNamedAs' false env x n sgn | DConstraint _ => env | DExport _ => env -- cgit v1.2.3