Replace ghcError with throwGhcException #612