Rob Rix
|
260a44e7a0
|
Constrain callers of resolve a little further.
|
2018-12-07 11:31:25 -05:00 |
|
Rob Rix
|
ca6fad7c06
|
resolve returns in Maybe.
|
2018-12-07 11:01:46 -05:00 |
|
Rob Rix
|
f59cdd394b
|
Add a resolve method to Evaluatable with a (bad) default definition.
|
2018-12-07 10:34:40 -05:00 |
|
Rob Rix
|
adffd6b9c4
|
Rename resolve to resolvePaths.
|
2018-12-07 09:52:20 -05:00 |
|
Rob Rix
|
5189c1204a
|
Abbreviate the Effect instance for Modules.
|
2018-12-07 09:48:58 -05:00 |
|
joshvera
|
c39ed82293
|
Remove PHP NamespaceName instance
|
2018-12-06 17:30:30 -05:00 |
|
joshvera
|
ec83947033
|
Remove PHP Namespace instance
|
2018-12-06 17:30:03 -05:00 |
|
joshvera
|
6688380c15
|
Remove comments
|
2018-12-06 17:29:55 -05:00 |
|
joshvera
|
1b23d1d0dd
|
Merge remote-tracking branch 'origin/master' into heap-frames
|
2018-12-06 16:32:38 -05:00 |
|
joshvera
|
192943889b
|
delint
|
2018-12-06 16:16:25 -05:00 |
|
joshvera
|
14a47d8711
|
parens
|
2018-12-06 15:56:42 -05:00 |
|
joshvera
|
30cb4f43f6
|
Remove unused bind
|
2018-12-06 15:53:58 -05:00 |
|
joshvera
|
d96882a7e4
|
Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames
|
2018-12-06 15:50:13 -05:00 |
|
Rob Rix
|
0b6e3430de
|
Clarify that we’re returning the first path we find.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 15:48:55 -05:00 |
|
Rob Rix
|
2cd7257429
|
Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames
|
2018-12-06 15:44:27 -05:00 |
|
Rob Rix
|
a4ec6dc3a8
|
Generalize foldrGraph to foldGraph producing a Monoidal value.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 15:42:36 -05:00 |
|
joshvera
|
34d5825cf9
|
Implement Let
|
2018-12-06 15:29:30 -05:00 |
|
joshvera
|
61a0a9052f
|
Fix tuple instance
|
2018-12-06 15:29:24 -05:00 |
|
joshvera
|
9b7670e655
|
Implement tuple eval
|
2018-12-06 15:22:33 -05:00 |
|
joshvera
|
5f395923a7
|
Implement Array eval
|
2018-12-06 15:22:06 -05:00 |
|
Rob Rix
|
664877024d
|
Find paths uniformly using findPath.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 15:18:39 -05:00 |
|
Rob Rix
|
e5c5d36c3c
|
Define a function to find a path to a declaration through a graph.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 15:11:22 -05:00 |
|
Rob Rix
|
db698dbd98
|
Build up paths using foldrGraph.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 15:04:40 -05:00 |
|
Rob Rix
|
c278733fd7
|
Define a generic graph traversal operation.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 15:02:59 -05:00 |
|
Rob Rix
|
adfcb37231
|
Move the Path instances into a deriving clause.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 13:11:44 -05:00 |
|
Rob Rix
|
b28d877845
|
🔥 a redundant language extension.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 13:09:35 -05:00 |
|
Rob Rix
|
dcd751f4b9
|
Define Path as an ordinary datatype.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 13:08:56 -05:00 |
|
Rob Rix
|
79e235ce34
|
Derive the instances for ScopeGraph in a deriving clause.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 13:06:24 -05:00 |
|
Rob Rix
|
1e7c8d63f6
|
Factor the module info & span into BaseError’s Eq1 instance.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 13:02:37 -05:00 |
|
Rob Rix
|
f2c9083708
|
Correct the span of the error in the Ruby spec.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 13:02:18 -05:00 |
|
Rob Rix
|
7e20624506
|
Correct the test of bad exports.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 12:59:16 -05:00 |
|
Rob Rix
|
5eb73810eb
|
Show module info & span in BaseError.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 12:59:00 -05:00 |
|
Rob Rix
|
87a4f2574b
|
Add missing cases to ScopeError’s Eq1 instance.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 12:58:48 -05:00 |
|
Rob Rix
|
f95b06a3b4
|
Don’t loop on cyclic graphs.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-12-06 12:34:22 -05:00 |
|
joshvera
|
15c85f4b42
|
Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames
|
2018-12-06 12:17:15 -05:00 |
|
Rob Rix
|
c486eb82ce
|
Follow export edges.
|
2018-12-06 12:13:10 -05:00 |
|
Rob Rix
|
f9c124f303
|
Replace the address pair Reader with separate CurrentFrame/Scope Readers.
|
2018-12-06 12:03:07 -05:00 |
|
Rob Rix
|
04e2ca5321
|
Define CurrentFrame/Scope newtypes.
|
2018-12-06 11:46:34 -05:00 |
|
Rob Rix
|
74ca31af53
|
🔥 a bunch of uses of scoped type variables.
|
2018-12-06 11:45:13 -05:00 |
|
Rob Rix
|
7a4f8a8503
|
Re-enable TupleSections.
|
2018-12-06 11:27:33 -05:00 |
|
Rob Rix
|
5e62b5139b
|
Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames
|
2018-12-06 11:22:34 -05:00 |
|
Rob Rix
|
454b9d669d
|
Don’t traverse export edges.
Per discussion with @joshvera: https://github.slack.com/archives/C0E7PGQQ5/p1544111976406600
This makes the tests run again, tho two of them fail.
|
2018-12-06 11:22:15 -05:00 |
|
Rob Rix
|
0e4a91fc91
|
Add a convenience for constructing a path to a declaration.
|
2018-12-06 11:20:09 -05:00 |
|
Rob Rix
|
9375a82be2
|
Simplify in terms of an insertReference helper.
|
2018-12-06 11:14:35 -05:00 |
|
Rob Rix
|
b3ef26f301
|
Use insertScope here too.
|
2018-12-06 11:10:19 -05:00 |
|
Rob Rix
|
b47e28f278
|
Use insertScope.
|
2018-12-06 11:09:08 -05:00 |
|
Rob Rix
|
816205244c
|
We don’t.
|
2018-12-06 10:50:43 -05:00 |
|
joshvera
|
c7c9aafa2b
|
s/Module/InternalModule
|
2018-12-06 10:49:04 -05:00 |
|
joshvera
|
4a7fa7b18a
|
Implement AbstractClass
|
2018-12-06 10:48:58 -05:00 |
|
Rob Rix
|
de416fa88c
|
Use insertFrame in insertFrameLink.
|
2018-12-06 10:47:27 -05:00 |
|