Take away XXXs in GADT records related code that are no longer TODOs.
[ghc-hetmet.git] / driver / ghci / ghci.sh
1 # Mini-driver for GHCi
2 exec $GHCBIN $TOPDIROPT --interactive ${1+"$@"}