1
1
mirror of https://github.com/github/semantic.git synced 2024-12-27 08:54:14 +03:00
Commit Graph

31442 Commits

Author SHA1 Message Date
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
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
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
Patrick Thomson
7db0a6e61c hlint 2019-10-31 14:17:45 -04:00
Patrick Thomson
c21828efc2 More unused imports. 2019-10-31 13:57:47 -04:00
Rob Rix
df54afcb56
Merge branch 'play-nice-with-ghcide' into multi-component-repl 2019-10-30 16:36:06 -04:00
Rob Rix
733a0a4628
Revert "Build both static & dynamic files so we don’t have to live in a separate build dir."
This reverts commit 47b0dac3d8.
2019-10-30 16:34:16 -04:00
Rob Rix
ade87132f6
Clarify why these things are in this file. 2019-10-30 16:27:54 -04:00
Rob Rix
47b0dac3d8
Build both static & dynamic files so we don’t have to live in a separate build dir. 2019-10-30 16:25:57 -04:00
Rob Rix
abd8216865
$0 2019-10-30 16:11:33 -04:00
Rob Rix
381728a418
Note why we’re using a separate directory. 2019-10-30 16:10:40 -04:00
Rob Rix
105c0362dc
Add the app component’s path. 2019-10-30 16:09:02 -04:00
Rob Rix
d99fe09cdb
Usage for script/repl. 2019-10-30 16:08:42 -04:00
Rob Rix
3205826b25
Move the proposed additions to the .ghci file. 2019-10-30 16:05:49 -04:00
Rob Rix
b74256fb85
Move the .ghci file so it doesn’t affect cabal repl. 2019-10-30 16:05:22 -04:00
Rob Rix
5d361fc8ed
Comments. 2019-10-30 16:03:38 -04:00
Rob Rix
9beb6d5941
🔥 -j. 2019-10-30 16:01:41 -04:00
Rob Rix
b6b00a8444
Note why these aren’t in script/repl. 2019-10-30 16:00:20 -04:00
Rob Rix
08f10ee16d
Add some setup instructions. 2019-10-30 15:59:30 -04:00
Rob Rix
5d3c4aa359
Propose some language extensions. 2019-10-30 15:59:14 -04:00
Rob Rix
b6a9682d36
Propose some more flags. 2019-10-30 15:52:06 -04:00
Rob Rix
cb7e6b6b5b
Spacing. 2019-10-30 15:50:07 -04:00
Rob Rix
f8b119598d
Add back in the pretty-printing stuff but tell people to put it in their own .ghci files. 2019-10-30 15:49:55 -04:00
Rob Rix
186ed4b74c
Turn off -Werror in the repl. 2019-10-30 15:45:45 -04:00
Rob Rix
df9e7fa1b2
Note how we came by this. 2019-10-30 15:44:58 -04:00
Rob Rix
f9bbcb3b64
Comment the .ghci file 2019-10-30 15:44:03 -04:00
Patrick Thomson
b91fbf065e Remove unused import and sort them. 2019-10-30 15:43:32 -04:00
Rob Rix
cab72daf15
:fire 2019-10-30 15:40:51 -04:00
Rob Rix
e58bb8825f
Enable StrictData. 2019-10-30 15:36:32 -04:00
Rob Rix
3e0a968635
Set the output, o, hi, and stub dirs to dist-repl. 2019-10-30 15:34:29 -04:00
Rob Rix
f71ad89725
Use dist-repl import paths. 2019-10-30 15:34:18 -04:00
Rob Rix
c53e18e263
Add a .ghci file configured to set up the project loading &c. 2019-10-30 15:18:56 -04:00
Rob Rix
73badce74d
Add a script to run ghci. 2019-10-30 15:18:43 -04:00
Patrick Thomson
80587be6cc Adjust prelude definitions since we can't yet assign to slots. 2019-10-30 15:13:34 -04:00