@echo off where ghc.exe >nul 2>nul if errorlevel 1 call choco install ghc -y & call %~dp0\v-choco-refreshenv ghc.exe %*