@@ -261,7 +261,7 @@ createTemporaryModule exec PSCiState{psciImportedModuleNames = imports, psciLetB
261261-- Makes a volatile module to hold a non-qualified type synonym for a fully-qualified data type declaration.
262262--
263263createTemporaryModuleForKind :: PSCiState -> P.Type -> P.Module
264−createTemporaryModuleForKind PSCiState{psciImportedModuleNames = imports, psciLetBindings = lets} typ =
264+createTemporaryModuleForKind PSCiState{psciImportedModuleNames = imports} typ =
265265 let
266266 moduleName = P.ModuleName [P.ProperName "Main"]
267267 importDecl m = P.ImportDeclaration m Nothing Nothing
@@ -320,11 +320,11 @@ handleKindOf typ = do
320320 e <- psciIO . runMake $ P.make modulesDir options (psciLoadedModules st ++ [("Main.purs", m)])
321321 case e of
322322 Left err -> PSCI $ outputStrLn err
323− Right env' -> -- P.types env' M.Map (Qualified ProperName) ([String], Type)
323+ Right env' ->
324324 case M.lookup (P.Qualified (Just mName) $ P.ProperName "IT") (P.typeSynonyms env') of
325325 Just (_, typ') -> do
326− let st = P.CheckState env' 0 0 (Just mName)
327− k = L.runStateT (P.unCheck (P.kindOf mName typ')) st
326+ let chk = P.CheckState env' 0 0 (Just mName)
327+ k = L.runStateT (P.unCheck (P.kindOf mName typ')) chk
328328 case k of
329329 Left errStack -> PSCI . outputStrLn . P.prettyPrintErrorStack False $ errStack
330330 Right (kind, _) -> PSCI . outputStrLn . P.prettyPrintKind $ kind