diff options
author | Adam Chlipala <adam@chlipala.net> | 2018-06-06 15:17:16 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2018-06-06 15:17:16 -0400 |
commit | 3ec6cf1b77e37e72ef4a145945fc01aabea59225 (patch) | |
tree | c71ccb0a96ee2511163425e3f92108ad19b42b33 /src/elab_env.sml | |
parent | e626ef35ebd7d79a820ead03a8d30d5ee090671c (diff) |
Properly populate set of type classes when reusing a module from the type-inference cache
Diffstat (limited to 'src/elab_env.sml')
-rw-r--r-- | src/elab_env.sml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |