AI-written Haskell Compiler (aihc)

Can gpt, Claude Opus and Qwen-Coder write a Haskell compiler? Probably not but let's find out. We'll need preprocessing, parsing, name resolution, type checking, desugaring, and code generation. Progress will be tracked as a percentage of stackage for each component.

Find more information here:

• aihc-cpp README
• aihc-parser README - Supported extensions
• aihc-resolve README - Supported extensions
• aihc-tc README - Supported extensions

Progress

Name	Progress
TypeCheck Stackage	84/3427 (2.45%) ○○○○○
Resolve Stackage	241/3427 (7.03%) ○○○○○
aihc-prim / ghc-prim	52/3425 (1.52%) ○○○○○
aihc-base / base	450/10057 (4.47%) ○○○○○
TypeCheck Tests	29/39 (74.35%) ●●●○○
Resolve Tests	44/45 (97.77%) ●●●●○

Lines of code

| Component    |   Code |   Tests |   Total |
|--------------|--------|---------|---------|
| aihc-amd64   |   2175 |     833 |    3008 |
| aihc-arm64   |   2066 |     917 |    2983 |
| aihc-fc      |   5953 |    1598 |    7551 |
| aihc-grin    |   5692 |    2516 |    8208 |
| aihc-llvm    |   1877 |     454 |    2331 |
| aihc-native  |   3312 |     389 |    3701 |
| aihc-resolve |   2444 |    1644 |    4088 |
| aihc-tc      |   8876 |    3423 |   12299 |
| aihc-wasm    |   2139 |     717 |    2856 |
| **Total**    |  34534 |   12491 |   47025 |

Useful Commands

Run the full test suite:

just check

Run the full test suite in a hermetic build environment (slower than just check):

nix flake check