Fix typecheck.sh Haskell support

t-528·WorkTask·
·
·
Created3 weeks ago·Updated3 weeks ago

Description

Edit

typecheck.sh has Haskell support but it doesn't work - GHC can't find standard library modules.

**Error when running typecheck.sh Omni/Agent/Telegram.hs:**

Could not find module 'Data.Char'
There are files missing in the 'base-4.18.2.1' package

Root cause: The repl.sh --cmd path sets up a nix-shell with GHC and packages, but GHC inside still can't find its own standard library. The environment provisioning is broken.

Current implementation (typecheck.sh line 28-31):

hs)
    repl.sh --cmd "ghc -fno-code -i${CODEROOT:?} $target" "$target"
    ;;

Possible fixes: 1. Use ghci instead of ghc (ghci seems to work better in nix-shell) 2. Fix the nix-shell expression to properly expose GHC's package database 3. Use a different approach like nix-build with --no-out-link just to typecheck 4. Investigate why haskell.ghcWith doesn't set up the package DB correctly

Fast typechecking would significantly speed up Haskell development iteration.

Timeline (1)

🔄[human]Open → Done3 weeks ago