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