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
Rick Winfrey
eff8233410
Bump semantic-source versions
2020-08-26 16:51:29 -07:00
Rob Rix
7e489ee455
🔥 the dependency on generic-monoid.
2020-07-16 15:16:26 -04:00
Rob Rix
09d4519395
Prune lots more dependencies.
2020-07-16 14:18:51 -04:00
Rob Rix
e5ba3a7831
🔥 many redundant dependencies.
2020-07-16 09:34:59 -04:00
Rob Rix
4dd4b5a54b
Fuss with all the warnings settings.
2020-07-14 14:29:22 -04:00
Rob Rix
edf219f753
Bump the fused-effects constraints on all the remaining packages to 1.1.
2020-07-13 11:54:32 -04:00
Patrick Thomson
b405ec04e5
Remove repeated comments.
2020-07-01 01:22:08 -04:00
Patrick Thomson
b034378ac2
rename the flags and condense around compilation_mode
2020-07-01 00:35:09 -04:00
Patrick Thomson
3e7f746d9d
Remove template comments.
2020-06-27 16:24:41 -04:00
Patrick Thomson
dbce051436
simplifying target layouts.
2020-06-27 12:47:04 -04:00
Patrick Thomson
6c3a08c735
save a ton of code
2020-06-25 08:56:09 -04:00
Patrick Thomson
801ef3bfc3
use the same GHC warnings everywhere
2020-06-23 09:45:10 -04:00
Patrick Thomson
ca8475057d
formatting
2020-05-27 14:18:21 -04:00
Patrick Thomson
215fe31bf1
Use black
for formatting Bazel files.
2020-05-21 19:24:56 -04:00
Patrick Thomson
c79cfdcb60
and semantic-scope-graph
2020-05-19 13:07:33 -04:00
Rick Winfrey
7b588d89c5
Merge pull request #518 from github/bump-semantic-source
...
Bump semantic-source
2020-03-27 11:40:44 -07:00
Patrick Thomson
10f9090ca8
Fix Lower instance for Info.
2020-03-24 16:39:21 -04:00
Rick Winfrey
9a7ed9d294
Bump to semantic-source 0.1.0
...
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
2020-03-23 13:40:50 -07:00
zhujinxuan
e723cd535f
Fix graphtest compiling
2020-03-22 18:20:19 -04:00
zhujinxuan
769b33130b
Use Path.AbsRel For Blob, ModuleInfo and Project
...
- Use Path.AbsRelFile for Blob
- Use Path.AbsRelDir for Project
- Use Path.AbsRelFile for ModuleInfo and ModulePath
- semantic.cabal test-suite test is passed
2020-03-22 13:39:10 -04:00
Patrick Thomson
dd9d4f435f
Forgot to use this newtype in the carrier.
2020-02-14 12:01:30 -05:00
Josh Vera
3b67dd3b33
Merge branch 'inject-project' into a-newtype-of-science
2020-02-13 12:45:52 -05:00
Patrick Thomson
257d51fd7a
Accidentally elided an effect.
2020-02-12 12:04:40 -05:00
Patrick Thomson
babde11f98
Use CurrentScope to indicate the significance of Names.
...
This newtype is useful, and sports an identical definition within
`semantic`. We should use it everywhere.
2020-02-12 11:29:24 -05:00
Patrick Thomson
047b602882
Propagate module/path information into generated scope graphs.
...
By adding a `Reader ModuleInfo` constraint to the scope graph DSL, we
can ensure that newly-introduced declarations and references get this
helpful information (rather than sticking a `lowerBound` in there).
2020-02-12 11:19:02 -05:00
joshvera
0372b888bd
Use props in reference
2020-02-11 16:19:36 -05:00
joshvera
5ef758aa85
Reuse path in newReference
2020-02-11 16:16:20 -05:00
joshvera
a1e00b3504
Fix ImportStatement
2020-02-11 15:50:59 -05:00
joshvera
284912ad21
Remove extra reference call in tests
2020-02-11 12:56:47 -05:00
Patrick Thomson
7715fd46a9
Remove the ScopeGraph effect and define it with a constraint kind.
2020-02-11 12:30:19 -05:00
joshvera
9be4d16eef
Add State constraint to ToScopeGraph
2020-02-07 22:22:46 -05:00
joshvera
4a2275a68b
Rename to newEdge
2020-02-07 22:22:31 -05:00
joshvera
bce4e81741
Add Reader effect to ScopeGraph type
2020-02-07 22:22:24 -05:00
joshvera
095ea82a91
Imports
2020-02-07 22:22:13 -05:00
joshvera
9a9d8a9d3b
Remove old currentScope
2020-02-07 22:21:52 -05:00
joshvera
c148941e13
Add newReference
2020-02-07 22:21:39 -05:00
joshvera
6ea34352e4
Add HasSpan to Reference
2020-02-07 22:20:02 -05:00
joshvera
59e12e2ccc
add newReference
2020-02-07 22:19:51 -05:00
joshvera
392742961f
docs
2020-02-07 18:30:28 -05:00
joshvera
c3e8a15b81
Update Reference
...
should probably remove ReferenceInfo?
2020-02-07 18:10:33 -05:00
joshvera
0ac1ce55e1
Add newReference
2020-02-07 18:04:59 -05:00
Patrick Thomson
06e8c6ecaa
Break up Data.ScopeGraph and reorg semantic-scope-graph.
2020-02-07 15:08:33 -05:00
joshvera
58198d5647
remove L suffix from EdgeLabel.Void
2020-02-06 17:39:37 -05:00
joshvera
ff3e6973f9
also redundant
2020-02-06 15:33:18 -05:00
joshvera
a8871b69eb
stylish-haskell
2020-02-06 14:53:41 -05:00
joshvera
ff1d8a73ab
Merge remote-tracking branch 'origin/master' into import-holes
2020-02-06 14:53:32 -05:00
joshvera
1036b3a4d7
addImportHole adds an additional VoidL edge
2020-02-05 21:29:37 -05:00
joshvera
0bc0a638b3
document addImportEdge
2020-02-05 21:11:15 -05:00