@@ -222,12 +222,12 @@ createTemporaryModule exec PSCiState{psciImportedModules = imports, psciLetBindi
222-- Makes a volatile module to hold a non-qualified type synonym for a fully-qualified data type declaration.
222-- Makes a volatile module to hold a non-qualified type synonym for a fully-qualified data type declaration.
224createTemporaryModuleForKind :: PSCiState -> P.Type -> P.Module
224createTemporaryModuleForKind :: PSCiState -> P.Type -> P.Module
225−createTemporaryModuleForKind PSCiState{psciImportedModules = imports} typ =
225+createTemporaryModuleForKind PSCiState{psciImportedModules = imports, psciLetBindings = lets} typ =
227 moduleName = P.ModuleName [P.ProperName "$PSCI"]
227 moduleName = P.ModuleName [P.ProperName "$PSCI"]
228 itDecl = P.TypeSynonymDeclaration (P.ProperName "IT") [] typ
228 itDecl = P.TypeSynonymDeclaration (P.ProperName "IT") [] typ
230− P.Module [] moduleName ((importDecl `map` imports) ++ [itDecl]) Nothing
230+ P.Module [] moduleName ((importDecl `map` imports) ++ lets ++ [itDecl]) Nothing
233-- Makes a volatile module to execute the current imports.
233-- Makes a volatile module to execute the current imports.