Handle whitespace / etc in ghci script #1401
Handle whitespace / etc in ghci script #1401

mrkkrp/stack,luigy/stack,rvion/stack,rubik/stack,juhp/stack,juhp/stack,harendra-kumar/stack,mrkkrp/stack,deech/stack,anton-dessiatov/stack,achernyak/stack,luigy/stack,deech/stack,martin-kolinek/stack,MichielDerhaeg/stack,narrative/stack,phadej/stack,AndrewRademacher/stack,anton-dessiatov/stack,AndreasPK/stack,Heather/stack,phadej/stack,Heather/stack,MichielDerhaeg/stack,keent/stack,achernyak/stack,sjakobi/stack,narrative/stack,sjakobi/stack,rvion/stack,keent/stack,martin-kolinek/stack,Fuuzetsu/stack,Fuuzetsu/stack,AndreasPK/stack,Blaisorblade/stack,harendra-kumar/stack,rubik/stack,AndrewRademacher/stack,Blaisorblade/stack