github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-28 09:21:35 +03:00
Code Issues Projects Releases Wiki Activity
31,693 Commits 19 Branches 16 Tags 46 MiB
abcca95a54
Commit Graph

31693 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Thomson
f2f5eccdeb Add Control.Effect.Sum.Project. 
Fixes #289.
 2019-11-08 12:20:43 -05:00
Patrick Thomson
b60491714f Fix type errors in Interpose before porting over prj. 2019-11-08 12:16:10 -05:00
Patrick Thomson
c06873bedb Port Control.Abstract.Evaluator to FE1. 2019-11-08 12:14:33 -05:00
Patrick Thomson
e3db8c1224 Add fused-effects-resumable as a dependency. 2019-11-08 12:14:22 -05:00
Patrick Thomson
e74183c285 Port Java tagging to FE1. 2019-11-08 12:06:48 -05:00
Patrick Thomson
7acd177fa7 Port Python tagging to FE1. 2019-11-08 12:04:52 -05:00
Patrick Thomson
fbea9072f8 Port Python compiler to use Has. 2019-11-08 12:03:10 -05:00
Patrick Thomson
f65faec2a8 Track a local tree-sitter so this starts building. 2019-11-08 12:00:46 -05:00
Patrick Thomson
9fb876be84 Port over RightModule definitions for Core and Ann. 2019-11-08 10:36:43 -05:00
Patrick Thomson
a11462dc13 PureC is gone. 2019-11-08 10:27:50 -05:00
Patrick Thomson
0ceba4a160 Ensure Readline is an HFunctor. 2019-11-08 10:24:54 -05:00
Patrick Thomson
f1a5f0439d Fix state type in concrete analysis. 2019-11-08 10:24:18 -05:00
Patrick Thomson
df98749bd0 Fix Analysis.ImportGraph. 2019-11-08 10:23:39 -05:00
Patrick Thomson
e6bf975ee8 Fix state type in runFile. 2019-11-08 10:22:58 -05:00
Patrick Thomson
cac8047ee0 Fix Typecheck analysis. 
Had to write this RightModule instance by hand. It typechecks, so I
guess it works?
 2019-11-08 10:21:48 -05:00
Patrick Thomson
3feec0e5ee Correct Algebra instance for FailC. 2019-11-08 10:16:34 -05:00
Patrick Thomson
e041d2440d 🔥 state types in FlowInsensitive. 2019-11-08 10:16:20 -05:00
Patrick Thomson
edc1894299 Pin to correct fused-syntax and fused-exceptions. 2019-11-08 10:14:54 -05:00
Patrick Thomson
35ea116f00 Bump various FE dependencies from 0.5 to 1.0. 2019-11-07 15:48:57 -05:00
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