GHC编译为.o和.hi，但没有可执行文件

GHC是Glasgow Haskell Compiler的缩写，是Haskell编程语言的一种编译器。在编译Haskell程序时，GHC会生成两种文件：.o和.hi。

1. .o文件（Object File）：.o文件是编译后的目标文件，它包含了编译后的机器代码。这些机器代码是针对特定平台的，可以被链接器进一步处理以生成可执行文件。.o文件可以被多个模块共享，以提高编译效率。
2. .hi文件（Interface File）：.hi文件是编译后的接口文件，它包含了模块的接口信息，包括类型定义、函数签名等。.hi文件可以被其他模块引用，以便在编译时进行类型检查和函数调用等操作。

由于Haskell是一种静态类型语言，编译器在编译过程中需要进行类型推导和类型检查等操作。.hi文件提供了模块的接口信息，使得编译器可以在编译其他模块时进行类型检查和函数调用的验证。

在没有可执行文件的情况下，可能是因为编译过程中出现了错误或警告，导致最终的链接阶段没有生成可执行文件。可以通过查看编译器的输出信息来确定具体的问题所在，并进行相应的修复。

腾讯云提供了一系列与云计算相关的产品，包括云服务器、云数据库、云存储等。这些产品可以帮助用户快速搭建和管理云计算环境，提供稳定可靠的基础设施支持。具体推荐的腾讯云产品和产品介绍链接地址可以根据实际需求和场景进行选择。