ghc-compiler-python 9.4.9

Native GHC 9.4.8 compiler and Cabal 3.10.3.0 tooling packaged as an isolated Python Wheel

⚡ GHC Compiler Python

The bridge between Haskell and Python

The first pip-installable Glasgow Haskell Compiler — one command, three platforms, the full toolchain

---

📜 About

A Haskell toolchain is normally installed by its own ecosystem installer, which writes to ~/.ghc, ~/.cabal and the system PATH. That is awkward inside a Python project, hostile inside CI, and impossible where the global state is not yours to change.

GHC Compiler Python delivers GHC through the packaging mechanism Python already has. The compiler lives inside the environment, the wrappers sterilize the environment before every call, and removing the environment removes the toolchain.

• ✅ pip install ghc-compiler-python
• ✅ Windows · macOS · Linux
• ✅ Full GHC 9.4.8 compiler
• ✅ Complete Cabal 3.10.3.0 support
• ✅ Any AI with Python execution can now compile Haskell

---

🚀 Installation

pip install ghc-compiler-python

The PyPI package is ~17 KiB. It fetches the toolchain for your platform on first use and verifies it against a SHA-256 digest embedded in the wheel — a tampered or truncated download cannot install.

📦 Offline / air-gapped

Self-contained wheels with the toolchain already bundled live on the releases page. These never contact the network:

pip install ghc_compiler_python-9.4.9-py3-none-manylinux_2_38_x86_64.manylinux_2_39_x86_64.whl   # Linux
pip install ghc_compiler_python-9.4.9-py3-none-macosx_11_0_arm64.whl       # macOS
pip install ghc_compiler_python-9.4.9-py3-none-win_amd64.whl               # Windows

The Linux offline wheel carries the tags manylinux_2_38 and manylinux_2_39, so it installs on glibc 2.38 or newer. That floor is not chosen — auditwheel derives it by inspecting the versioned symbols the binaries actually reference. A tag lower than the binaries support would install on systems where the toolchain then fails at runtime, so the build states what is true rather than what would be convenient. On older distributions use the thin wheel; its payload is a plain tarball and carries no such constraint.

🔧 Requirements

🐍 Python	>= 3.10
🔗 C-Linker	gcc or clang on the host
🐧 Linux	sudo apt-get install gcc
🍎 macOS	xcode-select --install
🪟 Windows	MinGW-w64 or MSYS2

⚙️ Configuration

Variable	Effect
GHC_COMPILER_PYTHON_HOME	Where the toolchain is cached. Defaults to the platform cache directory.
GHC_COMPILER_PYTHON_OFFLINE	Set to 1 to refuse network access entirely.

---

💻 Usage

# Compile a Haskell file
ghc-wrapper Main.hs

# Launch GHCi
ghci-wrapper

# Build a Cabal project
cabal-wrapper build

Wrappers sterilize the environment on every call, so a global ~/.ghc/ or GHC_PACKAGE_PATH cannot leak into your build.

Resolution is hermetic: a GHC already on your PATH is deliberately ignored, so you always get the pinned 9.4.8 rather than whatever the host happens to have.

---

🖥️ Supported Platforms

OS	Architecture	Toolchain
🐧 Linux	x86_64	GHC 9.4.8 · Cabal 3.10.3.0
🍎 macOS	ARM64 (Apple Silicon)	GHC 9.4.8 · Cabal 3.10.3.0
🪟 Windows	x86_64	GHC 9.4.8 · Cabal 3.10.3.0

Every release is proven on all three: each platform installs the wheel, compiles a Haskell program, runs it, and asserts its output — and checks the reported compiler is the pinned 9.4.8 — before anything is published. Builds ≠ installs ≠ compiles ≠ delivered.

---

📐 What is proved, not merely tested

Some properties must hold for every input, not for the inputs a test happens to supply. Those are proved in Lean 4 — machine-checked, zero sorry, verified in CI.

theorem payloadKey_injective (p q : Platform) : payloadKey p = payloadKey q → p = q
theorem no_partial_state (s : CacheState) (steps : List Step) : ...
theorem no_escape_without_dotdot : ∀ member base, ¬ member.contains ".." → isWithin base member

Injective — no two platforms share a payload identity, so one platform can never run another's binaries. Atomic — under any interleaving, the cache is observable only as absent or complete, never half-installed. Contained — an archive member without .. cannot escape the destination, for any base and any depth.

---

📊 What is in the payload

Measured from the real 9.4.8 distribution — 9,870 entries, 2,017 MB extracted:

Component	Size	Share	Kept
Profiling libraries	602 MB	29.9%	❌
Documentation / haddock	580 MB	28.7%	❌
Static archives	331 MB	16.4%	✅
Shared objects	174 MB	8.6%	✅
Executables	165 MB	8.2%	✅
Interface files (static)	82 MB	4.1%	✅
Interface files (dynamic)	82 MB	4.1%	✅
Other	1 MB	0.1%	✅
Total	2,017 MB	100.0%

Removing the first two: 2,017 → 863 MB extracted, 164 → 91 MB compressed. Linking is static by default, GHCi and TemplateHaskell load the shared objects, and imports cannot resolve without interface files — so those stay. Restore the rest with GHC_KEEP_PROFILING=1 or GHC_KEEP_DOCS=1.

---

🤝 Contributing

Area	How you can help
💻 Code	Platform support, packaging, wrapper robustness
🧪 Testing	Try it on your distribution and report what breaks
📐 Proofs	Extend the Lean 4 formalization
📖 Documentation	Improve guides and examples
💡 Ideas	Tell us what a pip-installable compiler should do next

See ARCHITECTURE.md for how delivery works and why.

---

📄 License

MIT License. See LICENSE for details.

---

⚡ GHC Compiler Python

One command. Three platforms. The full Haskell toolchain.

PyPI · Releases · Issues

© 2026 Nova-Violet Role · Non-Profit Organization

Created with ❤️ for the advancement of human understanding