31674 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Patrick Thomson	593eb129b6	Track TS upstream. So many dependencies!	2019-11-07 15:47:11 -05:00
Patrick Thomson	405c49d806	Merge pull request #368 from github/release-0.9.0.0 ... Bump version to 0.9.0.0.	2019-11-07 15:02:04 -05:00
Patrick Thomson	34f14abdb5	Merge remote-tracking branch 'origin/master' into release-0.9.0.0	2019-11-07 14:10:33 -05:00
Patrick Thomson	9855903e1f	Merge pull request #377 from github/sha-sha-sha-cha-cha-cha ... Embed SHA in Docker builds by passing it in as an environment variable.	2019-11-07 13:59:28 -05:00
Rob Rix	cef6893a73	Merge pull request #374 from github/multi-component-ghcide-setup ... Multi component ghcide setup	2019-11-07 13:32:20 -05:00
Timothy Clem	8f4d405070	Various versions of sed and prompt before push	2019-11-07 10:00:01 -08:00
Timothy Clem	cd92228d1e	Merge remote-tracking branch 'origin/master' into sha-sha-sha-cha-cha-cha	2019-11-07 09:25:07 -08:00
Timothy Clem	1ab38e297a	Try a different approach for embedding the git commit sha	2019-11-06 16:20:14 -08:00
Patrick Thomson	eb989d2c3f	Bump versions.	2019-11-06 15:01:42 -05:00
Patrick Thomson	0f8fd5be35	Merge remote-tracking branch 'origin/master' into fused-effects-one-dot-zero	2019-11-06 14:13:02 -05:00
Patrick Thomson	2175bbb443	Merge pull request #376 from github/expose-diff-graph ... Expose diffGraph again	2019-11-06 11:02:34 -05:00
Timothy Clem	6825316011	Expose diffGraph again	2019-11-05 14:31:16 -08:00
Patrick Thomson	f0956624a0	closer	2019-11-04 14:33:57 -05:00
Patrick Thomson	52d021bcd6	First attempt.	2019-11-01 14:40:07 -04:00
Rob Rix	7662ee75f1	Take care not to load semantic-source twice.	2019-11-01 13:44:57 -04:00
Rob Rix	110b1b69e8	Make the output dirs relative to the ghc version.	2019-11-01 12:02:12 -04:00
Rob Rix	8ef9e1434e	Make the output dirs relative to the builddir.	2019-11-01 12:01:42 -04:00
Rob Rix	d41961f193	Move the build products dirs into script/ghci-flags.	2019-11-01 12:01:14 -04:00
Rob Rix	9a212db623	Note why the remaining flags aren’t in script/ghci-flags.	2019-11-01 11:59:44 -04:00
Rob Rix	88545759fc	Don’t ignore .ghci when using script/repl.	2019-11-01 11:59:30 -04:00
Rob Rix	09568bdbd5	Use script/ghci-flags from script/repl.	2019-11-01 11:59:04 -04:00
Rob Rix	978beb7a11	Revert "Echo any remaining args." ... This reverts commit fbe02dab64.	2019-11-01 11:52:32 -04:00
Rob Rix	fbe02dab64	Echo any remaining args.	2019-11-01 11:50:51 -04:00
Rob Rix	e6fc10b293	Work relative to a builddir.	2019-11-01 11:50:45 -04:00
Rob Rix	c9cbc83ae3	Don’t forget app.	2019-11-01 11:38:41 -04:00
Rob Rix	90bf61dede	Warnings are warnings.	2019-11-01 11:35:35 -04:00
Rob Rix	3f69e09314	Enable strict data, in case it ever matters.	2019-11-01 11:35:07 -04:00
Rob Rix	2a13455080	Merge pull request #373 from github/multi-component-repl ... Multi component repl	2019-11-01 11:19:23 -04:00
Rob Rix	2541955634	Tell hie-bios about the dependencies.	2019-11-01 11:16:45 -04:00
Rob Rix	547617a3b9	Add a script to compute the files to watch for changes to the packages.	2019-11-01 11:16:30 -04:00
Rob Rix	1e0ec64731	Add a hie.yaml using the ghci flags script.	2019-11-01 11:12:10 -04:00
Rob Rix	63f9cdb0e7	Un-ignore hie.yaml.	2019-11-01 11:12:03 -04:00
Rob Rix	b2c8fd92da	Don’t pass --interactive.	2019-11-01 11:05:06 -04:00
Rob Rix	ddff669740	Run the rest of it out of the cabal exec.	2019-11-01 11:02:44 -04:00
Rob Rix	35270bedde	Gather all the flags.	2019-11-01 11:01:17 -04:00
Rob Rix	4e17878d01	Stub in a script to return the flags for ghci.	2019-11-01 10:32:24 -04:00
Rob Rix	76833768a4	Enable pretty-printing immediately.	2019-11-01 09:58:22 -04:00
Rob Rix	d030f028da	Ignore pretty-simple before loading it to avoid multiple loaded copies.	2019-11-01 09:58:14 -04:00
Rob Rix	055c8424ee	Rewrite the ghci section.	2019-11-01 09:38:52 -04:00
Rob Rix	6863b55dc0	Simplify the threadscope steps.	2019-11-01 09:38:07 -04:00
Rob Rix	66c1abd529	Promote the threadscope section out of the ghci section.	2019-11-01 09:38:01 -04:00
Rob Rix	5c8bc7846a	Remove some stuff.	2019-11-01 09:37:52 -04:00
Rob Rix	51884e68dd	Fix a typo.	2019-11-01 09:10:49 -04:00
Rob Rix	a637e6e5a8	🔥 a redundant link.	2019-11-01 09:03:56 -04:00
Rob Rix	2d04c23491	Ignore .ghci.	2019-11-01 09:02:45 -04:00
Rob Rix	2214adb460	Rename ghci.default to ghci.sample.	2019-11-01 09:00:16 -04:00
Rob Rix	3710150717	Uncomment the proposed .ghci file.	2019-11-01 08:46:43 -04:00
Rob Rix	7b6e3a5d02	Rename .ghci to .ghci.default.	2019-11-01 08:45:47 -04:00
Patrick Thomson	1f796bdad6	Merge pull request #369 from github/play-nice-with-ghcide ... Play nice with ghcide	2019-10-31 14:25:59 -04:00
Patrick Thomson	ab3bace35d	Merge pull request #370 from github/concrete-python-tests ... Add Check-Result directive for querying Python concrete evaluation.	2019-10-31 14:25:10 -04:00