Repl command suffix

[edmundnoble]

Allow the user to specify arbitrary options at the end of the command for starting the REPL. Seems a bit dirty to me, not sure of what refactoring would make this nicer.

Fixes #33.

[dramforever]

It's good that the user can configure, but I'm considering that maybe we should let the user fully configure the entire command line. Basically I want to make this part better:

vscode-ghc-simple/src/session.ts

Lines 33 to 54 in 8d2ba7c

	if (wst == 'stack') {
	const result = await new Promise<string>((resolve, reject) => {
	child_process.exec(
	'stack ide targets',
	this.cwdOption,
	(err, stdout, stderr) => {
	if (err) reject('Command stack ide targets failed:\n' + stderr);
	else resolve(stderr);
	}
	)
	});
	return ['stack', 'repl', '--no-load'].concat(result.match(/^[^\s]+$/gm));
	} else if (wst == 'cabal')
	return ['cabal', 'repl'];
	else if (wst == 'cabal new')
	return ['cabal', 'new-repl'];
	else if (wst == 'cabal v2')
	return ['cabal', 'v2-repl'];
	else if (wst == 'bare-stack')
	return ['stack', 'exec', 'ghci'];
	else if (wst == 'bare')
	return ['ghci'];

[edmundnoble]

Agreed. I think Nix users would like that particularly. Will do.

[edmundnoble]

Actually, you know what; I think it would be nice to have both an "append options" and a "raw command" option. In particular this is because you might have multiple projects with different (even slightly different) build commands so detection is nice, but having common suffixes (project suffixes, or optimization or profiling flags). Let me know what you think.