github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00
Code Issues Projects Releases Wiki Activity
34,173 Commits 19 Branches 16 Tags 46 MiB
79e34ea1e7
Commit Graph

34173 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
79e34ea1e7
Give fixity & precedence for .=. 2021-07-28 14:54:12 -04:00
Rob Rix
3062b20aae
Bring over the Store effect. 2021-07-28 14:53:36 -04:00
Rob Rix
d1d349ec16
Define a module for a Store effect. 2021-07-28 14:51:54 -04:00
Rob Rix
4115251fff
File holds a Reference. 2021-07-28 14:47:38 -04:00
Rob Rix
2422a57215
Rename the WithLoc module. 2021-07-28 14:38:05 -04:00
Rob Rix
27b2b86f1e
Move Reference into its own module. 2021-07-28 14:36:21 -04:00
Rob Rix
306239fb88
Define a module for Reference. 2021-07-28 14:31:45 -04:00
Rob Rix
dd7319dcc9
Pass references around. 2021-07-28 14:30:19 -04:00
Rob Rix
0826ca4b40
Typo. 2021-07-28 14:30:05 -04:00
Rob Rix
c4e379bba5
Migrate semantic-analysis towards modular, parametric analysis. 2021-07-28 14:26:06 -04:00
Rob Rix
d1c183e49f
Add some FIXMEs. 2021-07-28 14:05:51 -04:00
Rob Rix
a92be3593e
Derive some instances for Reference. 2021-07-28 14:02:42 -04:00
Rob Rix
14ceed91e6
Return a Reference with failures. 2021-07-28 14:02:06 -04:00
Rob Rix
053b62ffba
Define a reference datatype. 2021-07-28 13:57:50 -04:00
Rob Rix
9a13a80fd7
Define conversions between indices and levels. 2021-07-28 13:05:50 -04:00
Rob Rix
14864b6c16
Define De Bruijn indices. 2021-07-28 13:04:29 -04:00
Rob Rix
38ba7d8f36
Define De Bruijn levels. 2021-07-28 13:04:01 -04:00
Patrick Thomson
b162132339
Merge pull request #641 from polux/patch-1 
Update the build instructions for cabal.
 2021-02-24 11:20:12 -05:00
Patrick Thomson
2f58771889
Merge branch 'master' into patch-1 2021-02-24 11:02:09 -05:00
Patrick Thomson
68ee0127f2
Merge pull request #642 from github/fix-tasty-test 
Fix errant Tasty bug.
 2021-02-24 11:01:58 -05:00
Paul Brauner
ab6e2abe19 Change v2-test semantic to v2-run semantic:test 2021-02-23 18:31:14 +01:00
Patrick Thomson
382767d339 Fix errant Tasty bug. 2021-02-23 11:26:12 -05:00
Paul Brauner
9447bfe4cc
Update README.md 
Update the build instructions for cabal.

Running `cabal v2-test` complains that "No targets given and there is no package in the current directory". Running `cabal v2-run semantic` complains that "The run command is for running a single executable at once."
 2021-02-23 11:53:21 +01:00
Timothy Clem
e49b72ba24
Fix #635, fix license link 2020-11-05 14:10:02 -08:00
Patrick Thomson
19da1376ec
Merge pull request #633 from github/codeowners 
Add CODEOWNERS file
 2020-10-06 13:51:13 -04:00
Douglas Creager
35b8145e17
Add CODEOWNERS file 2020-10-05 17:24:11 -04:00
Patrick Thomson
a44e3c40cc
Merge pull request #630 from slang25/patch-1 
Fix broken link
 2020-09-18 15:50:47 -04:00
Stuart Lang
22d6a4f1af
Fix broken link 2020-09-18 20:14:02 +01:00
Patrick Thomson
a2902fd27f
Merge pull request #624 from github/direct-codegen 
AOT codegen
 2020-09-18 10:21:46 -04:00
Patrick Thomson
f1e22be192 wait, I'm foolish: downstream uses 8.10.1, so just that for CI is fine. 2020-09-17 11:30:39 -04:00
Patrick Thomson
98c5bb5b2c try caching less aggressively 2020-09-16 19:59:30 -04:00
Patrick Thomson
802632b823 we need 8.8.3 for downstream stuff 2020-09-16 19:49:38 -04:00
Patrick Thomson
ebf3337bc3 Put a stackage snapshot in here while we're at it. 
The other one is out of date anyway.
 2020-09-16 19:05:33 -04:00
Patrick Thomson
9b461b9a28 oops. need to hack around this 2020-09-16 18:55:09 -04:00
Patrick Thomson
b549b387e1 turn bazel back on and add a script 2020-09-16 18:47:22 -04:00
Patrick Thomson
aca39e8668
Merge pull request #627 from github/restore-bazel 
Reenable Bazel builds with GHC 8.10.
 2020-09-16 18:39:43 -04:00
Patrick Thomson
0a44f71e00 work around quirks 2020-09-16 18:38:36 -04:00
Patrick Thomson
186c987aa2 Regenerate everything. 2020-09-16 18:25:24 -04:00
Patrick Thomson
a95256c0a8 8.10.2 2020-09-16 17:07:54 -04:00
Patrick Thomson
34a3fb01fc Merge remote-tracking branch 'origin/master' into restore-bazel 2020-09-16 17:07:41 -04:00
Patrick Thomson
5efe1c5886 Merge remote-tracking branch 'origin/master' into direct-codegen 2020-09-16 17:06:28 -04:00
Patrick Thomson
7e0ce87257
Merge pull request #626 from github/rev-protob 
Bump generated Haskell source from protobuf.
 2020-09-16 11:04:00 -04:00
Patrick Thomson
754ff479ce Doesn't seem to work; let's ditch --sandbox-debug so we get better scrollback. 2020-09-16 08:48:23 -04:00
Patrick Thomson
0e807eb49e Reenable Bazel builds with GHC 8.10. 
As per https://github.com/tweag/rules_haskell/pull/1424, the linker
errors associated with Actions CI should be fixed now.
 2020-09-16 08:22:25 -04:00
Patrick Thomson
99e635260c Iterate. 2020-09-15 19:38:16 -04:00
Patrick Thomson
9974b3bdd8
Merge pull request #625 from github/semantic-exe-readme 
Add missing READMEs to subprojects.
 2020-09-15 17:28:13 -04:00
Patrick Thomson
f1583f7832 Silence a warning. 2020-09-10 19:07:35 -04:00
Patrick Thomson
3128f16e2d Bump protobuf definitions. 
There is a new proto-lens with some new methods on its typeclasses.
This is what results from running `script/protoc`.
 2020-09-10 18:55:41 -04:00
Patrick Thomson
aef0fdc1e1 Change wording. 2020-09-10 18:29:37 -04:00
Patrick Thomson
a39c023a47 And semantic-scope-graph. 2020-09-10 18:25:02 -04:00