1cradle: 2 bios: 3 shell: 4 echo "-Wall" >> %HIE_BIOS_OUTPUT% 5 echo "A" >> %HIE_BIOS_OUTPUT% 6 echo "B" >> %HIE_BIOS_OUTPUT% 7 with-ghc: myGhc 8